[IEEE 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) - Kyoto, Japan (2019.12.1-2019.12.3)] 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) - State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing
Takagi, Tomohiko, Kurozumi, Ryo, Katayama, TetsuroYear:
2019
DOI:
10.1109/prdc47002.2019.00018
File:
PDF, 2.31 MB
2019