𝔖 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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES