Adaptive randomized scheduling for concurrency bug detection

• Main Authors: WANG, Zan, ZHANG, Dongdi, LIU, Shuang, SUN, Jun, ZHAO, Yingquan
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Adaptive random testing; Bug detection; Concurrency bug pattern; Concurrency bugs; Computer and Systems Architecture; Computer Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4442
• Institution: Singapore Management University

Multi-threaded programs often exhibit erroneous behaviours due to unintended interactions among threads. Those bugs are often difficult to find because they typically manifest under very specific thread schedules. The traditional randomized algorithms increase the probability of exploring infrequent...