@inproceedings{kim_john_pant_manne_schulte_bircher_govindan_2012, 
  title={AUDIT: Stress Testing the Automatic Way}, 
  DOI={10.1109/micro.2012.28}, 
  publisher={IEEE}, 
  author={Kim and John and Pant and Manne and Schulte and Bircher and Govindan}, 
  year={2012}
  }