𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 27th IEEE/ACM International Conference - Essen, Germany (2012.09.03-2012.09.07)] Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012 - Augmented dynamic symbolic execution

✍ Scribed by Jamrozik, Konrad; Fraser, Gordon; Tillmann, Nikolai; De Halleux, Jonathan


Book ID
115478546
Publisher
ACM Press
Year
2012
Weight
269 KB
Category
Article
ISBN
1450312047

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


[ACM Press the 27th IEEE/ACM Internation
✍ Tamrawi, Ahmed; Nguyen, Hoan Anh; Nguyen, Hung Viet; Nguyen, Tien N. πŸ“‚ Article πŸ“… 2012 πŸ› ACM Press βš– 1021 KB

Software building is an important task during software development. However, program analysis support for build code is still limited, especially for build code written in a dynamic language such as Make. We introduce SYMake, a novel program analysis and refactoring tool for build code in Makefiles.