Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics.

Ali Abbasinasab, Mehdi Mohammadi, Siamak Mohammadi, Svetlana N. Yanushkevich, Michael Smith

Browse the full DSD paper archive.