Combining test case generation and runtime verification
From MaRDI portal
Publication:555778
DOI10.1016/j.tcs.2004.11.007zbMath1080.68062OpenAlexW2126606154MaRDI QIDQ555778
Publication date: 10 June 2005
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.11.007
Automated testingConcurrency analysisModel checkingNASA rover controllerRuntime verificationSymbolic executionTemporal logicTest case generation
Related Items (9)
Automation of broad sanity test generation ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ On first-order runtime enforcement of branching-time properties ⋮ Unnamed Item ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ Weak Kripke Structures and LTL ⋮ Integration of verification methods for program systems ⋮ Mu-calculus path checking
Uses Software
Cites Work
- Checking finite traces using alternating automata
- Java-MaC: A run-time assurance approach for Java programs
- A suite of tools for debugging distributed autonomous systems
- An overview of the runtime verification tool Java PathExplorer
- Experimental evaluation of verification and validation tools on Martian Rover software
- MetateM: An introduction
- Symbolic execution and program testing
- Evolving Algebras 1993: Lipari Guide
- Computer Aided Verification
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- CONCUR 2003 - Concurrency Theory
- Verification, Model Checking, and Abstract Interpretation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Combining test case generation and runtime verification