Grammar-based whitebox fuzzing

被引：0
|
作者：
Microsoft Research, Redmond, WA, United States [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
ACM SIGPLAN Not. | / 6卷 / 206-215期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Software testing
引用
收藏
相关论文
共 50 条
  • [31] Grammar-based argument construction
    Sprado, Joern
    Gottfried, Bjoern
    KNOWLEDGE - BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2008, 5177 : 330 - 340
  • [32] Improved Grammar-Based Compressed Indexes
    Claude, Francisco
    Navarro, Gonzalo
    STRING PROCESSING AND INFORMATION RETRIEVAL: 19TH INTERNATIONAL SYMPOSIUM, SPIRE 2012, 2012, 7608 : 180 - 192
  • [33] Grammar-Based Compression of Unranked Trees
    Gascon, Adria
    Lohrey, Markus
    Maneth, Sebastian
    Reh, Carl Philipp
    Siebert, Kurt
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2018, 2018, 10846 : 118 - 131
  • [34] Grammar-based Automatic Extraction of Definitions
    Iftene, Adrian
    Pistol, Ionut
    Trandabat, Diana
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 110 - 115
  • [35] Grammar-Based String Refinement Types
    Zhu, Fengmin
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION, 2023, : 267 - 269
  • [36] A Grammar-Based Framework for Rehabilitation Exergames
    Fernandez-Cervantes, Victor
    Stroulia, Eleni
    Hunter, Benjamin
    ENTERTAINMENT COMPUTING - ICEC 2016, 2016, 9926 : 38 - 50
  • [37] Astraea: Grammar-Based Fairness Testing
    Soremekun, Ezekiel
    Udeshi, Sakshi
    Chattopadhyay, Sudipta
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (12) : 5188 - 5211
  • [38] Grammar-based Tree Swarm Optimization
    Grinan, David
    Ibias, Alfredo
    Nunez, Manuel
    2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 76 - 81
  • [39] Grammar-based geodesics in semantic networks
    Rodriguez, Marko A.
    Watkins, Jennifer H.
    KNOWLEDGE-BASED SYSTEMS, 2010, 23 (08) : 844 - 855
  • [40] Grammar-Based Compression of Unranked Trees
    Gascon, Adria
    Lohrey, Markus
    Maneth, Sebastian
    Reh, Carl Philipp
    Sieber, Kurt
    THEORY OF COMPUTING SYSTEMS, 2020, 64 (01) : 141 - 176
12345