Silva, T. and Fitzgerald, B. (2021) “Parsing BDD Stories for Automated Verification of Software Artefacts”, Electronic Communications of the EASST, 79. doi: 10.14279/tuj.eceasst.79.1119.