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...
Saved in:
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: | |
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 |
Similar Items
-
Automatic loop summarization via path dependency analysis
by: Xie, Xiaofei, et al.
Published: (2020) -
Proteus: Computing disjunctive loop summary via path dependency analysis
by: XIE, Xiaofei, et al.
Published: (2016) -
Loopster: Static loop termination analysis
by: XIE, Xiaofei, et al.
Published: (2017) -
Process sequencing policy dynamics: Beyond homeostasis and path dependency
by: Howlett, M.
Published: (2011) -
Kerala's industrial backwardness: A case of path dependence in industrialization?
by: Thomas, J.J.
Published: (2014)