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

@article{Cadar:2020:10.1007/s10009-020-00570-3,
author = {Cadar, C and Nowack, M},
doi = {10.1007/s10009-020-00570-3},
journal = {International Journal on Software Tools for Technology Transfer},
pages = {867--870},
title = {KLEE symbolic execution engine in 2019},
url = {http://dx.doi.org/10.1007/s10009-020-00570-3},
volume = {23},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London. KLEE has a large community spanning both academia and industry, with over 60 contributors on GitHub, over 350 subscribers on its mailing list, and over 80 participants to a recent dedicated workshop. KLEE has been used and extended by groups from many universities and companies in a variety of different areas such as high-coverage test generation, automated debugging, exploit generation, wireless sensor networks, and online gaming, among many others.
AU  - Cadar,C
AU  - Nowack,M
DO  - 10.1007/s10009-020-00570-3
EP  - 870
PY  - 2020///
SN  - 0945-8115
SP  - 867
TI  - KLEE symbolic execution engine in 2019
T2  - International Journal on Software Tools for Technology Transfer
UR  - http://dx.doi.org/10.1007/s10009-020-00570-3
UR  - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000537357300001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
UR  - https://link.springer.com/article/10.1007%2Fs10009-020-00570-3
UR  - http://hdl.handle.net/10044/1/83346
VL  - 23
ER  -
Download