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

Celý popis

Podrobná bibliografia

Vydané v:	International journal on software tools for technology transfer Ročník 25; číslo 4; s. 431 - 452
Hlavní autori:	Ho, Vivian M., Alvin, Chris, Lawson, Jimmie D., Mukhopadhyay, Supratik, Peterson, Brian
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2023 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!