SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing

被引：0
|
作者：
Molina, Facundo [1 ]
D'Amorim, Marcelo [2 ]
Aguirre, Nazareno [3 ]
机构：
[1] Imdea Software Institute, Madrid, Spain
[2] North Carolina State University, Raleigh, United States
[3] University of Rio Cuarto, Conicet, Rio Cuarto, Argentina
来源：
Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023 | 2023年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
HTTP - Object oriented programming - Program debugging - Software testing
引用
收藏
页码：2094 / 2097
相关论文
共 31 条
  • [1] SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing
    Molina, Facundo
    d'Amorim, Marcelo
    Aguirre, Nazareno
    [J]. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 2094 - 2097
  • [2] Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols
    Jero, Samuel
    Pacheco, Maria Leonor
    Goldwasser, Dan
    Nita-Rotaru, Cristina
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 9478 - 9483
  • [3] Grammar-based Fuzzing
    Sargsyan, Sevak
    Kurmangaleev, Shamil
    Mehrabyan, Matevos
    Mishechkin, Maksim
    Ghukasyan, Tsolak
    Asryan, Sergey
    [J]. 2018 IVANNIKOV MEMORIAL WORKSHOP (IVMEM 2018), 2018, : 32 - 35
  • [4] Grammar-based Whitebox Fuzzing
    Godefroid, Patrice
    Kiezun, Adam
    Levin, Michael Y.
    [J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 206 - +
  • [5] Grammar-based whitebox fuzzing
    Godefroid, Patrice
    Kiezun, Adam
    Levin, Michael Y.
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (06) : 206 - 215
  • [6] Bottleneck Analysis via Grammar-based Performance Fuzzing
    Koroglu, Yavuz
    Wotawa, Franz
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, 2023, : 180 - 185
  • [7] Grammar-based Fuzzing Tool Using Markov Chain Model to Generate New Fuzzing Inputs
    Al Salem, Hamad
    Song, Jia
    [J]. 2021 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI 2021), 2021, : 1924 - 1930
  • [8] Grammar-based Adaptive Fuzzing: Evaluation on SCADA Modbus Protocol
    Yoo, Hyunguk
    Shon, Taeshik
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS (SMARTGRIDCOMM), 2016,
  • [9] TREELINE and SLACKLINE: Grammar-Based Performance Fuzzing on Coffee Break
    Alsaeed, Ziyad
    Young, Michal
    [J]. PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1507 - 1510
  • [10] Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing
    Marmsoler, Diego
    Brucker, Achim D.
    [J]. TESTS AND PROOFS (TAP 2022), 2022, 13361 : 106 - 125
1234