MuAsmetaL: An Experimental Mutation System for AsmetaL

Osama Alkrarha, Jameleddine Hassine

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations


Mutation testing is a well established fault-based technique for assessing and improving the quality of test suites. Mutation testing is time-consuming and computationally expensive by nature. Therefore, automated tool support is indispensable for conducting mutation testing. Little research has been devoted to applying mutation testing to the Abstract State Machines (ASM) formalism. This paper presents Mu AsmetaL, an As metal-based experimental system for conducting automated mutation analysis. Mu AsmetaL supports the generation of As metal-based mutants (produced by applying a set of 44 mutation operators categorized into 4 classes), executes test cases against the produced mutants, and reports the analysis results. An empirical evaluation of Mu AsmetaL has been conducted using a set of 6 publicly available As metal specifications.

Original languageEnglish
Title of host publicationProceedings - 12th International Conference on Information Technology
Subtitle of host publicationNew Generations, ITNG 2015
EditorsShahram Latifi, Kohei Arai, Glauco Carneiro, Narayan Debnath, Luiz Alberto Vieira Dias, Ray Hashemi, Teruya Minamoto, Yenumula Reddy, Kashif Saleem, Fangyan Shen, Christoph Thuemmler
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)9781479988273
StatePublished - 26 May 2015

Publication series

NameProceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015

Bibliographical note

Publisher Copyright:
© 2015 IEEE.


  • Abstract State Machines (ASM)
  • AsmetaL
  • Mutants
  • Mutation testing
  • fault-based
  • quality
  • test suite

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Information Systems


Dive into the research topics of 'MuAsmetaL: An Experimental Mutation System for AsmetaL'. Together they form a unique fingerprint.

Cite this