Parallel symbolic execution for structural test generation

被引：0
|
作者：
Dept. of Computer Science and Eng., University of Minnesota, United States [1 ]
不详 [2 ]
机构：
来源：
ISSTA - Proc. Int. Symp. Softw. Test. Anal. | / 183-193期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [31] ATGen: automatic test data generation using constraint logic programming and symbolic execution
    Meudec, C
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (02): : 81 - 96
  • [32] Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
    Ming-Zhe Zhang
    Yun-Zhan Gong
    Ya-Wen Wang
    Da-Hai Jin
    Journal of Computer Science and Technology, 2019, 34 : 670 - 689
  • [33] Using Test Ranges to Improve Symbolic Execution
    Qiu, Rui
    Khurshid, Sarfraz
    Pasareanu, Corina S.
    Wen, Junye
    Yang, Guowei
    NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 416 - 434
  • [34] Symbolic execution techniques for test purpose definition
    Gaston, Christophe
    Le Gall, Pascale
    Rapin, Nicolas
    Touil, Assia
    TESTING OF COMMUNICATION SYSTEMS, PROCEEDINGS, 2006, 3964 : 1 - 18
  • [35] Symbolic Execution-Driven Extraction of the Parallel Execution Plans of Spark Applications
    Baresi, Luciano
    Denaro, Giovanni
    Quattrocchi, Giovanni
    ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 246 - 256
  • [36] LLSC: A Parallel Symbolic Execution Compiler for LLVM IR
    Wei, Guannan
    Tan, Shangyin
    Bracevac, Oliver
    Rompf, Tiark
    PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21), 2021, : 1495 - 1499
  • [37] Tuning parallel symbolic execution engine for better performance
    Karna, Anil Kumar
    Du, Jinbo
    Shen, Haihao
    Zhong, Hao
    Gong, Jiong
    Yu, Haibo
    Ma, Xiangning
    Zhao, Jianjun
    FRONTIERS OF COMPUTER SCIENCE, 2018, 12 (01) : 86 - 100
  • [38] Tuning parallel symbolic execution engine for better performance
    Anil Kumar Karna
    Jinbo Du
    Haihao Shen
    Hao Zhong
    Jiong Gong
    Haibo Yu
    Xiangning Ma
    Jianjun Zhao
    Frontiers of Computer Science, 2018, 12 : 86 - 100
  • [39] Efficient and Scalable Graph Parallel Processing With Symbolic Execution
    Zheng, Long
    Liao, Xiaofei
    Jin, Hai
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2018, 15 (01)
  • [40] Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
    Pham, Long H.
    Le, Quang Loc
    Phan, Quoc-Sang
    Sun, Jun
    Qin, Shengchao
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 209 - 227
12345