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 条
  • [1] Characteristic Studies of Loop Problems for Structural Test Generation via Symbolic Execution
    Xiao, Xusheng
    Li, Sihan
    Xie, Tao
    Tillmann, Nikolai
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 246 - 256
  • [2] Test Case Generation Using Symbolic Execution
    Pattanaik, Saumendra
    Sahoo, Bidush Kumar
    Panigrahi, Chhabi Rani
    Patnaik, Binod Kumar
    Pati, Bibudhendu
    COMPUTACION Y SISTEMAS, 2022, 26 (02): : 1035 - 1044
  • [3] Lazy symbolic execution for test data generation
    Lin, M. X.
    Chen, Y. L.
    Yu, K.
    Wu, G. S.
    IET SOFTWARE, 2011, 5 (02) : 132 - 141
  • [4] Using symbolic execution to guide test generation
    Lee, G
    Morris, J
    Parker, K
    Bundell, GA
    Lam, P
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2005, 15 (01): : 41 - 61
  • [5] 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
  • [6] Scalable Test Generation by Interleaving Concrete and Symbolic Execution
    Qin, Xiaoke
    Mishra, Prabhat
    2014 27TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2014 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID 2014), 2014, : 104 - 109
  • [7] Automated Test Generation on Path-based Symbolic Execution
    Min, Zhang
    Min, Fu
    2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 845 - 848
  • [8] Test Generation via Dynamic Symbolic Execution for Mutation Testing
    Zhang, Lingming
    Xie, Tao
    Zhang, Lu
    Tillmann, Nikolai
    de Halleux, Jonathan
    Mei, Hong
    2010 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2010,
  • [9] Exhaustive Test-case Generation using Symbolic Execution
    Uehara, Tadahiro
    FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2016, 52 (01): : 34 - 40
  • [10] State of the art: Dynamic symbolic execution for automated test generation
    Chen, Ting
    Zhang, Xiao-song
    Guo, Shi-ze
    Li, Hong-yuan
    Wu, Yue
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2013, 29 (07): : 1758 - 1773
12345