Lightweight Automated Testing with Adaptation-Based Programming | IEEE Conference Publication | IEEE Xplore