Share This Author
Feedback-Directed Random Test Generation
- Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, T. Ball
- Computer Science29th International Conference on Software…
- 24 May 2007
TLDR
Use of relative code churn measures to predict system defect density
- Nachiappan Nagappan, T. Ball
- Computer ScienceProceedings. 27th International Conference on…
- 15 May 2005
TLDR
The SLAM project: debugging system software via static analysis
- T. Ball, S. Rajamani
- Computer SciencePOPL '02
- 16 January 2002
TLDR
Finding and Reproducing Heisenbugs in Concurrent Programs
- M. Musuvathi, S. Qadeer, T. Ball, G. Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
- Computer ScienceOSDI
- 8 December 2008
TLDR
Automatically validating temporal safety properties of interfaces
- T. Ball, S. Rajamani
- Computer ScienceSPIN '01
- 2 May 2001
TLDR
Exploiting hardware performance counters with flow and context sensitive profiling
- Glenn Ammons, T. Ball, J. Larus
- Computer SciencePLDI '97
- 1 May 1997
TLDR
Mining metrics to predict component failures
- Nachiappan Nagappan, T. Ball, A. Zeller
- Computer ScienceICSE
- 28 May 2006
TLDR
Bebop: A Symbolic Model Checker for Boolean Programs
- T. Ball, S. Rajamani
- Computer ScienceSPIN
- 30 August 2000
TLDR
Boolean and Cartesian abstraction for model checking C programs
- T. Ball, A. Podelski, S. Rajamani
- Computer ScienceInternational Journal on Software Tools for…
- 2 April 2001
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally define as the composition of the Boolean and the Cartesian…
Thorough static analysis of device drivers
- T. Ball, E. Bounimova, A. Ustuner
- Computer ScienceEuroSys
- 18 April 2006
TLDR
...
...