Formula-based software debugging.

Abhik Roychoudhury Satish Chandra

Published in: Commun. ACM (2016)

Keyphrases

java programs
software package
computer systems
software tools
software testing
hardware designs
user interface
software systems
software maintenance
software design
hardware design
execution traces
program slicing
software developers
software components
commercial software
test cases