Effect of Test Set Minimization on Fault Detection Effectiveness.
How to Build an Interface Graph.
The Design and Implementation of RAP: A PDG-Based Register Allocator.
A Relational Approach to Support Software Architecture Analysis.
ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications.