First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2015-03-26 13:14:14Open Document File Size: 222,67 KBShare Result on FacebookCompanyKLEE / /IndustryTermfew 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 / /OperatingSystemUnix / Fedora Core / GNU / /OrganizationStanford University / /PersonB USYBOX / GNU C OREUTILS / Daniel Dunbar / C OREUTILS / Dawson Engler / /Positiondriver / sym∗ Author / interpreter / author / replay driver / representative / main author / official / /ProgrammingLanguageC / /RadioStationCore 7 / 2 When / /TechnologyUnix / operating system / /SocialTag |