Proof-Guided Testing: An Experimental Study.

Guillaume Lussier Hélène Waeselynck Karim Guennoun

Published in: COMPSAC (2004)

Keyphrases

software testing
test cases
genetic algorithm
artificial intelligence
image segmentation
data structure
linear logic
geometry theorem proving
real time
computer vision
video sequences
probability distribution
mathematical proofs