A Primer on Property-Based Testing

被引：0
|
作者：
Koparkar, Chaitanya
机构：
来源：
XRDS: Crossroads | 2024年 / 30卷 / 02期
关键词：
D O I：
10.1145/3637466
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：40 / 41
相关论文
共 50 条
  • [31] Shrinking Counterexamples in Property-Based Testing with Genetic Algorithms
    Lo, Fang-Yi
    Chen, Chao-Hong
    Chen, Ying-ping
    2020 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2020,
  • [32] Property-Based Testing and Debugging of Quantum Programs (Keynote)
    Mousavi, Mohammad Reza
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 117 - 117
  • [33] Specification testing of agent-based simulation using property-based testing
    Jonathan Thaler
    Peer-Olaf Siebers
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [34] TYCHE: Making Sense of Property-Based Testing Efectiveness
    Goldstein, Harrison
    Tao, Jeffrey
    Hatfield-Dodds, Zac
    Pierce, Benjamin C.
    Head, Andrew
    PROCEEDINGS OF THE 37TH ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY, USIT 2024, 2024,
  • [35] Specification testing of agent-based simulation using property-based testing
    Thaler, Jonathan
    Siebers, Peer-Olaf
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [36] Property-based Testing of JSON']JSON based Web Services
    Fredlund, Lars-Ake
    Herranz, Angel
    Benac Earle, Clara
    Marino, Julio
    2014 IEEE 21ST INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2014), 2014, : 704 - 707
  • [37] MAKING PROPERTY-BASED TESTING EASIER TO READ FOR HUMANS
    Castro, Laura M.
    Lamela, Pablo
    Thompson, Simon
    COMPUTING AND INFORMATICS, 2016, 35 (04) : 890 - 913
  • [38] Statistical Model Checking Meets Property-Based Testing
    Aichernig, Bernhard K.
    Schumi, Richard
    2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017, : 390 - 400
  • [39] Failing Faster: Overlapping Patterns for Property-Based Testing
    Fowler, Jonathan
    Hutton, Graham
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2017), 2017, 10137 : 103 - 119
  • [40] Property-Based Testing of Browser Rendering Engines with a Consensus Oracle
    Martin, Joel
    Levine, David
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2018), VOL 2, 2018, : 424 - 429
12345