Automating Software Analysis and Testing Using a Program Transformation System.
Gordon Kotik, Lawrence Markosian
VenueAISSTA
Year1989
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/KotikM89 ↗
Browse the full ISSTA paper archive.