Login / Signup
Towards Automatically Checking Thousands of Failures with Micro-specifications.
Haryadi S. Gunawi
Thanh Do
Pallavi Joshi
Joseph M. Hellerstein
Andrea C. Arpaci-Dusseau
Remzi H. Arpaci-Dusseau
Koushik Sen
Published in:
HotDep (2010)
Keyphrases
</>
automatically generated
expert systems
user defined
real world
similarity measure
feature selection
website
case study
mobile robot
huge number
control flow