Person:
Harrold,
Mary Jean
Permanent Link
Associated Organization(s)
ORCID
ArchiveSpace Name Record
Publication Search Results
Probabilistic Slicing for Predictive Impact Analysis
Applying Aggressive Propagation-based Strategies for Testing Changes
SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis