Back to Results
First PageMeta Content
Software / Model checking / KeY / Java Pathfinder / Symbolic execution / Exception handling / Test automation / Mutation testing / Java / Software testing / Computing / Software engineering


Document Date: 2005-03-01 18:37:16

Open Document

File Size: 220,17 KB

Share Result on Facebook

City

Pittsburgh / Cambridge / Washington / Taormina / Boston / Edinburgh / /

Company

International Thomson Computer Press / Honeywell / MIT Press / Microsoft / High Assurance Systems / /

Country

United States / Italy / Scotland / /

Currency

USD / /

/

Facility

JPF’s facility / National Institute of Standards and Technology / Java TreeMap library / USA UT ARISE University of Texas / Omega library / /

IndustryTerm

software testing infrastructure / different search capabilities / software failures / validation tools / dual processor / binary search trees / software programs / concurrent systems / e.g. heuristic search / valid solutions / software model checkers / search space / search engine / system software / rst search / software testing / software development / inadequate infrastructure / martian rover software / lazy initialization algorithm / /

OperatingSystem

Windows 2000 / /

Organization

National Institute of Standards and Technology / University of Texas at Austin / MIT / National Aeronautics and Space Administration / USA UT ARISE University / /

Person

J. Adam J. Chlipala / Thomas A. Henzinger / Darko Marinov / R. Majumdar / P. Ammann / P. Black / Corina S. Pas / /

Position

forward / General / /

ProgrammingLanguage

Java / C++ / /

ProvinceOrState

Massachusetts / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

Virtual Machine / lazy initialization algorithm / real-time operating system / Java / API / Korat algorithm / search engine / 2.2 Ghz dual processor / /

SocialTag