Imperial College London
Professor Cristian Cadar

ProfessorCristianCadar

Faculty of Engineering, Department of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Kapus:2020,
author = {Kapus, T and Busse, F and Cadar, C},
publisher = {IEEE / ACM},
title = {Pending constraints in symbolic execution for better exploration and seeding},
url = {https://ieeexplore.ieee.org/document/9286054},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Symbolic execution is a well established technique for software testing and analysis. However, scalability continues to be a challenge, both in terms of constraint solving cost and path explosion.In this work, we present a novel approach for symbolic execution, which can enhance its scalability by aggressively prioritising execution paths that are already known to be feasible, and deferring all other paths. We evaluate our technique on nine applications, in-cludingSQLite3, make and tcpdump and show it can achieve higher coverage for both seeded and non-seeded exploration.
AU  - Kapus,T
AU  - Busse,F
AU  - Cadar,C
PB  - IEEE / ACM
PY  - 2020///
TI  - Pending constraints in symbolic execution for better exploration and seeding
UR  - https://ieeexplore.ieee.org/document/9286054
UR  - http://hdl.handle.net/10044/1/83381
ER  -
Download