MutaLog: A Tool for Mutating Logic Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher Henard, Mike Papadakis, Yves Le Traon. MutaLog: A Tool for Mutating Logic Formulas. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 399-404, IEEE Computer Society, 2014. [doi]

This author has not been identified. Look up 'Christopher Henard' in GoogleThis author has not been identified. Look up 'Mike Papadakis' in GoogleThis author has not been identified. It may be one of the following persons:

Yves Le Traon

Look up 'Yves Le Traon' in Google

runs on WebDSL