A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutations.

Rgis Leveugle

Browse the full IOLTS paper archive.