Author of the publication

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.

, , , , , and . ICST, page 424-429. IEEE Computer Society, (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

A benchmark-based evaluation of search-based crash reproduction., , , and . Empir. Softw. Eng., 25 (1): 96-138 (2020)An Application of Model Seeding to Search-Based Unit Test Generation for Gson., , and . SSBSE, volume 12420 of Lecture Notes in Computer Science, page 239-245. Springer, (2020)Towards automated test case generation maturity., , and . SBST@ICSE, page 9-10. IEEE / ACM, (2019)VaryMinions: leveraging RNNs to identify variants in event logs., , , , and . MaLTeSQuE@ESEC/SIGSOFT FSE, page 13-18. ACM, (2021)Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19)., , , and . ACM SIGSOFT Softw. Eng. Notes, 45 (1): 25-27 (2020)Model-based mutant equivalence detection using automata language equivalence and simulations., , , , , and . J. Syst. Softw., (2018)Coverage Criteria for Behavioural Testing of Software Product Lines., , , , , and . ISoLA (1), volume 8802 of Lecture Notes in Computer Science, page 336-350. Springer, (2014)Covering SPL Behaviour with Sampled Configurations: An Initial Assessment., , , , and . VaMoS, page 59. ACM, (2015)Towards Feature-based ML-enabled Behaviour Location., , , and . VaMoS, page 152-154. ACM, (2024)Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives., , , , and . ASE, page 211-223. IEEE, (2020)