Thomas Reps
0000-0002-5676-9949
Publications
454 total
No publications found.
Research Topics
Software Testing and Debugging Techniques
Formal Methods in Verification
Logic, programming, and type systems
Software Engineering Research
Software Reliability and Analysis Research
Affiliations
University of Wisconsin–Madison
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.