Automatic loop summarization via path dependency analysis

Automatic loop summarization via path dependency analysis

Analyzing loops is very important for various software engineering tasks such as bug detection, test case generation and program optimization. However, loops are very challenging structures for program analysis, especially when (nested) loops contain multiple paths that have complex interleaving rel...

Full description

Saved in:
Bibliographic Details
Main Authors: XIE, Xiaofei, CHEN, Bihuan, ZOU, Liang, LIU, Yang, LE, Wei, LI, Xiaohong
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2019
Subjects:
Disjunctive loop summary
path dependency automaton
path interleaving
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/7100
https://ink.library.smu.edu.sg/context/sis_research/article/8103/viewcontent/336ed1cc9c1df91a9ae8b5a4977cc8d93e8f.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/7100
https://ink.library.smu.edu.sg/context/sis_research/article/8103/viewcontent/336ed1cc9c1df91a9ae8b5a4977cc8d93e8f.pdf

Similar Items