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á bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 25; číslo 4; s. 431 - 452
Hlavní autoři:	Ho, Vivian M., Alvin, Chris, Lawson, Jimmie D., Mukhopadhyay, Supratik, Peterson, Brian
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2023 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!