Proving programs robust.

Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman Sara NavidPour

Published in: SIGSOFT FSE (2011)

Keyphrases

parameter tuning
database
real time
information retrieval
website
high level
search algorithm
object recognition
artificial neural networks
digital images
highly accurate
computer programs