Automated analysis, verification and testing.

Nigel Tracey John Penix Willem Visser

Published in: Softw. Focus (2001)

Keyphrases

automated analysis
automated detection
visual analysis
test generation
formal verification
biomedical imaging
symbolic execution
model checking
test cases
cell nuclei
data mining
machine learning
image segmentation
video data
video analysis
vocal cord