Back to Results
First PageMeta Content
Klee / Constraint programming / Programming language implementation / Symbolic execution / Code coverage / Assembly language / E / Concolic testing / Software engineering / Software testing / Bauhaus


Document Date: 2015-03-26 13:14:14

Open Document

File Size: 222,67 KB

Share Result on Facebook

Company

KLEE / /

IndustryTerm

few particular applications / symbolic execution tool / potential solution / tr tool / search heuristics / coverage tools / mail server / utilities vs. / open-source applications / actual utilities / bug finding tool / equivalent tools / df tool / /

OperatingSystem

Unix / Fedora Core / GNU / /

Organization

Stanford University / /

Person

B USYBOX / GNU C OREUTILS / Daniel Dunbar / C OREUTILS / Dawson Engler / /

Position

driver / sym∗ Author / interpreter / author / replay driver / representative / main author / official / /

ProgrammingLanguage

C / /

RadioStation

Core 7 / 2 When / /

Technology

Unix / operating system / /

SocialTag