Autor der Publikation

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.

, , , , und . ICTSS, Volume 9976 von Lecture Notes in Computer Science, Seite 155-171. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Models for Integrating UX into Software Engineering Practice: an Industrial Validation., , , und . CoRR, (2014)Misaligned Values in Software Engineering Organizations., , und . CoRR, (2018)Four commentaries on the use of students and professionals in empirical software engineering experiments, , , , , , , , , und 2 andere Autor(en). (2018)Generating structured test data with specific properties using nested Monte-Carlo search., und . GECCO, Seite 1279-1286. ACM, (2014)A systematic review of search-based testing for non-functional system properties., , und . Inf. Softw. Technol., 51 (6): 957-976 (2009)Evolution of statistical analysis in empirical software engineering research: Current state and steps forward, , , , , und . eprint arXiv:cs.SE/1706.00933, (Juni 2017)Behavioral Aspects of Safety-Critical Software Development., , , und . ICSE (Workshops), Seite 173-176. ACM, (2020)Prediction of faults-slip-through in large software projects: an empirical evaluation., , , und . Softw. Qual. J., 22 (1): 51-86 (2014)Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018., und . Softw. Test. Verification Reliab., (2021)Special issue on new generations of UI testing., , , und . Softw. Test. Verification Reliab., (2021)