Automated, Targeted Testing of Property-Based Testing Predicates
Context This work is based on property-based testing (pbt). pbt is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstract area of formal methods. Specifically, we focus on students learning pbt methods. Inquiry How well do students do at pb...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |