T. Ball
发表
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2002,
POPL '02.
S. Rajamani,
T. Ball,
V. Levin,
2011,
Commun. ACM.
N. Nagappan,
T. Ball,
T. Ball,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Thomas Ball,
Stephen G. Eick,
T. Ball,
1996,
Computer.
John T. Stasko,
Thomas Ball,
Dean F. Jerding,
1997,
Proceedings of the (19th) International Conference on Software Engineering.
Thomas Ball,
Stephen G. Eick,
T. Ball,
1994,
Proceedings of 1994 IEEE Symposium on Visual Languages.
James R. Larus,
Thomas Ball,
Trishul M. Chilimbi,
1995,
Proceedings of the IEEE/ACM SC95 Conference.
Shuvendu K. Lahiri,
Thomas Ball,
Madan Musuvathi,
2005,
LPAR.
James R. Larus,
Thomas Ball,
Trishul M. Chilimbi,
1995
.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2006,
EuroSys.
Thomas Ball,
Shmuel Sagiv,
Greta Yorsh,
2006,
ISSTA '06.
Nachiappan Nagappan,
Thomas Ball,
Gunnar Kudrjavets,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Thomas Ball,
T. Ball,
1999,
ESEC/FSE-7.
Thomas Ball,
T. Ball,
1993,
LOPL.
Sebastian Burckhardt,
Nikolai Tillmann,
Jonathan de Halleux,
2015,
2015 2nd ACM International Conference on Mobile Software Engineering and Systems.
T. Ball,
F. Ruskey,
L. White,
1998
.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
S. Rajamani,
T. Ball,
R. Majumdar,
2001,
SIGP.
Sebastian Burckhardt,
Nikolai Tillmann,
Michal Moskal,
2014
.
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2021,
FDG.
J. Finney,
T. Ball,
Steve Hodges,
2022,
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2002
.
Thomas Reps,
Thomas Ball,
Susan Horwitz,
1990
.
Nachiappan Nagappan,
Thomas Zimmermann,
Andreas Zeller,
2007
.
Thomas Ball,
T. Ball,
1994,
TOPL.
Thomas Ball,
T. Ball,
1993
.
James R. Larus,
Thomas Ball,
T. Ball,
1992,
POPL '92.
James R. Larus,
Thomas W. Reps,
Thomas Ball,
1997,
ESEC '97/FSE-5.
Audris Mockus,
Thomas Ball,
Todd L. Graves,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
Fei Xie,
Thomas Ball,
Vladimir Levin,
2004,
TACAS.
Michael Schapira,
Nikolaj Bjørner,
Aaron Gember,
2014,
PLDI.
James R. Larus,
Thomas Ball,
T. Ball,
1994,
Softw. Pract. Exp..
Thomas Ball,
Rahul Kumar,
Vladimir Levin,
2010,
CAV.
James R. Larus,
Thomas Ball,
T. Ball,
1993,
PLDI '93.
Thomas Ball,
T. Ball,
2006,
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Steve Hodges,
Thomas Ball,
Michał Moskal,
2019,
SPLASH-E.
Michael D. Ernst,
Shuvendu K. Lahiri,
Thomas Ball,
2007,
29th International Conference on Software Engineering (ICSE'07).
N. Nagappan,
T. Ball,
T. Ball,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Daniel Hoffman,
Lee J. White,
Frank Ruskey,
2000,
Softw. Test. Verification Reliab..
Thomas Ball,
Francesco Logozzo,
T. Ball,
2012,
OOPSLA '12.
James R. Larus,
Robert DeLine,
Sriram K. Rajamani,
2004,
IEEE Software.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2001,
SPIN '01.
Satish Chandra,
Thomas W. Reps,
Thomas Ball,
1999,
ESEC/FSE-7.
Harvey Siy,
Thomas Ball,
Janice Kim,
1997
.
James R. Larus,
Thomas Ball,
Glenn Ammons,
1997,
PLDI '97.
Andreas Podelski,
Sriram K. Rajamani,
Thomas Ball,
2001,
International Journal on Software Tools for Technology Transfer.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000,
SPIN.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000
.
Nachiappan Nagappan,
Thomas Ball,
T. Ball,
2007,
First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007).
Brendan Murphy,
Nachiappan Nagappan,
Thomas Ball,
2006,
2006 17th International Symposium on Software Reliability Engineering.
Andreas Zeller,
Nachiappan Nagappan,
Thomas Ball,
2006,
ICSE.
Nikolaj Bjørner,
Margus Veanes,
Thomas Ball,
2012,
SPIN.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2001,
PASTE '01.
Teddy Seyed,
Jonathan de Halleux,
Steve Hodges,
2021,
CHI.
Thomas Ball,
Gérard Basler,
Iulian Neamtiu,
2008,
OSDI.
T. Ball,
Shannon Kao,
Richard Knoll,
2020,
UIST.
Nachiappan Nagappan,
Thomas Ball,
T. Ball,
2006
.
Thomas Ball,
Susan Horwitz,
T. Ball,
1993,
AADEBUG.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2005,
Log. Methods Comput. Sci..
Jonathan de Halleux,
Steve Hodges,
Michal Moskal,
2018,
LCTES.
Thomas Ball,
T. Ball,
1998,
ISSTA '98.
Thomas Ball,
Benjamin G. Zorn,
T. Ball,
2015,
Commun. ACM.
James R. Larus,
Thomas Ball,
T. Ball,
1994,
TOPL.
Thomas Ball,
Rahul Kumar,
Vladimir Levin,
2010,
Formal Methods in Computer Aided Design.
Todd D. Millstein,
Sriram K. Rajamani,
Thomas Ball,
2005,
TOPL.
Todd Millstein,
Rupak Majumdar,
Sriram K. Rajamani,
2001,
PLDI '01.
Rupak Majumdar,
Todd D. Millstein,
Sriram K. Rajamani,
2001,
PLDI '01.
James R. Larus,
Thomas Ball,
T. Ball,
1994
.
Shuvendu K. Lahiri,
Thomas Ball,
Carlos Pacheco,
2008,
ISSTA '08.
Sriram K. Rajamani,
Thomas Ball,
S. Rajamani,
2000
.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2004,
IFM.
Orna Kupferman,
Thomas Ball,
T. Ball,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman,
Benjamin Aminof,
Thomas Ball,
2005,
LPAR.
Thomas Ball,
Shmuel Sagiv,
Peter Mataga,
1998,
POPL '98.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2004,
CAV.
Jonathan de Halleux,
Thomas Ball,
R. Benjamin Shapiro,
2018,
CHI.
Jonathan de Halleux,
Thomas Ball,
R. Benjamin Shapiro,
2018,
CHI.
Sue Sentance,
Steve Hodges,
Thomas Ball,
2020,
Computer.
Thomas Ball,
T. Ball,
2004,
FMCO.
Thomas Ball,
T. Ball,
2003
.
Sumit Gulwani,
Dan Grossman,
Thomas Ball,
2012,
PLDI.
Michael Benedikt,
Thomas Ball,
Kenneth C. Cox,
1997,
DSL.
T. Ball,
J. Larus,
1994,
Softw. Pract. Exp..
Andreas Podelski,
Sriram K. Rajamani,
Thomas Ball,
2002,
TACAS.
Sagar Chaki,
Sriram K. Rajamani,
Thomas Ball,
2001,
TACAS.
Piramanayagam Arumuga Nainar,
S. Qadeer,
T. Ball,
2008,
OSDI.
Thomas Ball,
Jakub Daniel,
T. Ball,
2015,
Dependable Software Systems Engineering.
Alan J. Hu,
Holger H. Hoos,
Thomas Ball,
2013,
2013 Formal Methods in Computer-Aided Design.
Thomas Ball,
Kenneth C. Cox,
Glenn Bruns,
1999,
IEEE Trans. Software Eng..
T. Ball,
O. Kupferman,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
S. Rajamani,
T. Ball,
V. Levin,
2004,
IFM.
Assessing the Relationship between Software Assertions and Code Quality : An Empirical Investigation
Nachiappan Nagappan,
Thomas Ball,
Gunnar Kudrjavets,
2006
.
Sebastian Burckhardt,
Ganesh Gopalakrishnan,
Judith Bishop,
2011,
SIGCSE.
Sebastian Burckhardt,
Thomas Ball,
Madan Musuvathi,
2010,
TACAS.
Sriram K. Rajamani,
Thomas Ball,
Byron Cook,
2004,
TACAS.