Advances on testing safety-critical software goal-driven approach, prototype-tool and comparative evaluation.

Guido Pennella, Christian Di Biagio, Gianfranco Pesce, Giovanni Cantone

Browse the full ICSoft paper archive.