Login / Signup
Speed up BDD for safety verification in agile development: a partially replicated controlled experiment.
Yang Wang
Daniel Ryan Degutis
Stefan Wagner
Published in:
XP Companion (2018)
Keyphrases
</>
agile development
pair programming
software development
software engineering
agile software development
software evolution
model checking
real world
life cycle
binary decision diagrams
web services
case study
learning environment
software architecture