1

From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
To test a system efficiently, we need to know how good are the defined test cases and to localize detected faults in the system. …
PDF Slides DOI
Automatic Test Amplification for Executable Models
Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with …
PDF Slides DOI
Challenges & opportunities in low-code testing
Low-code is a growing development approach supported by many platforms. It fills the gap between business and IT by supporting the …
PDF Slides DOI Preprint
SeGa4Biz: Model-Driven Framework for Developing Serious Games for Business Processes
Organizations look for effective ways to teach their business processes to their employees. The application of serious games for …
PDF Slides DOI Preprint