Property-Based Testing: Climbing the Stairway to Verification-Reference-Cited by-同舟云学术

Property-Based Testing: Climbing the Stairway to Verification

Published:2022-11-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Chen Zilin¹,Rizkallah Christine²,O'Connor Liam³,Susarla Partha⁴,Klein Gerwin⁵,Heiser Gernot¹,Keller Gabriele⁶

Affiliation:

1. UNSW, Australia

2. University of Melbourne, Australia

3. University of Edinburgh, UK

4. Independent, Australia

5. Proofcraft, Australia / UNSW, Australia

6. Utrecht University, Netherlands

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3567512.3567520

Reference66 articles.

1. 2022. ACL2. http://www.cs.utexas.edu/users/moore/acl2/ 2022. ACL2. http://www.cs.utexas.edu/users/moore/acl2/

2. AdaCore. 2022. SPARK Pro. https://www.adacore.com/sparkpro/ AdaCore. 2022. SPARK Pro. https://www.adacore.com/sparkpro/

3. Sidney Amani . 2016. A Methodology for Trustworthy File Systems. CSE , UNSW. Sydney, Australia . Sidney Amani. 2016. A Methodology for Trustworthy File Systems. CSE, UNSW. Sydney, Australia.

4. Cogent

5. Specifying a Realistic File System

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Type-Level Property Based Testing;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28

2. How Developers Implement Property-Based Tests;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01

3. Dargent: A Silver Bullet for Verified Data Layout Refinement;Proceedings of the ACM on Programming Languages;2023-01-09