Author of the publication

Automated Specification Extraction and Analysis with Specstractor.

, , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 37-53. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Specification Extraction and Analysis with Specstractor., , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 37-53. Springer, (2018)Variability in Template-based Code Generators for Product Line Engineering., , , , , and . Modellierung, volume P-254 of LNI, page 141-156. GI, (2016)Test-driven semantical similarity analysis for software product line extraction., , , , , and . SPLC, page 174-183. ACM, (2016)Model-based testing of NASA's OSAL API - An experience report., , , , and . ISSRE, page 300-309. IEEE Computer Society, (2013)Model-Based Testing of Off-Nominal Behaviors.. University of Maryland, College Park, MD, USA, (2017)base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/20791).Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung., , , , and . Software Engineering (Workshops), volume P-215 of LNI, page 283-292. GI, (2013)A new skill based robot programming language using UML/P Statecharts., , , , and . ICRA, page 461-466. IEEE, (2013)Metamorphic Model-Based Testing of Autonomous Systems., , , and . MET@ICSE, page 35-41. IEEE Computer Society, (2017)Interface-based similarity analysis of software components for the automotive industry., , , , and . SPLC, page 99-108. ACM, (2016)An initial evaluation of model-based testing., , , , and . ISSRE (Supplemental Proceedings), page 13-14. IEEE Computer Society, (2013)