Author of the publication

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

, , , , and . ICTSS, volume 9976 of Lecture Notes in Computer Science, page 155-171. (2016)

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

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis., , and . ISEC, page 5:1-5:11. ACM, (2022)A Model-Based Test Script Generation Framework for Embedded Software., , , , and . ICST Workshops, page 192-198. IEEE, (2021)Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment., , , and . ICST Workshops, page 277-284. IEEE, (2022)Agent-Based Software Testing: A Definition and Systematic Mapping Study., , and . QRS Companion, page 24-31. IEEE, (2020)MBRP: Model-Based Requirements Prioritization Using PageRank Algorithm., , , , , and . APSEC, page 31-38. IEEE, (2019)ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT., , , and . ICECCS, page 328-337. IEEE Computer Society, (2012)A Controlled Experiment in Testing of Safety-Critical Embedded Software., , , and . ICST, page 1-11. IEEE Computer Society, (2016)Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin., , , , and . APSEC, page 431-440. IEEE, (2023)Product line adoption in industry: an experience report from the railway domain., , , , , and . SPLC (A), page 3:1-3:11. ACM, (2020)Complementary material for the book Öptimising the Software Development Process with Artificial Intelligence"., , , , , , , , , and 21 other author(s). (August 2022)