Property-based testing
- 1 July 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 22 (4) , 74-80
- https://doi.org/10.1145/263244.263267
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Property-based testing of privileged programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- TAOS: Testing with Analysis and Oracle SupportPublished by Association for Computing Machinery (ACM) ,1994
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Constraint-based automatic test data generationIEEE Transactions on Software Engineering, 1991
- Data flow testing in STADJournal of Systems and Software, 1990
- A formal evaluation of data flow path selection criteriaIEEE Transactions on Software Engineering, 1989
- Crisis and aftermathCommunications of the ACM, 1989
- Selecting Software Test Data Using Data Flow InformationIEEE Transactions on Software Engineering, 1985
- On Required Element TestingIEEE Transactions on Software Engineering, 1984
- Program SlicingIEEE Transactions on Software Engineering, 1984