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 |