Efficient test case generation for detecting race conditions

被引：0
|
作者：
Setiadi, Theodorus E. [1 ]
Ohsuga, Akihiko [1 ]
Maekawa, Mamoru [1 ]
机构：
[1] Graduate School of Information Systems, University of Electro-Communications, Tokyo, Japan
来源：
IAENG International Journal of Computer Science | 2014年 / 41卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：112 / 130
相关论文
共 50 条
  • [1] Detecting race conditions in large programs
    Flanagan, C
    Freund, SN
    ACM SIGPLAN NOTICES, 2001, : 90 - 96
  • [2] Symbolic Execution - An efficient approach for test case generation
    Vengadeswaran, S.
    Geetha, K.
    2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, : 575 - 581
  • [3] Efficient Test Case Generation for Thread-Safe Classes
    Bo, Lili
    Jiang, Shujuan
    Qian, Junyan
    Wang, Rongcun
    Wang, Xingya
    IEEE ACCESS, 2019, 7 : 26984 - 26995
  • [4] An Efficient Algorithm for Pairwise Test Case Generation in Presence of Constraints
    Gao, Shiwei
    Du, Binglei
    Jiang, Yaruo
    Lv, Jianghua
    Ma, Shilong
    2014 2ND INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2014, : 406 - 410
  • [5] Efficient test case generation for validation of UML activity diagrams
    Mingsong Chen
    Prabhat Mishra
    Dhrubajyoti Kalita
    Design Automation for Embedded Systems, 2010, 14 : 105 - 130
  • [6] Efficient test case generation for validation of UML activity diagrams
    Chen, Mingsong
    Mishra, Prabhat
    Kalita, Dhrubajyoti
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2010, 14 (02) : 105 - 130
  • [7] Detecting race conditions in parallel programs that use semaphores
    Klein, PN
    Lu, HI
    Netzer, RHB
    ALGORITHMICA, 2003, 35 (04) : 321 - 345
  • [8] Detecting Race Conditions in Parallel Programs that Use Semaphores
    Algorithmica, 2003, 35 : 321 - 345
  • [9] Efficient Generation of Parametric Test Conditions for AMS Chips with an Interval Constraint Solver
    Neubauer, Felix
    Burchard, Jan
    Raiola, Pascal
    Rivoir, Jochen
    Becker, Bernd
    Sauer, Matthias
    2018 IEEE 36TH VLSI TEST SYMPOSIUM (VTS 2018), 2018,
  • [10] Efficient coverage of parallel and hierarchical stateflow models for test case generation
    Satpathy, Manoranjan
    Yeolekar, Anand
    Peranandam, Prakash
    Ramesh, S.
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (07): : 457 - 479
12345