Subsumption of program entities for efficient coverage and monitoring.

Raúl A. Santelices Saurabh Sinha Mary Jean Harrold

Published in: SOQUA (2006)

Keyphrases

monitoring system
lightweight
computationally expensive
data sets
information retrieval
decision support
np complete
computationally efficient
computer programs
static analysis