[1]
T. Silva and B. Fitzgerald, “Parsing BDD Stories for Automated Verification of Software Artefacts”,
ECEASST
, vol. 79, May 2021.