Java Pathfinder - PDFSEARCH.IO - Document Search Engine

Java Pathfinder
Results: 36

#	Item
1	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:33:47 Software engineering Java Pathfinder Computer programming Computing Const Obfuscation Assembly languages Programming language syntax Java P-code machine
2	Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA, Add to Reading List Source URL: fm.csl.sri.com - Date: 2010-10-31 05:09:16
3	Exhaustive Testing of Safety Critical Java Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-17 06:40:02
4	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 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
5	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation
6	T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-02-23 00:15:15 Data Software engineering Wireless sensor network NesC Model checking Stack Collection Tree Protocol Java Pathfinder Communications protocol Software bugs Computing TinyOS
7	Test Generation through Programming in UDITA Add to Reading List Source URL: lara.epfl.ch Language: English - 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
8	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
9	On Test Generation through Programming in UDITA Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-09-16 18:43:07 Cross-platform software Java Pathfinder D Null Object pattern JavaScript Computer program KeY Java Generator Computing Software engineering Computer programming
10	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control