<--- Back to Details
First PageDocument Content
Geographic information system / Augmented reality / Stack / Database / Java Pathfinder / Global Positioning System / Inefficiency / Technology / Reality / Military science
Geographic information system
Augmented reality
Stack
Database
Java Pathfinder
Global Positioning System
Inefficiency
Technology
Reality
Military science

Microsoft Word - PerCom_Camera_Ready

Add to Reading List

Source URL: sccpu2.cse.ust.hk

Download Document from Source Website

File Size: 712,24 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