كتاب إلكتروني
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
العنوان: | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution) |
---|---|
المؤلفون: | Jaffar, JoxanAff10, Maghareh, RasoolAff10, Godboley, SangharatnaAff10, Ha, Xuan-LinhAff10 |
المساهمون: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Wehrheim, Heike, editorAff8, Cabot, Jordi, editorAff9 |
المصدر: | Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. 12076:530-534 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783030452339 9783030452346 |
---|---|
DOI: | 10.1007/978-3-030-45234-6_28 |