A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs
- Gwan Hwan Hwang*
- , Che Sheng Lin
- , Teng Shuo Lee
- , Chi Wu-Lee
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
2
Link opens in a new tab
Citations
(Scopus)