Software safety

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