Assessing test suites of extended finite state machines against model and code based faults
Tests can be derived from extended finite state machine (EFSM) specifications considering the coverage of single-transfer faults, all transitions using a transition tour, all-uses, edge-pair, and prime path with side trip. We provide novel empirical assessments of the effectiveness of these test sui...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | article |
| Published: |
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/25061 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|