Combining test case generation and runtime verification

DOI10.1016/J.TCS.2004.11.007zbMATH Open1080.68062OpenAlexW2126606154MaRDI QIDQ555778FDOQ555778

Authors: Jianyong Qiao, Sumit K. Garg 

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

Recommendations

• scientific article; zbMATH DE number 1951185
• Towards a framework for constraint-based test case generation
• scientific article; zbMATH DE number 2079824
• Formal Approaches to Software Testing
• Model checking, testing and verification working together

zbMATH Keywords

Automated testingConcurrency analysisModel checkingNASA rover controllerRuntime verificationSymbolic executionTemporal logicTest case generation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• An overview of the runtime verification tool Java PathExplorer
• Java-MaC: A run-time assurance approach for Java programs
• Computer Aided Verification
• Evolving Algebras 1993: Lipari Guide
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• MetateM: An introduction
• Symbolic execution and program testing
• Verification, Model Checking, and Abstract Interpretation
• Model checking a path (preliminary report)
• Title not available (Why is that?)
• Checking finite traces using alternating automata
• Title not available (Why is that?)
• A suite of tools for debugging distributed autonomous systems
• Experimental evaluation of verification and validation tools on Martian Rover software
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Computer says no: verdict explainability for runtime monitors using a local proof system
• Automation of broad sanity test generation
• On runtime enforcement via suppressions
• Weak Kripke structures and LTL
• Automatic generation of test oracles -- from pilot studies to application
• Title not available (Why is that?)
• Integration of verification methods for program systems
• On first-order runtime enforcement of branching-time properties
• Mu-calculus path checking
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Theoretical Aspects of Computing - ICTAC 2004

Uses Software

• TestEra
• Korat
• QuickCheck
• JPAX
• pthreads
• AsmL
• JNuke
• AGEDIS
• TGV

This page was built for publication: Combining test case generation and runtime verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555778)