Behavior-Driven Requirements Traceability via Automated Acceptance Tests | IEEE Conference Publication | IEEE Xplore