International Journal on Software Tools for Technology Transfer · 2020 · 45 citations · 15 references
ComputingComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingSoftware EngineeringExploit DevelopmentSoftware Fault ToleranceSoftware TestingSymbolic ExecutionAutomated Exploit GenerationDynamic Symbolic ExecutionExploit DetectionSoftware ReliabilitySoftware Reliability EngineeringSymbolic Execution EnginesTest CoverageTest Generation
Abstract 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.
15
Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations
Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · 2006 · 789 citations
Symbolic execution for software testing
Cristian Cadar, Koushik Sen · Communications of the ACM · 2013 · 749 citations