A test generation framework for quiescent real-time systems

DOI10.1007/978-3-540-31848-4_5MaRDI QIDQ5710653zbMATH OpenOpenAlexFDO

Authors Laura Brandán Briones, Ed Brinksma

Publication date 2 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106767

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 938070
• Conformance testing for real-time systems
• Formal Approaches to Software Testing
• On Conformance Testing for Timed Systems
• Model Checking Software

Cited in

(16)

• Complete test graph synthesis for symbolic real-time systems
• Off-line test selection with test purposes for non-deterministic timed automata
• Conformance Testing Relations for Timed Systems
• Controllable Test Cases for the Distributed Test Architecture
• On Conformance Testing for Timed Systems
• Testing transition systems with input and output testers
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Control Strategies for Off-Line Testing of Timed Systems
• Formal Approaches to Software Testing
• Generating time test cases with oracles for real-time software
• Control strategies for off-line testing of timed systems
• An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
• Model-based testing of probabilistic systems
• A formal abstract framework for modelling and testing complex software systems
• Conformance testing for real-time systems

Describes a project that uses

Uses Software

• TorX

This page was built for publication: A test generation framework for quiescent real-time systems

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