JPAX
From MaRDI portal
Cited in
(50)- Mu-calculus path checking
- jContractor
- veriSoft
- FoCs
- CalFuzzer
- Rewriting logic: Roadmap and bibliography
- A compiler for MSVL and its applications
- Automation of the construction of models of normal program behavior
- ADL
- Bandera
- Eraser
- Atomizer
- Velodrome
- Axiomatizing recursion-free, regular monitors
- ConTest
- HITEC
- Time-triggered runtime verification
- Efficient abstraction algorithms for predicate detection
- A brief account of runtime verification
- Integrating a formal method into a software engineering process with UML and Java
- SAL
- Contract
- Snugglebug
- Java-MOP
- MOP
- RiTHM
- Looper
- Combining model checking and testing
- TreatJS
- Racket
- Java-MaC
- StaRVOOrS
- jPredictor
- CATG
- Copilot
- Jass
- AGEDIS
- TGV
- scientific article; zbMATH DE number 1951185 (Why is no real title available?)
- scientific article; zbMATH DE number 2043550 (Why is no real title available?)
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- An extended account of contract monitoring strategies as patterns of communication
- Runtime verification of embedded real-time systems
- AMT
- Combining test case generation and runtime verification
- Con2colic
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Approaches to Software Testing
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Analog property checkers: a DDR2 case study
This page was built for software: JPAX
