A Primer on Property-Based Testing

被引：0
|
作者：
Koparkar, Chaitanya
机构：
来源：
XRDS: Crossroads | 2024年 / 30卷 / 02期
关键词：
D O I：
10.1145/3637466
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：40 / 41
相关论文
共 50 条
  • [1] Developments in Property-Based Testing
    Midtgaard, Jan
    PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 1 - 1
  • [2] Targeted Property-Based Testing
    Loscher, Andreas
    Sagonas, Konstantinos
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 46 - 56
  • [3] Property-Based Mutation Testing
    Bartocci, Ezio
    Mariani, Leonardo
    Nickovic, Dejan
    Yadav, Drishti
    2023 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST, 2023, : 222 - 233
  • [4] Foundational Property-Based Testing
    Paraskevopoulou, Zoe
    Hritcu, Catalin
    Denes, Maxime
    Lampropoulos, Leonidas
    Pierce, Benjamin C.
    INTERACTIVE THEOREM PROVING, 2015, 9236 : 325 - 343
  • [5] Teaching students Property-based Testing
    Earle, Clara Benac
    Fredlund, Lars-Ake
    Marino, Julio
    Arts, Thomas
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 437 - 442
  • [6] Property-Based Testing - The ProTest Project
    Derrick, John
    Walkinshaw, Neil
    Arts, Thomas
    Earle, Clara Benac
    Cesarini, Francesco
    Fredlund, Lars-Ake
    Gulias, Victor
    Hughes, John
    Thompson, Simon
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 250 - +
  • [7] Advances in Property-Based Testing for αProlog
    Cheney, James
    Momigliano, Alberto
    Pessina, Matteo
    TESTS AND PROOFS, TAP 2016, 2016, 9762 : 37 - 56
  • [8] PrologCheck - Property-Based Testing in Prolog
    Amaral, Claudio
    Florido, Mario
    Costa, Vitor Santos
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
  • [9] Property-Based Testing for Spark Streaming
    Riesco, A.
    Rodriguez-Hortala, J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (04) : 574 - 602
  • [10] Property-Based Testing of SPARQL Queries
    Almendros-Jimenez, Jesus M.
    Becerra-Teron, Antonio
    PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), 2017,
12345