𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Enhancing symbolic execution with veritesting

✍ Scribed by Avgerinos, Thanassis; Rebert, Alexandre; Cha, Sang Kil; Brumley, David

Book ID: 124049908
Publisher: ACM Press
Year: 2014
Tongue: English
Weight: 546 KB
Category: Article
ISBN: 1450327567
DOI: 10.1145/2568225.2568293

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 36th International Confer

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Towards efficient optimization in package management systems

✍ Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 549 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Socio-technical coordination (keynote)

✍ Herbsleb, James 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 216 KB

[ACM Press the 36th International Confer

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Self-adaptation through incremental generative model transformations at runtime

✍ Chen, Bihuan; Peng, Xin; Yu, Yijun; Nuseibeh, Bashar; Zhao, Wenyun 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 721 KB

[ACM Press the 36th International Confer

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Reuse-oriented reverse engineering of functional components from x86 binaries

✍ Kim, Dohyeong; Sumner, William N.; Zhang, Xiangyu; Xu, Dongyan; Agrawal, Hira 📂 Article 📅 2014 🏛 ACM Press ⚖ 455 KB

[ACM Press Companion the 36th Internatio

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Modeling self-adaptive software systems with learning petri nets

✍ Ding, Zuohua; Zhou, Yuan; Zhou, MengChu 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 454 KB

[ACM Press the 36th International Confer

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Mind the gap: assessing the conformance of software traceability to relevant guidelines

✍ Rempel, Patrick; Mäder, Patrick; Kuschke, Tobias; Cleland-Huang, Jane 📂 Article 📅 2014 🏛 ACM Press 🌐 English ⚖ 562 KB