kirancodes.me
To Proof Maintenance & Beyond!

XMLMate: evolutionary XML test generation

Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller

Abstract

Generating system inputs satisfying complex constraints is still a challenge for modern test generators. We present XMLMATE, a search-based test generator specially aimed at XML-based systems. XMLMATE leverages program structure, existing XML schemas, and XML inputs to generate, mutate, recombine, and evolve valid XML inputs. Over a set of seven XML-based systems, XMLMATE detected 31 new unique failures in production code, all triggered by system inputs and thus true alarms.

BibTeX
@inproceedings{Havrikov-al:FSE14,
  author    = {Nikolas Havrikov and
               Matthias H{\"{o}}schele and
               Juan Pablo Galeotti and
               Andreas Zeller},
  title     = {{XMLMate:} evolutionary {XML} test generation},
  booktitle = {FSE},
  pages     = {719--722},
  publisher = {{ACM}},
  year      = {2014},
}

Related papers