Property-based testing-Reference-Cited by-同舟云学术

Property-based testing

Published:1997-07 Issue:4 Volume:22 Page:74-80
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Fink George¹,Bishop Matt¹

Affiliation:

1. Department of Computer Science, University of California, Davis

Abstract

The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of specified generic flaws. Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test executions for correctness and completeness.

Publisher

Association for Computing Machinery (ACM)

Link

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

Reference20 articles.

1. {CER} CERT advisory CA-88:01.ftpd.hole. {CER} CERT advisory CA-88:01.ftpd.hole.

2. A formal evaluation of data flow path selection criteria

3. {CRS96} Juei Chang Debra J. Richardson and Sriram Sankar. Structural specification-based testing with ADL. Submitted to ISSTA 1996 as a Regular Paper 1996. {CRS96} Juei Chang Debra J. Richardson and Sriram Sankar. Structural specification-based testing with ADL. Submitted to ISSTA 1996 as a Regular Paper 1996.

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

1. Modeling Erlang Compiler IR as SMT Formulas;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28

2. Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10

3. Automated Infrastructure as Code Program Testing;IEEE Transactions on Software Engineering;2024-06

4. Research Report: Not All Move Specifications Are Created Equal : A Case Study on the Formally Verified Diem Payment Network;2024 IEEE Security and Privacy Workshops (SPW);2024-05-23

5. An empirical study on metamorphic testing for recommender systems;Information and Software Technology;2024-05