Branching processes for QuickCheck generators-Reference-Cited by-同舟云学术

Branching processes for QuickCheck generators

Published:2018-09-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
language:
Short-container-title:

Author:

Mista Agustín¹,Russo Alejandro²,Hughes John²

Affiliation:

1. Universidad Nacional de Rosario, Argentina

2. Chalmers University of Technology, Sweden

Funder

Swedish Foundation for Strategic Research

Vetenskaprådet

Publisher

ACM

Link

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

Reference28 articles.

1. Adaptive random testing

2. B. Arkin S. Stender and G. McGraw. 2005. Software penetration testing. IEEE Security Privacy (2005). 10.1109/MSP.2005.23 B. Arkin S. Stender and G. McGraw. 2005. Software penetration testing. IEEE Security Privacy (2005). 10.1109/MSP.2005.23

3. Proportional sampling strategy: guidelines for software testing practitioners

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

1. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

2. Bridging the Gap between Different Programming Paradigms in Coverage-based Fault Localization;13th Asia-Pacific Symposium on Internetware;2022-06-11

3. Do Judge a Test by its Cover;Programming Languages and Systems;2021

4. Quickly generating diverse valid test inputs with reinforcement learning;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

5. Deriving compositional random generators;Proceedings of the 31st Symposium on Implementation and Application of Functional Languages;2019-09-25