A Primer on Property-Based Testing

被引：0
|
作者：
Koparkar, Chaitanya
机构：
来源：
XRDS: Crossroads | 2024年 / 30卷 / 02期
关键词：
D O I：
10.1145/3637466
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：40 / 41
相关论文
共 50 条
  • [41] Feasibility of Property-Based Testing for Time-Dependent Systems
    Lopez, Macias
    Castro, Laura M.
    Cabrero, David
    COMPUTER AIDED SYSTEMS THEORY, PT II, 2013, 8112 : 527 - 535
  • [42] Towards Integrating Statistical Model Checking into Property-Based Testing
    Aichernig, Bernhard K.
    Schumi, Richard
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 71 - 76
  • [43] ETNA: An Evaluation Platform for Property-Based Testing (Experience Report)
    Shi, Jessica
    Keles, Alperen
    Goldstein, Harrison
    Pierce, Benjamin C.
    Lampropoulos, Leonidas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (ICFP):
  • [44] A PropEr Integration of Types and Function Specifications with Property-Based Testing
    Papadakis, Manolis
    Sagonas, Konstantinos
    ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 2011, : 39 - 50
  • [45] Delta Debugging for Property-Based Regression Testing of Quantum Programs
    Pontolillo, Gabriel
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 2024 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING, Q-SE 2024, 2024, : 1 - 8
  • [46] Validating Formal Semantics by Property-Based Cross-Testing
    Bereczky, Peter
    Horpacsi, Daniel
    Koszegi, Judit
    Szeier, Soma
    Thompson, Simon
    PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 150 - 161
  • [47] A Property-based Testing Framework for Multi-Agent Systems
    Benac Earle, Clara
    Fredlund, Lars-Ake
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 1823 - 1825
  • [48] Automatic property-based testing and path validation of XQuery programs
    Almendros-Jimenez, Jesus M.
    Becerra-Teron, Antonio
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2017, 27 (1-2): : 1 - 2
  • [49] Automated Property-Based Testing from AADL Component Contracts
    Hatcliff, John
    Belt, Jason
    Robby
    Legg, Jacob
    Stewart, Danielle
    Carpenter, Todd
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2023, 2023, 14290 : 131 - 150
  • [50] Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service
    Hughes, John
    Pierce, Benjamin C.
    Arts, Thomas
    Norell, Ulf
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 135 - 145
12345