A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutations - researchr publication

researchr

You are not signed in
Sign in
Sign up

Régis Leveugle. A New Approach for Early Dependability Evaluation Based on Formal Property Checking and Controlled Mutations. In 11th IEEE International On-Line Testing Symposium (IOLTS 2005), 6-8 July 2005, Saint Raphael, France. pages 260-265, IEEE Computer Society, 2005. [doi]

Abstract is missing.

runs on WebDSL