Research indexJournal article
Distributed symbolic execution for binary software testing
Wu, Li, Zhang and 2 others
1 May 2014
NobleIDark:/48914/w1/20260516/095858BFDOI10.1109/iweca.2014.6845695
Distributed symbolic execution for binary software testing
Wu, Li, Zhang and 2 others · 2014 · Subscription
NobleIDark:/48914/w1/20260516/095858BFDOI10.1109/iweca.2014.6845695
The full text is at the publisher
You can read the abstract here, or open it at the publisher.
Abstract
Despite more than three decades of independent, academic, and industry-related research on symbolic execution, it is still difficult applying symbolic execution to real-world software testing, especially to binary software. The emergence of more and more cloud computing platforms makes it feasible to scale this technique using the concept of distributed computing. In this paper, we proposed a distributed symbolic execution approach, which is a novel schema for scaling symbolic execution to real-world binary software testing. We design our method in peer-to-peer way,that is to say, the work node can do the task alone or together, so it can make full use of the elasticity of cloud computing. Also a prototype system is implemented, which is built based on the S2E platform using its plug-in structure. The evaluation shows that our method can be used to test real-world binary software more efficiently.