| Document Date: 2008-03-11 04:34:02
Open Document File Size: 239,47 KBShare Result on Facebook
City Malaga / Boston / New York / / Company Diabol / Agitar Software / ACM Press / JUnit / MIT CSAIL Agitar Software Laboratories / / Country United States / Spain / / Currency USD / / / Event Product Issues / / Facility By building / Jetty Jetty11 / JUnit library / Kansas State University / / IndustryTerm test-input generation algorithms / software works / software vendors / Software projects / theory tools / free web service / automatic data generation tools / earlier systems / Specification-based static analysis tools / lightweight tool / exploration tool / software development / parameter value supplier / automatic tools / intended software behavior / software development project / open object-oriented systems / random-testing tool / human developer / / Organization MIT / Kansas State University / / Person Michael D. Ernst / Karl Popper / Catch Bugs David Saff / Marat Boshernitsan / / Position test writer / editor / custom runner / theory runner / General / king / Correspondent / @Stub Correspondent correspondent / / Product Theory Explorer / a tool / Theory Explorer / Correspondent / Explorer / Apache / Matcher interface / JUnit Factory8 / Matcher / conditions / / ProgrammingLanguage Java / Haskell / / ProvinceOrState New York / / PublishedMedium Lecture Notes in Computer Science / / Technology alpha / Functional Programming / Object-Oriented Programming / API / test-input generation algorithms / artificial intelligence / Java / ASCII / HTTP / / URL http /
SocialTag |
Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TR[removed]January 14, 2008