MAP-Coverage: A novel coverage criterion for testing thread-safe classes
Concurrent programs must be thoroughly tested, as concurrency bugs are notoriously hard to detect. Code coverage criteria can be used to quantify the richness of a test suite (e.g., whether a program has been tested sufficiently) or provide practical guidelines on test case generation (e.g., as obje...
Saved in:
Main Authors: | WANG, Zan, ZHAO, Yingquan, LIU, Shuang, SUN, Jun, CHEN, Xiang, LIN, Huarui |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2019
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4964 https://ink.library.smu.edu.sg/context/sis_research/article/5967/viewcontent/map.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Towards generating thread-safe classes automatically
by: WANG, Haichi, et al.
Published: (2020) -
Achieving high MAP-coverage through pattern constraint reduction
by: ZHAO, Yingquan, et al.
Published: (2023) -
Route coverage testing for autonomous vehicles via map modeling
by: TANG, Yun, et al.
Published: (2021) -
Towards benchmarking the coverage of automated testing tools in Android against manual testing
by: THUNG, Ferdian, et al.
Published: (2024) -
Coverage-guided fuzzing for feedforward neural networks
by: XIE, Xiaofei, et al.
Published: (2019)