Program analysis using empirical abstraction

Given a program analysis problem that consists of a program and a property of interest, we use an empirical approach to automatically construct a sequence of abstractions that approach an ideal abstraction suitable for solving that problem. This process begins with an infinite concrete domain that m...

Full description

Bibliographic Details

Published in:	International journal on software tools for technology transfer Vol. 25; no. 4; pp. 431 - 452
Main Authors:	Ho, Vivian M., Alvin, Chris, Lawson, Jimmie D., Mukhopadhyay, Supratik, Peterson, Brian
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2023 Springer Nature B.V
Subjects:	Clustering Computer Science Empirical analysis Queries Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Abstract Interpretation Program Analysis Abstract Cluster Domain Bounded CTL
ISSN:	1433-2779, 1433-2787
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!