Informal Proof Analysis Towards Testing Enhancement.

Guillaume Lussier Hélène Waeselynck

Published in: ISSRE (2002)

Keyphrases

data analysis
quantitative analysis
automatic analysis
wide range
evolutionary algorithm
statistical analysis
theorem proving