MAP-Coverage: A novel coverage criterion for testing thread-safe classes

• 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: Software Engineering
• 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
• Institution: Singapore Management University

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...