Yang Wang, Daniel Ryan Degutis, Stefan Wagner 0001. Speed up BDD for safety verification in agile development: a partially replicated controlled experiment. In Ademar Aguiar, editor, Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018. ACM, 2018. [doi]
Abstract is missing.