1. Model-based mutation testing of an industrial measurement device;Aichernig,2014
2. Efficient active automata learning via mutation testing;Aichernig;J. Automated Reason.,2019
3. Multi-criteria test cases selection for model transformations;Alkhazi;Automated Software Eng.,2020
4. Automatic generation of Ecore models for testing ATL transformations;Almendros-Jiménez,2016
5. A practical guide for using statistical tests to assess randomized algorithms in software engineering;Arcuri,2011