Automated test generation from timed automata

DOI10.1007/3-540-45319-9_24MaRDI QIDQ2769597zbMATH OpenFDO

Authors Brian Nielsen, Arne Skou

Publication date 5 February 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2031/20310343

Mathematics Subject Classification ID

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

Recommendations

• Real-time testing with timed automata testers and coverage criteria
• Model Checking Software
• Conformance testing for real-time systems
• Testing timed automata
• Formal Approaches to Software Testing

Cited in

(15)

• Composition methods for constructing characteristic formulas for dense-time models
• Simulation testing of automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Automated test case generation for the stress testing of multimedia systems
• Determinisability of register and timed automata
• Compositional schedulability analysis of real-time actor-based systems
• Model Checking Software
• Generating Path Conditions for Timed Systems
• Real-time testing with timed automata testers and coverage criteria
• Automated Technology for Verification and Analysis
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Testing timed automata
• Conformance testing for real-time systems
• Automatic generation of path conditions for concurrent timed systems

Describes a project that uses

Uses Software

• Uppaal
• CADP

This page was built for publication: Automated test generation from timed automata

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