Silva, T.; Fitzgerald, B. Parsing BDD Stories for Automated Verification of Software Artefacts. eceasst 2021, 79.