<--- Back to Details
First PageDocument Content
Software testing / Java Pathfinder / Concolic testing / Unit testing / KeY / Symbolic execution / Null Object pattern / D / Test automation / Computing / Software engineering / Computer programming
Date: 2010-02-11 09:29:21
Software testing
Java Pathfinder
Concolic testing
Unit testing
KeY
Symbolic execution
Null Object pattern
D
Test automation
Computing
Software engineering
Computer programming

Test Generation through Programming in UDITA

Add to Reading List

Source URL: lara.epfl.ch

Download Document from Source Website

File Size: 258,26 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