TB
Thomas Ball
Microsoft (United States)187
Publications
13,867
Citations
55
h-index
115
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (141)
- Book Chapter (35)
- Book (5)
- Dataset (3)
- Preprint (2)
Filter by Open Access Type
- Open Access (46)
- Closed Access (141)
Filter by Authors
- Thomas Ball (187)
- Sriram K. Rajamani (28)
- Michał Moskal (21)
- Peli de Halleux (17)
- Steve Hodges (15)
Filter by Topics
- Software Testing and Debugging Techniques (79)
- Formal Methods in Verification (51)
- Software Reliability and Analysis Research (43)
- Software Engineering Research (40)
- Logic, programming, and type systems (30)