Generating test cases to evaluate and improve processes of safety-critical systems development.

Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio

Browse the full ISSRE paper archive.