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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer Jg. 25; H. 4; S. 431 - 452
Hauptverfasser:	Ho, Vivian M., Alvin, Chris, Lawson, Jimmie D., Mukhopadhyay, Supratik, Peterson, Brian
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2023 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!