Concepedia

Thomas Ball

TB

88

Publications

11.3K

Citations

48

H-Index

1992

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

University of Wisconsin–Madison

Lancaster University

Alcatel Lucent (Germany)

Thomas Ball is an author at Microsoft (United States) specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware TestingSystem SoftwareFormal MethodsComputer EngineeringSoftware Design

Publications per year

1992–2022

88

Publications

88

The S <scp>LAM</scp> project

Thomas Ball, Sriram K. Rajamani · 2002 · 919 citations

Engineering, Verification, Software Engineering +20

Feedback-Directed Random Test Generation

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 833 citations

Engineering, Verification, Test Data Generation +18

Mining metrics to predict component failures

Nachiappan Nagappan, Thomas Ball, Andreas Zeller · 2006 · 770 citations

Software Maintenance, Engineering, Fault Forecasting +24

Use of relative code churn measures to predict system defect density

Nachiappan Nagappan, Thomas Ball · 2005 · 748 citations

Software Maintenance, Engineering, Software Engineering +21

Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein et al. · ACM SIGPLAN Notices · 2012 · 696 citations

Program Checking, Engineering, Verification +22

Rows per page

1–5 of 88