Improving Counterexample Quality from Failed Program Verification.

Li Huang Bertrand Meyer Manuel Oriol

Published in: ISSRE Workshops (2022)

Keyphrases

low quality
high quality
improve quality
artificial intelligence
quality measures
multiscale
end users
product quality
quality evaluation
quality control
quality assessment
data quality
database
image segmentation
information retrieval
machine learning
real time