<--- Back to Details
First PageDocument 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
Date: 2014-07-17 17:29:47
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

Add to Reading List

Source URL: galois.com

Download Document from Source Website

File Size: 161,41 KB

Share Document on Facebook

Similar Documents

Software engineering / Java Pathfinder / Computer programming / Computing / Const / Obfuscation / Assembly languages / Programming language syntax / Java / P-code machine

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

DocID: 1xTg2 - View Document

Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA,

DocID: 1s1qc - View Document

Java Pathfinder

Exhaustive Testing of Safety Critical Java

DocID: 1qTQs - View Document

Software testing / Concolic testing / Symbolic execution / Java Pathfinder / KeY / Random testing / Model checking / Satisfiability modulo theories / Unit testing / Type system / White-box testing / Fuzz testing

Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London

DocID: 1pese - View Document

Computing / Software engineering / Software / Formal methods / Theoretical computer science / Model checkers / Logic in computer science / Java Pathfinder / Model checking / Formal verification / Promela / Abstract interpretation

PDF Document

DocID: 1iKZC - View Document