An Automated Framework for Correction and Debug of PSL Assertions.

Brian Keng Andreas G. Veneris Sean Safarpour

Published in: MTV (2010)

Keyphrases

main contribution
theoretical framework
knowledge base
image processing
conceptual framework
semi automated
feature selection
high level
database systems
probabilistic model
programming language
lightweight
semi automatic