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 条
  • [41] Path-oriented test data generation using symbolic execution and constraint solving techniques
    Zhang, J
    Xu, C
    Wang, XL
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 242 - 250
  • [42] An automated testing tool for Java application using symbolic execution based test case generation
    Monpratarnchai, Supasit
    Fujiwara, Shoichiro
    Katayama, Asako
    Uehara, Tadahiro
    Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2013, 2 : 93 - 98
  • [43] An Automatic Exploit Generation Method Based on Symbolic Execution
    Fang Hao
    Fen-Wenbo
    Fu-Menglin
    2018 EIGHTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC 2018), 2018, : 437 - 440
  • [44] Evaluating Symbolic Execution-based Test Tools
    Cseppento, Lajos
    Micskei, Zoltan
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [45] Research on Parallel Symbolic Execution through Program Dependence Analysis
    Cao, Yan
    Wei, Qiang
    Wang, Qingxian
    2012 FIFTH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID 2012), VOL 2, 2012, : 222 - 226
  • [46] Using symbolic execution of a parallel program to estimate its scalability
    Ivannikov, V
    Gaissaryan, S
    Avetisyan, A
    Padaryan, V
    PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1741 - 1744
  • [47] An approach to symbolic test generation
    Rusu, V
    du Bousquet, L
    Jéron, T
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 338 - 357
  • [48] An Automated Testing Tool for Java']Java Application Using Symbolic Execution based Test Case Generation
    Monpratarnchai, Supasit
    Fujiwara, Shoichiro
    Katayama, Asako
    Uehara, Tadahiro
    2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, : 93 - 98
  • [49] Non-Semantics-Preserving Transformations For Higher-Coverage Test Generation Using Symbolic Execution
    Converse, Hayes
    Olivo, Oswaldo
    Khurshid, Sarfraz
    2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 241 - 252
  • [50] A Test Case Auto Generation Algorithm Based On Sensitive Path of Program With Taint Analysis and Symbolic Execution
    Zhang, Xing
    Feng, Chao
    Zhang, Bin
    Zhang, Quan
    2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SECURITY (CSIS 2016), 2016, : 364 - 370
12345