@InProceedings{Arumuga-Nainar:2007:SDUCBP,
  author =	 {Piramanayagam {Arumuga Nainar} and Ting Chen and Jake Rosin and Ben Liblit},
  title =	 {Statistical Debugging Using Compound Boolean Predicates},
  booktitle =	 {International Symposium on Software Testing and Analysis},
  editor =	 {Sebastian Elbaum},
  address =	 {London, United Kingdom},
  month =	 jul # " 9--12",
  year =	 2007,
  note =	 {To appear}
}