Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 1744960 (Why is no real title available?)
- Syntax-directed model checking of sequential programs
- Efficient SAT-based bounded model checking for software verification
- Automatic Generation of Test Inputs for Mercury
- Model Checking Software
- Computer Aided Verification
- Two-stage agent program verification
- Space-reduction strategies for model checking dynamic software
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
- Abstract interpretation of microcontroller code: intervals meet congruences
- Runtime Exception Detection in Java Programs Using Symbolic Execution
- Model checking dynamic memory allocation in operating systems
- Enhancing symbolic execution of heap-based programs with separation logic for test input generation
- Model Checking Software
- Computer Aided Verification
- Automated Technology for Verification and Analysis
- Computer Aided Verification
- Beyond contracts for concurrency
- Tools and Algorithms for the Construction and Analysis of Systems
- Programming Languages and Systems
- Symbolic computation via program transformation
- scientific article; zbMATH DE number 1973988 (Why is no real title available?)
- Tools and Algorithms for the Construction and Analysis of Systems
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- JBSE
- Formal Approaches to Software Testing
- Optimistic synchronization-based state-space reduction
- scientific article; zbMATH DE number 2006479 (Why is no real title available?)
- scientific article; zbMATH DE number 2182600 (Why is no real title available?)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Collaborative verification and testing with explicit assumptions
- TAGED Approximations for Temporal Properties Model-Checking
- A model checking-based approach for security policy verification of mobile systems
- Symbolic predictive analysis for concurrent programs
- Formal testing for separation assurance
- Translation from Adapted UML to Promela for CORBA-Based Applications
- scientific article; zbMATH DE number 2087637 (Why is no real title available?)
- Formal verification for C program
- scientific article; zbMATH DE number 1670556 (Why is no real title available?)
- Efficient verification of sequential and concurrent C programs
- Predicate abstraction of ANSI-C programs using SAT
- scientific article; zbMATH DE number 1701757 (Why is no real title available?)
- scientific article; zbMATH DE number 1863159 (Why is no real title available?)
- An introduction to test specification in FQL
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- MAVEN: Modular aspect verification and interference analysis
- Combining model checking and testing
- Towards a framework for constraint-based test case generation
- Interface-based specification and verification of concurrency controllers
- scientific article; zbMATH DE number 2146563 (Why is no real title available?)
- A local approach for temporal model checking of Java bytecode
- scientific article; zbMATH DE number 1693529 (Why is no real title available?)
- Concolic testing in logic programming
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- CUTE
- jETI
- MPI-CHECK
- SEQ.OPEN
- Cogent
- Zing
- COMBINE
- IMP++
- POOC
- Symstra
- Wolf
- DiVer
- veriSoft
- StEAM
- SyncGen
- SCOOP
- BLAST
- LOTOS
- SLAM
- RAISE
- SPIN
- NuSMV
- ISP
- KLEE
- General Purpose Hash Function Library
- AnZenMail
- Bogor
- UniTESK
- Goanna
- DART
- Korat
- JUnit
- PathCrawler
- Pex
- QuickCheck
- Rostra
- TorX
- ComFoRT
- TestEra
- STG
- visualSTATE
- SymmSpin
- Bandera
- MAVEN
- PROMELA
- TACO
This page was built for software: Java PathFinder
