Concolic testing in logic programming

被引：7
|
作者：
Mesnard, Fred [1 ]
Payet, Etienne [1 ]
Vidal, German [2 ]
机构：
[1] LIM Univ Reunion, Paris, France
[2] Univ Politecn Valencia, DSIC, MiST, E-46022 Valencia, Spain
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2015年 / 15卷
关键词：
Symbolic execution; logic programming; testing; EXECUTION;
D O I：
10.1017/S1471068415000332
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic execution. Our approach is fully automatic and guarantees full path coverage when it terminates. We prove some basic properties of our technique and illustrate its practical usefulness through a prototype implementation.
引用
收藏
页码：711 / 725
页数：15
相关论文
共 50 条
  • [31] Concolic Testing of Front-end JavaScript
    Li, Zhe
    Xie, Fei
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13991 LNCS : 67 - 87
  • [32] In-Situ Concolic Testing of Java']JavaScript
    Li, Zhe
    Xie, Fei
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING, SANER, 2023, : 236 - 247
  • [33] LEGION: Best-First Concolic Testing
    Liu, Dongge
    Ernst, Gidon
    Murray, Toby
    Rubinstein, Benjamin I. P.
    [J]. 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 54 - 65
  • [34] A Case Study of Concolic Testing Tools and Their Limitations
    Qu, Xiao
    Robinson, Brian
    [J]. 2011 FIFTH INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2011), 2011, : 117 - 126
  • [35] Structural Concolic Testing for Sequential Function Chart
    Simon, Hendrik
    Triefenbach, Lucas
    Kowalewski, Stefan
    [J]. IFAC PAPERSONLINE, 2018, 51 (07): : 422 - 427
  • [36] Concolic Testing with Adaptively Changing Search Heuristics
    Cha, Sooyoung
    Oh, Hakjoo
    [J]. 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, : 235 - 245
  • [37] Programming in logic without logic programming
    Kowalski, Robert
    Sadri, Fariba
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
  • [38] Logic programming and constraint logic programming
    Cohen, J
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
  • [39] Testing concolic execution through consistency checks☆
    Coppa, Emilio
    Izzillo, Alessio
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 211
  • [40] Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER
    Musliner, David J.
    Rye, Jeffrey M.
    Marble, Tom
    [J]. 2012 IEEE SIXTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2012, : 9 - 14
12345