Adaptive randomized scheduling for concurrency bug detection
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...
Saved in:
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: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4442 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
IFIX: Fixing concurrency bugs while they are introduced
by: WANG, Zan, et al.
Published: (2020) -
PFix: Fixing concurrency bugs based on memory access patterns
by: LIN, Huarui, et al.
Published: (2018) -
Achieving high MAP-coverage through pattern constraint reduction
by: ZHAO, Yingquan, et al.
Published: (2023) -
Empirical evaluation of bug linking
by: BISSYANDE, Tegawende F., et al.
Published: (2013) -
Software bug management from bug reports to bug signatures
by: SUN CHENGNIAN
Published: (2013)