Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection

Jialin Yang; W. K. Chan

doi:10.1109/COMPSAC.2016.102

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection

Jialin Yang
, W. K. Chan^*

^*Corresponding author for this work

Department of Computer Science

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

Abstract

Projection are two fundamental strategies to handle complex situations. In this paper, we report our ongoing project on concurrency bugs detection with a focus on these two strategies applied to handle new issues in the test adequacy and test oracle problems encountered.

Original language	English
Title of host publication	Proceedings - International Computer Software and Applications Conference
Publisher	IEEE Computer Society
Pages	600-601
Volume	2
ISBN (Print)	9781467388450
DOIs	https://doi.org/10.1109/COMPSAC.2016.102
Publication status	Published - 24 Aug 2016
Event	2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016 - Atlanta, United States Duration: 10 Jun 2016 → 14 Jun 2016

Publication series

Name
Volume	2
ISSN (Print)	0730-3157

Conference

Conference	2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016
Place	United States
City	Atlanta
Period	10/06/16 → 14/06/16

Research Keywords

abstraction
concurrency bug
multitthreaded program
projection
test adequcy
test oracle
testing

Access Output

10.1109/COMPSAC.2016.102

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{865eaf8aad3a4001a5277ddc513c8197,

title = "Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection",

abstract = "Projection are two fundamental strategies to handle complex situations. In this paper, we report our ongoing project on concurrency bugs detection with a focus on these two strategies applied to handle new issues in the test adequacy and test oracle problems encountered.",

keywords = "abstraction, concurrency bug, multitthreaded program, projection, test adequcy, test oracle, testing",

author = "Jialin Yang and Chan, \{W. K.\}",

year = "2016",

month = aug,

day = "24",

doi = "10.1109/COMPSAC.2016.102",

language = "English",

isbn = "9781467388450",

volume = "2",

publisher = "IEEE Computer Society",

pages = "600--601",

booktitle = "Proceedings - International Computer Software and Applications Conference",

address = "United States",

note = "2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016 ; Conference date: 10-06-2016 Through 14-06-2016",

}

Yang, J & Chan, WK 2016, Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection. in Proceedings - International Computer Software and Applications Conference. vol. 2, 7552282, IEEE Computer Society, pp. 600-601, 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016, Atlanta, United States, 10/06/16. https://doi.org/10.1109/COMPSAC.2016.102

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection. / Yang, Jialin ; Chan, W. K.
Proceedings - International Computer Software and Applications Conference. Vol. 2 IEEE Computer Society, 2016. p. 600-601 7552282.

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

TY - GEN

T1 - Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection

AU - Yang, Jialin

AU - Chan, W. K.

PY - 2016/8/24

Y1 - 2016/8/24

N2 - Projection are two fundamental strategies to handle complex situations. In this paper, we report our ongoing project on concurrency bugs detection with a focus on these two strategies applied to handle new issues in the test adequacy and test oracle problems encountered.

AB - Projection are two fundamental strategies to handle complex situations. In this paper, we report our ongoing project on concurrency bugs detection with a focus on these two strategies applied to handle new issues in the test adequacy and test oracle problems encountered.

KW - abstraction

KW - concurrency bug

KW - multitthreaded program

KW - projection

KW - test adequcy

KW - test oracle

KW - testing

UR - https://www.scopus.com/pages/publications/84988038852

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

U2 - 10.1109/COMPSAC.2016.102

DO - 10.1109/COMPSAC.2016.102

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

SN - 9781467388450

VL - 2

SP - 600

EP - 601

BT - Proceedings - International Computer Software and Applications Conference

PB - IEEE Computer Society

T2 - 2016 IEEE 40th Annual Computer Software and Applications Conference, COMPSAC 2016

Y2 - 10 June 2016 through 14 June 2016

ER -

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection

Abstract

Publication series

Conference

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this