Back to Results
First PageMeta Content
Automated theorem proving / Concolic testing / Logic in computer science / Java Pathfinder / Symbolic execution / Interprocedural optimization / Control flow / KeY / Software bug / Software engineering / Formal methods / Computing


Document Date: 2014-07-17 17:29:47

Open Document

File Size: 161,41 KB

Share Result on Facebook

City

London / /

Country

United States / United Kingdom / /

Currency

pence / USD / /

/

Facility

NASA Ames Research Center / /

IndustryTerm

Software flaws / binary search tree implementation / runtime analysis tool / defect detection tools / Similar tools / publiclyavailable systems / file systems / mature product / error detection tool / Software model checkers / real-world systems / symbolic execution algorithm / Program analysis tools / intraprocedural analysis tool / dual-processor / /

OperatingSystem

Linux / /

Organization

NASA Ames Research Center / U.S. Government / US Federal Reserve / National Aeronautics and Space Administration / Runtime Error Detection Aaron Tomb Guillaume Brat Univ. of California / Association for Computing Machinery / /

Person

Christoph Csallner / Aaron Tomb Guillaume Brat Univ / /

Position

contractor / private / and setting them within constructors / defect detection ∗This author / representative / General / /

ProgrammingLanguage

Ada / Fortran / Java / Pascal / Java bytecode / C / /

PublishedMedium

Maximum PC / Lecture Notes in Computer Science / /

RadioStation

KLOC / /

Technology

virtual machine / DSD / Java / Linux / API / symbolic execution algorithm / /

URL

http /

SocialTag