A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain.

Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono

Browse the full SAFECOMP paper archive.