Automated Support to Capture Environment Assertions for Requirements-Based Testing | IEEE Conference Publication | IEEE Xplore