Author of the publication

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

, , , and . Softw. Qual. J., 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

Automatic generation of test system instances for configurable cyber-physical systems., , , and . Softw. Qual. J., 25 (3): 1041-1083 (2017)Multidimensional Framework for Characterizing Verification and Validation of Automated Systems., , , , , , , , , and . EDCC, page 41-48. IEEE, (2022)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)Search-based product line fault detection allocating test cases iteratively., , , and . SPLC (A), page 123-132. ACM, (2017)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 selection of cyber-physical system product lines for simulation-based validation., , , and . SPLC, page 297-306. ACM, (2016)Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins., , and . SAFECOMP Workshops, volume 12235 of Lecture Notes in Computer Science, page 205-216. Springer, (2020)Pareto efficient multi-objective black-box test case selection for simulation-based testing., , , , , and . Inf. Softw. Technol., (2019)Plataforma DSDM para la Generación de Software Basado en Componentes en Entornos Empotrados., , and . JISBD, page 7-15. IBERGARCETA Pub. S.L., (2010)The ADOV Method: an Experience in Selecting the Relevant Views of an Architecture in a SME., , and . WICSA, page 259-260. IEEE Computer Society, (2005)