A Primer on Property-Based Testing

被引：0
|
作者：
Koparkar, Chaitanya
机构：
来源：
XRDS: Crossroads | 2024年 / 30卷 / 02期
关键词：
D O I：
10.1145/3637466
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：40 / 41
相关论文
共 50 条
  • [21] Automatic Property-based Testing of GraphQL APIs
    Karlsson, Stefan
    Causevic, Adnan
    Sundmark, Daniel
    2021 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST (AST 2021), 2021, : 1 - 10
  • [22] Property-Based Testing by Elaborating Proof Outlines
    Miller, Dale
    Momigliano, Alberto
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024,
  • [23] Property-Based Testing: Climbing the Stairway to Verification
    Chen, Zilin
    Rizkallah, Christine
    O'Connor, Liam
    Susarla, Partha
    Klein, Gerwin
    Heiser, Gernot
    Keller, Gabriele
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2022, 2022, : 84 - 97
  • [24] From Temporal Models to Property-based Testing
    Alzahrani, Nasser
    Spichkova, Maria
    Blech, Jan Olaf
    ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 241 - 246
  • [25] Genetic Algorithms as Shrinkers in Property-Based Testing
    Lo, Fang-Yi
    Chen, Chao-Hong
    Chen, Ying-ping
    PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 291 - 292
  • [26] A property-based testing framework for encryption programs
    Sun, Chang-ai
    Wang, Zuoyi
    Wang, Guan
    FRONTIERS OF COMPUTER SCIENCE, 2014, 8 (03) : 478 - 489
  • [27] A property-based testing framework for encryption programs
    Chang-ai Sun
    Zuoyi Wang
    Guan Wang
    Frontiers of Computer Science, 2014, 8 : 478 - 489
  • [28] Validation of SDN policies: a property-based testing perspective
    Castro, Laura M.
    Paladi, Nicolae
    10TH INT CONF ON EMERGING UBIQUITOUS SYST AND PERVAS NETWORKS (EUSPN-2019) / THE 9TH INT CONF ON CURRENT AND FUTURE TRENDS OF INFORMAT AND COMMUN TECHNOLOGIES IN HEALTHCARE (ICTH-2019) / AFFILIATED WORKOPS, 2019, 160 : 23 - 29
  • [29] Automating Property-based Testing of Evolving Web Services
    Li, Huiqing
    Thompson, Simon
    Seijas, Pablo Lamela
    Angel Francisco, Miguel
    PEPM '14: PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2014, : 169 - 180
  • [30] Quickstrom: Property-Based Acceptance Testing with LTL Specifications
    O'Connor, Liam
    Wickstrom, Oskar
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 1025 - 1038
12345