Back to Results
First PageMeta Content
Software testing / Abstract interpretation / Symbolic execution / Stack / Subroutine / Code coverage / Exception handling / Assertion / KeY / Software engineering / Computer programming / Computing


Document Date: 2005-06-15 11:35:57

Open Document

File Size: 158,16 KB

Share Result on Facebook

City

Chicago / /

Company

DART / Random Testing Patrice Godefroid Nils Klarlund Bell Laboratories / Bell Laboratories / Needham / Lucent Technologies / /

Country

United States / /

Currency

USD / /

/

Event

FDA Phase / Product Issues / /

Facility

Koushik Sen Computer Science Department University of Illinois / C library / /

IndustryTerm

software 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 / /

OperatingSystem

Unix / /

Organization

National Science Foundation / University of Illinois / /

Person

Alan Jeffrey / Dennis Dams / Darko Marinov / Gul Agha / Vic Zandy / Cormac Flanagan / Kedar Namjoshi / John Havlicek / Rupak Majumdar / /

Position

driver / advisor / nondeterministic/random test driver / average software developer / The test driver / General / test driver / author / Random Test Driver / forward / controller / ac controller / /

Product

security protocol / I / /

ProgrammingLanguage

Java / C / Haskell / /

ProvinceOrState

Illinois / /

Technology

RAM / Unix / API / SIP protocol / Random Access / encryption / public key / Java / flawed security protocol / ASCII / Voice-over-IP / network protocols / /

URL

http /

SocialTag