Educational institutions

Lightweight fault-localization using multiple coverage types
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being …
Cite DOI
An empirical study of the effects of test-suite reduction on fault localization
Fault-localization techniques that utilize information about all test cases in a test suite have been presented. These techniques use …
Cite DOI
GAMMA℡LA: visualization of program-execution data for deployed software
To investigate the program-execution data efficiently, we must be able to view the data at different levels of detail. In our …
Cite DOI
Test-suite reduction and prioritization for modified condition/decision coverage
Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial …
Cite DOI
Technical note: visually encoding program test information to find faults in software
Cite DOI