Person:
Harrold,
Mary Jean
Permanent Link
Associated Organization(s)
ORCID
ArchiveSpace Name Record
Publication Search Results
Automated Concolic Testing of Smartphone Apps
Applying Aggressive Propagation-based Strategies for Testing Changes
Understanding Data Dependences in the Presence of Pointers
Matching Test Cases for Effective Fault Localization
SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis
Software Behavior: Automatic Classification and its Applications
Probabilistic Slicing for Predictive Impact Analysis
Improving the Classification of Software Behaviors using Ensembles