@inproceedings{cuoq2012testing,
  author = {Cuoq, Pascal and Monate, Benjamin and Pacalet, Anne and Prevosto, Virgile and Regehr, John and Yakobowski, Boris and Yang, Xuejun},
  booktitle = {NASA Formal Methods Symposium},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  organization = {Springer},
  pages = {120--125},
  title = {Testing static analyzers with randomly generated programs},
  year = {2012},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAccGFwZXJzL2N1b3EyMDEydGVzdGluZy1hLnBkZk8RAXwAAAAAAXwAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xVjdW9xMjAxMnRlc3RpbmctYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAOy86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6Y3VvcTIwMTJ0ZXN0aW5nLWEucGRmAAAOACwAFQBjAHUAbwBxADIAMAAxADIAdABlAHMAdABpAG4AZwAtAGEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADlVc2Vycy9nYW1ibGluMi9zcmMvYnVpbGQtYmliL3BhcGVycy9jdW9xMjAxMnRlc3RpbmctYS5wZGYAABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAEMAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABww==}
}