Concepedia

Valentin Chimisliu

VC

Statistics

Publications

3

Citations

42

H-Index

3

Active since

2009

Affiliations

Graz University of Technology(Current)

Valentin Chimisliu is an author at Graz University of Technology specializing in formal methods, program analysis, and test automation.

Top concepts

EngineeringFormal MethodsSoftware DesignTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSystems EngineeringSoftware Engineering

Publications per year

2009–2013

3

Publications

3

From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation

Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl · 2009 · 16 citations

Engineering, Verification, Software Engineering +29

Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies

Valentin Chimisliu, Franz Wotawa · 2013 · 15 citations

Engineering, Communication Dependencies, Verification +26

Model based test case generation for distributed embedded systems

Valentin Chimisliu, Franz Wotawa · 2012 · 11 citations

Engineering, Test Data Generation, Software Engineering +20

1–3 of 3