Empirical Abstraction. - Vivian M. Ho; Chris Alvin; Supratik Mukhopadhyay; Brian Peterson; Jimmie D. Lawson (RV, 2020)

Program analysis using empirical abstraction. - Vivian M. Ho; Chris Alvin; Jimmie D. Lawson; Supratik Mukhopadhyay; Brian Peterson (Int. J. Softw. Tools Technol. Transf., 2023)