Extrapolate-Reference-Cited by-同舟云学术

Extrapolate

Published:2017-08-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages
language:
Short-container-title:

Author:

Braquehais Rudy¹,Runciman Colin¹

Affiliation:

1. University of York, UK

Publisher

ACM

Link

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

Reference37 articles.

1. Testing telecoms software with quviq QuickCheck

2. Rudy Braquehais. 2015--2017. LeanCheck. https://github.com/rudymatela/leancheck. (2015--2017). Rudy Braquehais. 2015--2017. LeanCheck. https://github.com/rudymatela/leancheck. (2015--2017).

3. Rudy Braquehais. 2016--2017. LeanCheck's Documentation. https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html. (2016--2017). Rudy Braquehais. 2016--2017. LeanCheck's Documentation. https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html. (2016--2017).

4. Rudy Braquehais and Colin Runciman. 2016. FitSpec: refining property sets for functional testing. In Haskell'16. ACM 1--12. 10.1145/2976002.2976003 Rudy Braquehais and Colin Runciman. 2016. FitSpec: refining property sets for functional testing. In Haskell'16. ACM 1--12. 10.1145/2976002.2976003

5. Rudy Braquehais and Colin Runciman. 2017. Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In Haskell'17. ACM 40--51. 10.1145/3122955.3122961 Rudy Braquehais and Colin Runciman. 2017. Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In Haskell'17. ACM 40--51. 10.1145/3122955.3122961

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

1. PPR: Pairwise Program Reduction;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Express: applications of dynamically typed Haskell expressions;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18

3. Input Algebras;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05