Concolic Testing and Constraint Satisfaction

被引：0
|
作者：
Sen, Koushik [1 ]
机构：
[1] Univ Calif Berkeley, Dept EECS, Berkeley, CA 94720 USA
来源：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011 | 2011年 / 6695卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：3 / 4
页数：2
相关论文
共 50 条
  • [1] Testing Assignments to Constraint Satisfaction Problems
    Chen, Hubie
    Valeriote, Matt
    Yoshida, Yuichi
    [J]. 2016 IEEE 57TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2016, : 525 - 534
  • [2] Concolic Testing in CLP
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 671 - 686
  • [3] Hybrid concolic testing
    Majumdar, Rupak
    Sen, Koushik
    [J]. ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 416 - +
  • [4] Concolic testing for functional languages
    Giantsios, Aggelos
    Papaspyrou, Nikolaos
    Sagonas, Konstantinos
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2017, 147 : 109 - 134
  • [5] Concolic testing in logic programming
    Mesnard, Fred
    Payet, Etienne
    Vidal, German
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 711 - 725
  • [6] Towards Optimal Concolic Testing
    Wang, Xinyu
    Sun, Jun
    Chen, Zhenbang
    Zhang, Peixin
    Wang, Jingyi
    Lin, Yun
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, : 291 - 302
  • [7] Concolic Testing of SystemC Designs
    Lin, Bin
    Cong, Kai
    Yang, Zhenkun
    Liao, Zhigang
    Zhan, Tao
    Havlicek, Christopher
    Xie, Fei
    [J]. 2018 19TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2018, : 1 - 7
  • [8] Concolic Testing for Functional Languages
    Giantsios, Aggelos
    Papaspyrou, Nikolaos
    Sagonas, Konstantinos
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 137 - 148
  • [9] Challenges and Opportunities with Concolic Testing
    Kannavara, Raghudeep
    Havlicek, Christopher J.
    Chen, Bo
    Tuttle, Mark R.
    Cong, Kai
    Ray, Sandip
    Xie, Fei
    [J]. PROCEEDINGS OF THE 2015 IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE (NAECON), 2015, : 374 - 378
  • [10] Towards Concolic Testing for Hybrid Systems
    Kong, Pingfan
    Li, Yi
    Chen, Xiaohong
    Sun, Jun
    Sun, Meng
    Wang, Jingyi
    [J]. FM 2016: FORMAL METHODS, 2016, 9995 : 460 - 478
12345