English

Detecting a single fault in a deterministic finite automaton

Formal Languages and Automata Theory 2021-06-02 v1 Discrete Mathematics
Authors: Artur Polański , Eryk Lipka
View on arXiv ↗ PDF ↗

Abstract

Given a deterministic finite automaton and its implementation with at most one single fault, that we can test on a set of inputs, we provide an algorithm to find a test set that guarantees finding whether the fault exists.

Keywords

automata theory software testing flaky test detection

Cite

@article{arxiv.2106.00156,
  title  = {Detecting a single fault in a deterministic finite automaton},
  author = {Artur Polański and Eryk Lipka},
  journal= {arXiv preprint arXiv:2106.00156},
  year   = {2021}
}

Comments

13 pages

Related papers

View all related →
Logic in Computer Science · Computer Science
A Note on Fault Diagnosis Algorithms
Franck Cassez
2016-11-17
Computational Complexity · Computer Science
General Algorithms for Testing the Ambiguity of Finite Automata
Cyril Allauzen, Mehryar Mohri, Ashish Rastogi
2008-02-25
Software Engineering · Computer Science
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller
2007-05-23
Information Theory · Computer Science
Simultaneous Sequential Detection of Multiple Interacting Faults
Ram Rajagopal, XuanLong Nguyen, Sinem Coleri Ergen, Pravin Varaiya
2015-03-17
Optimization and Control · Mathematics
Real-time Fault Estimation for a Class of Discrete-Time Linear Parameter-Varying Systems
Chris van der Ploeg, Emilia Silvas, Nathan van de Wouw, Peyman Mohajerin Esfahani
2021-12-13
Formal Languages and Automata Theory · Computer Science
Synchronizing Deterministic Push-Down Automata Can Be Really Hard
Henning Fernau, Petra Wolf, Tomoyuki Yamakami
2020-12-23
Artificial Intelligence · Computer Science
Towards Formal Fault Injection for Safety Assessment of Automated Systems
Ashfaq Farooqui, Behrooz Sangchoolie
2023-11-17
Software Engineering · Computer Science
The Search for the Laws of Automatic Random Testing
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov +1
2013-08-14
Software Engineering · Computer Science
Fault Detection for Timed FSM with Timeouts by Constraint Solving
Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
2019-07-19
Formal Languages and Automata Theory · Computer Science
Complexity of checking whether two automata are synchronized by the same language
Marina Maslennikova
2014-05-15
Systems and Control · Computer Science
Fault detection and diagnosis: computational issues and tools
Andreas Varga
2022-02-02
Quantum Physics · Physics
Probabilistic model of fault detection in quantum circuits
Anindita Banerjee, Anirban Pathak
2015-05-13
Quantum Physics · Physics
Fault Tolerant Filtering and Fault Detection for Quantum Systems Driven By Fields in Single Photon States
Qing Gao, Daoyi Dong, Ian R. Petersen, Herschel Rabitz
2017-05-26
Quantum Physics · Physics
Diagnosis of single faults in quantum circuits
Debajyoti Bera, Subhamoy Maitra, Sparsa Roychowdhury, Susanta Chakraborty
2015-12-17
Formal Languages and Automata Theory · Computer Science
Detecting Useless Transitions in Pushdown Automata
Wan Fokkink, Dick Grune, Brinio Hond, Peter Rutgers
2013-06-11
Computational Complexity · Computer Science
Finite automata for testing uniqueness of Eulerian trails
Qiang Li, Hui-Min Xie
2008-05-20
Logic in Computer Science · Computer Science
Stochastic Timed Automata
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet +3
2015-07-01
Formal Languages and Automata Theory · Computer Science
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith +1
2012-10-16
Optimization and Control · Mathematics
Near-Optimal Design for Fault-Tolerant Systems with Homogeneous Components under Incomplete Information
Jalal Arabneydi, Amir G. Aghdam
2020-12-03
Distributed, Parallel, and Cluster Computing · Computer Science
Fault Diagnosis for Distributed Systems using Accuracy Technique
Poorva Kulkarni, Varsha Deshpande, Latika Sarna, Sumedha Shenolikar +1
2018-12-20
Quantum Physics · Physics
Fault testing quantum switching circuits
Jacob Biamonte, Marek Perkowski
2010-09-21
Software Engineering · Computer Science
Toward Granular Automatic Unit Test Case Generation
Fabiano Pecorelli, Giovanni Grano, Fabio Palomba, Harald C. Gall +1
2022-04-13
Artificial Intelligence · Computer Science
A Formal Framework for the Explanation of Finite Automata Decisions
Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey
2026-04-22
Systems and Control · Computer Science
Robust Fault Diagnosis by Optimal Input Design for Self-sensing Systems
Dhruv Khandelwal, Siep Weiland, Amol Khalate
2020-01-16
Formal Languages and Automata Theory · Computer Science
Completely Reachable Automata
Evgenija Bondar, Mikhail Volkov
2016-07-05
R2 v1 2026-06-24T02:41:12.578Z