Counterexample Ranking Using Mined Invariants.

Srobona Mitra Ansuman Banerjee Pallab Dasgupta Harish Kumar

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)

Keyphrases

web search
ranking algorithm
association rules
moment invariants
ranked list
learning to rank
ranking functions
rank order
pattern recognition
computer vision
spam detection
data sets
model checking
object recognition
case study
web pages
evaluation measures
user feedback
link analysis
formal verification