Towards Testing from Finite State Machines with Symbolic Inputs and Outputs
Abstract
Index Terms
- Towards Testing from Finite State Machines with Symbolic Inputs and Outputs
Recommendations
Checking Experiments for Finite State Machines with Symbolic Inputs
ICTSS 2015: Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447There exists a significant body of work in the theory of checking experiments devoted to test generation from FSM which guarantees complete fault coverage for a given fault model. Practical applications require nevertheless methods for fault-model ...
Toward testing from finite state machines with symbolic inputs and outputs
After 60 or so years of development, the theory of checking experiments for FSM still continues to attract a lot of attention of research community. One of the reasons is that it offers test generation techniques which under well-defined assumptions ...
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method
Presents a method of generating test sequences for concurrent programs and communication protocols that are modeled as communicating nondeterministic finite-state machines (CNFSMs). A conformance relation, called trace-equivalence, is defined within ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/525580dc-d963-480d-91e7-7496800bae46/3239372.cover.jpg)
- Conference Chair:
- Andrzej Wąsowski,
- Program Chairs:
- Richard Paige,
- Øystein Haugen
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 89Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in