naa a22 4500 510791298 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20130601xx s 000 0 eng 10.1007/s11334-013-0196-9 doi (NATIONALLICENCE)springer-10.1007/s11334-013-0196-9 Scaling symbolic execution using staged analysis [Elektronische Daten] [Junaid Siddiqui, Sarfraz Khurshid] Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem. We present a novel approach to increase the efficiency of symbolic execution for systematic testing of object-oriented programs. Our insight is that we can apply symbolic execution in stages, rather than the traditional approach of applying it all at once, to compute abstract symbolic inputs that can later be shared across different methods to test them systematically. For example, a class invariant can provide the basis of generating abstract symbolic tests that are then used to symbolically execute several methods that require their inputs to satisfy the invariant. We present an experimental evaluation to compare our approach against KLEE, a state-of-the-art implementation of symbolic execution. Results show that our approach enables significant savings in the cost of systematic testing using symbolic execution. Springer-Verlag London, 2013 Software testing nationallicence Symbolic execution nationallicence Staged analysis nationallicence Siddiqui Junaid LUMS School of Science and Engineering, DHA, Lahore, Pakistan aut Khurshid Sarfraz The University of Texas at Austin, 78712, Austin, TX, USA aut Innovations in Systems and Software Engineering Springer-Verlag 9/2(2013-06-01), 119-131 1614-5046 9:2<119 2013 9 11334 https://doi.org/10.1007/s11334-013-0196-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-013-0196-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Siddiqui Junaid LUMS School of Science and Engineering, DHA, Lahore, Pakistan aut NATIONALLICENCE 700 1- Khurshid Sarfraz The University of Texas at Austin, 78712, Austin, TX, USA aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer-Verlag 9/2(2013-06-01), 119-131 1614-5046 9:2<119 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer