Conference
Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking
| Title: | Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking |
|---|---|
| Authors: | Oda, Futa, Tsuchiya, Tatsuhiro |
| Source: | 2026 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2026 IEEE International Conference on. :265-269 May, 2026 |
| Relation: | 2026 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798319546913 9798319546920 |
|---|---|
| ISSN: | 21594848 |
| DOI: | 10.1109/ICSTW72326.2026.00051 |