University of Nebraska–Lincoln
ORCID: 0000-0002-1937-1544Publishes on Software Testing and Debugging Techniques, Formal Methods in Verification, Software Reliability and Analysis Research. 302 papers and 10.1k citations.
Add your photo, update your bio, and get notified when your ranking changes.
No publications found