| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 8953931 | Information and Software Technology | 2018 | 15 Pages |
Abstract
Hence, by using diverse test cases derived from the static and dynamic perspectives, our adaptive test generation approaches can deliver a more efficient coverage of the thread schedules of the concurrent data structure under test.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Linhai Ma, Peng Wu, Tsong Yueh Chen,