Person:
Harrold,
Mary Jean
Permanent Link
Associated Organization(s)
ORCID
ArchiveSpace Name Record
Publication Search Results
SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis
Software Behavior: Automatic Classification and its Applications
Improving the Classification of Software Behaviors using Ensembles
Understanding Data Dependences in the Presence of Pointers