From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation. - Valentin Chimisliu; Christian Schwarzl; Bernhard Peischl (QSIC, 2009)

Abstracting timing information in UML state charts via temporal ordering and LOTOS. - Valentin Chimisliu; Franz Wotawa (AST, 2011)

Category Partition Method and Satisfiability Modulo Theories for test case generation. - Valentin Chimisliu; Franz Wotawa (AST, 2012)

Using Dependency Relations to Improve Test Case Generation from UML Statecharts. - Valentin Chimisliu; Franz Wotawa (COMPSAC Workshops, 2013)

Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. - Valentin Chimisliu; Franz Wotawa (QSIC, 2013)