Version: 1.0 Approved
2013-05-24-03
FITNESS: a Framework for Automatic Testing of ASTERIX Based Software Systems
Manetti Vittorio, Petrella Luigi Martin
Paper for Seminar/Symposium/Conference
ISSTA 2013 - International Symposium on Software Testing and Analysis (15-20 July 2013, Lugano, Switzerland)
2013