Silva, Thiago, and Brian Fitzgerald. “Parsing BDD Stories for Automated Verification of Software Artefacts”. Electronic Communications of the EASST, vol. 79, May 2021, doi:10.14279/tuj.eceasst.79.1119.