FITNESS: a framework for automatic testing of ASTERIX based software systems. - Vittorio Manetti; Luigi Martin Petrella (JAMAICA@ISSTA, 2013)