article

Testing timed automata

Authors:

Jan Springintveld,

Frits Vaandrager,

Pedro R. D'ArgenioAuthors Info & Claims

Theoretical Computer Science, Volume 254, Issue 1-2

Pages 225 - 257

https://doi.org/10.1016/S0304-3975(99)00134-6

Published: 06 March 2001 Publication History

Abstract

No abstract available.

Cited By

View all

Henry LJéron TMarkey N(2023)Control strategies for off-line testing of timed systemsFormal Methods in System Design10.1007/s10703-022-00403-w60:2(147-194)Online publication date: 9-Jan-2023
https://dl.acm.org/doi/10.1007/s10703-022-00403-w
Sfar ACarral DIrofti DCroitoru M(2023)Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFormal Methods for Industrial Critical Systems10.1007/978-3-031-43681-9_11(189-204)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43681-9_11
Huang WKrafczyk NPeleska J(2023)An Optimised Complete Strategy for Testing Symbolic Finite State MachinesFundamentals of Software Engineering10.1007/978-3-031-42441-0_5(55-71)Online publication date: 4-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-42441-0_5
Show More Cited By

Index Terms

Testing timed automata

Recommendations

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.

While the reachability problem is undecidable for ...
Alternating timed automata

A notion of alternating timed automata is proposed. It is shown that such automata with only one clock have decidable emptiness problem over finite words. This gives a new class of timed languages that is closed under boolean operations and which has an ...
Pushdown timed automata: a binary reachability characterization and safety verification

We consider pushdown timed automata (PTAs) that are timed automata (with dense clocks) augmented with a pushdown stack. A configuration of a PTA includes a state, dense clock values and a stack word. By using the pattern technique, we give a decidable ...

Comments

Information & Contributors

Information

Published In

cover image Theoretical Computer Science

Theoretical Computer Science Volume 254, Issue 1-2

March 6, 2001

679 pages

ISSN:0304-3975

Editor:
M. Nivat
Univ. de Paris VII, Attainville, France

Issue’s Table of Contents

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 06 March 2001

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

80
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Henry LJéron TMarkey N(2023)Control strategies for off-line testing of timed systemsFormal Methods in System Design10.1007/s10703-022-00403-w60:2(147-194)Online publication date: 9-Jan-2023
https://dl.acm.org/doi/10.1007/s10703-022-00403-w
Sfar ACarral DIrofti DCroitoru M(2023)Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFormal Methods for Industrial Critical Systems10.1007/978-3-031-43681-9_11(189-204)Online publication date: 20-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-43681-9_11
Huang WKrafczyk NPeleska J(2023)An Optimised Complete Strategy for Testing Symbolic Finite State MachinesFundamentals of Software Engineering10.1007/978-3-031-42441-0_5(55-71)Online publication date: 4-May-2023
https://dl.acm.org/doi/10.1007/978-3-031-42441-0_5
Rodríguez IRubio DRubio F(2022)Complexity of adaptive testing in scenarios defined extensionallyFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-022-1673-917:3Online publication date: 22-Oct-2022
https://dl.acm.org/doi/10.1007/s11704-022-1673-9
Bresolin DEl-Fakih KVilla TYevtushenko N(2022)Equivalence checking and intersection of deterministic timed finite state machinesFormal Methods in System Design10.1007/s10703-022-00396-659:1-3(77-102)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1007/s10703-022-00396-6
Sfar AIrofti DCroitoru M(2022)A Graph Based Semantics for Logical Functional Diagrams in Power Plant ControllersFoundations of Information and Knowledge Systems10.1007/978-3-031-11321-5_4(55-74)Online publication date: 20-Jun-2022
https://dl.acm.org/doi/10.1007/978-3-031-11321-5_4
Benito-Parejo MMerayo M(2021)Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts2021 IEEE Congress on Evolutionary Computation (CEC)10.1109/CEC45853.2021.9504764(2403-2410)Online publication date: 28-Jun-2021
https://dl.acm.org/doi/10.1109/CEC45853.2021.9504764
Aichernig BPferscher ATappler M(2020)From Passive to Active: Learning Timed Automata EfficientlyNASA Formal Methods10.1007/978-3-030-55754-6_1(1-19)Online publication date: 11-May-2020
https://dl.acm.org/doi/10.1007/978-3-030-55754-6_1
Hübner FHuang WPeleska J(2019)Experimental evaluation of a novel equivalence class partition testing strategySoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0595-818:1(423-443)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0595-8
Luthmann LGöttmann HLochau M(2019)Compositional Liveness-Preserving Conformance Testing of Timed I/O AutomataFormal Aspects of Component Software10.1007/978-3-030-40914-2_8(147-169)Online publication date: 23-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-40914-2_8
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Interrupt Timed Automata: verification and expressiveness

Alternating timed automata

Pushdown timed automata: a binary reachability characterization and safety verification

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations