First Page | Meta Content | |
---|---|---|
Document Date: 2005-06-15 11:35:57Open Document File Size: 158,16 KBShare Result on FacebookCityChicago / /CompanyDART / Random Testing Patrice Godefroid Nils Klarlund Bell Laboratories / Bell Laboratories / Needham / Lucent Technologies / /CountryUnited States / /CurrencyUSD / / /EventFDA Phase / Product Issues / /FacilityKoushik Sen Computer Science Department University of Illinois / C library / /IndustryTermsoftware system / software failures / flawed security protocol / overall software quality / telephony / static analysis tool / automatic code-inspection tools / software components / software development / software verification / software testing infrastructure / static analysis tools / printing / software development cycle / Sound static analysis tools / software bugs / depth-first search / directed search / software industry / test-generation tool / average software developer / software application / /OperatingSystemUnix / /OrganizationNational Science Foundation / University of Illinois / /PersonAlan Jeffrey / Dennis Dams / Darko Marinov / Gul Agha / Vic Zandy / Cormac Flanagan / Kedar Namjoshi / John Havlicek / Rupak Majumdar / /Positiondriver / advisor / nondeterministic/random test driver / average software developer / The test driver / General / test driver / author / Random Test Driver / forward / controller / ac controller / /Productsecurity protocol / I / /ProgrammingLanguageJava / C / Haskell / /ProvinceOrStateIllinois / /TechnologyRAM / Unix / API / SIP protocol / Random Access / encryption / public key / Java / flawed security protocol / ASCII / Voice-over-IP / network protocols / /URLhttp /SocialTag |