Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

To Tsui; Shangru Wu; W. K. Chan

doi:10.1145/2666581.2666592

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

To Tsui, Shangru Wu, W. K. Chan

Department of Computer Science

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

1 Citation (Scopus)

Abstract

Many multithreaded programs incur concurrency bugs. A modified version of such a program, which the exposed concurrency bug is deemed fixed, should be subject to further testing to validate whether the concurrency bug may only be partially fixed. In this paper, we present a similarity-based regression testing methodology to address this problem. It is based on the notions of similar execution contexts of events and bug signatures. To the best of our knowledge, it also presents the first regression testing technique that manipulates thread schedules using a similarity-based active testing strategy.

Original language	English
Title of host publication	International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Proceedings
Publisher	Association for Computing Machinery
Pages	49-56
ISBN (Print)	9781450332262
DOIs	https://doi.org/10.1145/2666581.2666592
Publication status	Published - 16 Nov 2014
Event	International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Hong Kong, China Duration: 16 Nov 2014 → …

Conference

Conference	International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014
Country/Territory	China
City	Hong Kong
Period	16/11/14 → …

Research Keywords

Active testing
Concurrency bugs
Debugging
Execution contexts
Modified versions
Regression testing
Similarity measure

Access Output

10.1145/2666581.2666592

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{28ffe91c195a4641be19cfa07c5c3fa3,

title = "Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs",

abstract = "Many multithreaded programs incur concurrency bugs. A modified version of such a program, which the exposed concurrency bug is deemed fixed, should be subject to further testing to validate whether the concurrency bug may only be partially fixed. In this paper, we present a similarity-based regression testing methodology to address this problem. It is based on the notions of similar execution contexts of events and bug signatures. To the best of our knowledge, it also presents the first regression testing technique that manipulates thread schedules using a similarity-based active testing strategy.",

keywords = "Active testing, Concurrency bugs, Debugging, Execution contexts, Modified versions, Regression testing, Similarity measure",

author = "To Tsui and Shangru Wu and Chan, {W. K.}",

year = "2014",

month = nov,

day = "16",

doi = "10.1145/2666581.2666592",

language = "English",

isbn = "9781450332262",

pages = "49--56",

booktitle = "International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Proceedings",

publisher = "Association for Computing Machinery",

address = "United States",

note = "International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 ; Conference date: 16-11-2014",

}

Tsui, T, Wu, S & Chan, WK 2014, Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. in International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Proceedings. Association for Computing Machinery, pp. 49-56, International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014, Hong Kong, China, 16/11/14. https://doi.org/10.1145/2666581.2666592

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. / Tsui, To; Wu, Shangru; Chan, W. K.
International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Proceedings. Association for Computing Machinery, 2014. p. 49-56.

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

TY - GEN

T1 - Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

AU - Tsui, To

AU - Wu, Shangru

AU - Chan, W. K.

PY - 2014/11/16

Y1 - 2014/11/16

N2 - Many multithreaded programs incur concurrency bugs. A modified version of such a program, which the exposed concurrency bug is deemed fixed, should be subject to further testing to validate whether the concurrency bug may only be partially fixed. In this paper, we present a similarity-based regression testing methodology to address this problem. It is based on the notions of similar execution contexts of events and bug signatures. To the best of our knowledge, it also presents the first regression testing technique that manipulates thread schedules using a similarity-based active testing strategy.

AB - Many multithreaded programs incur concurrency bugs. A modified version of such a program, which the exposed concurrency bug is deemed fixed, should be subject to further testing to validate whether the concurrency bug may only be partially fixed. In this paper, we present a similarity-based regression testing methodology to address this problem. It is based on the notions of similar execution contexts of events and bug signatures. To the best of our knowledge, it also presents the first regression testing technique that manipulates thread schedules using a similarity-based active testing strategy.

KW - Active testing

KW - Concurrency bugs

KW - Debugging

KW - Execution contexts

KW - Modified versions

KW - Regression testing

KW - Similarity measure

UR - http://www.scopus.com/inward/record.url?scp=84942786828&partnerID=8YFLogxK

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-84942786828&origin=recordpage

U2 - 10.1145/2666581.2666592

DO - 10.1145/2666581.2666592

M3 - RGC 32 - Refereed conference paper (with host publication)

SN - 9781450332262

SP - 49

EP - 56

BT - International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014 - Proceedings

PB - Association for Computing Machinery

T2 - International Workshop on Innovative Software Development Methodologies and Practices, InnoSWDev 2014

Y2 - 16 November 2014

ER -

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

Abstract

Conference

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this