Property-Based Testing in Practice.

Harrison Goldstein Joseph W. Cutler Daniel Dickstein Benjamin C. Pierce Andrew Head

Published in: ICSE (2024)

Keyphrases

case study
trade off
evolutionary algorithm
desirable properties
real world
image segmentation
expert systems
artificial neural networks
mobile devices
mobile robot