{'fraction_non_alphanumeric': 0.024727272727272726, 'fraction_numerical': 0.008727272727272728, 'mean_word_length': 5.679611650485437, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Concurrency Bugs: Characterization, Debugging and Runtime Verification

Sara Abbaspour Asadollah has been a Ph.D. student in software testing group at Mälardalen University, Sweden since 2013. In 2016 she defended her Licentiate thesis entitled “Bugs and Debugging of Concurrent and Multicore Software”. She received her Master’s degree in Software Engineering at Faculty of Computer Science and Information, University of Malaya, Malaysia in 2012. Her main research interests include debugging, testing and runtime verification of concurrent, parallel and multicore software with a focus on concurrency bugs. She also has work experience in various aspects of industrial environment such as mobile development systems, multimedia technologies and E-Learning application, RFID and smart cards technologies. Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. Thus, testing techniques and handling of concurrency bugs need to focus on exposing the bugs in this large space. However, existing solutions typically do not provide debugging information to developers (and testers) for understanding the bugs.