The Cogent Case for Property-Based Testing-Reference-Cited by-同舟云学术

The Cogent Case for Property-Based Testing

Published:2017-10-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th Workshop on Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Chen Zilin¹,O'Connor Liam¹,Keller Gabriele¹,Klein Gerwin¹,Heiser Gernot¹

Affiliation:

1. Data61 and UNSW, Australia

Publisher

ACM

Link

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

Reference33 articles.

1. Sidney Amani. 2016. A Methodology for Trustworthy File Systems. PhD Thesis. CSE UNSW Sydney Australia. Sidney Amani. 2016. A Methodology for Trustworthy File Systems. PhD Thesis. CSE UNSW Sydney Australia.

2. Cogent

3. Specifying a Realistic File System

4. Testing AUTOSAR software with QuickCheck

5. Jean-Philippe Bernardy Mathieu Bosepflug Ryan R. Newton Simon Peyton Jones and Arnaud Spiwack. 2017. Retrofitting Linear Types. (2017). https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf. Jean-Philippe Bernardy Mathieu Bosepflug Ryan R. Newton Simon Peyton Jones and Arnaud Spiwack. 2017. Retrofitting Linear Types. (2017). https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf.

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

1. Cerberus;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07

2. Quickstrom: property-based acceptance testing with LTL specifications;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

3. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021