Author of the publication

Automatic generation of test system instances for configurable cyber-physical systems.

, , , and . Software Quality Journal, 25 (3): 1041-1083 (2017)

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

MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines., , and . SPLC, volume 6287 of Lecture Notes in Computer Science, page 466-470. Springer, (2010)Automatic generation of test system instances for configurable cyber-physical systems., , , and . Software Quality Journal, 25 (3): 1041-1083 (2017)Spectrum-based fault localization in software product lines., , , , and . Inf. Softw. Technol., (2018)White-box and black-box test quality metrics for configurable simulation models., , , and . SPLC (B), page 92:1-92:4. ACM, (2019)Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines., , , and . J. Syst. Softw., (2019)Search-based product line fault detection allocating test cases iteratively., , , and . SPLC (A), page 123-132. ACM, (2017)Performance-based selection of software and hardware features under parameter uncertainty., , , and . QoSA, page 23-32. ACM, (2014)Enabling co-simulation of smart energy control systems for buildings and districts., , , , and . ETFA, page 1-4. IEEE, (2017)Extended abstract of "spectrum-based fault localization in software product lines"., , , , and . SPLC (A), page 3:1. ACM, (2019)Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems., , and . ETFA, page 1-8. IEEE, (2014)