Behaviour Driven Development for Tests and Verification

Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler. Behaviour Driven Development for Tests and Verification. In Martina Seidl, Nikolai Tillmann, editors, Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings. Volume 8570 of Lecture Notes in Computer Science, pages 61-77, Springer, 2014. [doi]

@inproceedings{DiepenbeckKSD14,
  title = {Behaviour Driven Development for Tests and Verification},
  author = {Melanie Diepenbeck and Ulrich Kühne and Mathias Soeken and Rolf Drechsler},
  year = {2014},
  doi = {10.1007/978-3-319-09099-3_5},
  url = {http://dx.doi.org/10.1007/978-3-319-09099-3_5},
  researchr = {https://researchr.org/publication/DiepenbeckKSD14},
  cites = {0},
  citedby = {0},
  pages = {61-77},
  booktitle = {Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings},
  editor = {Martina Seidl and Nikolai Tillmann},
  volume = {8570},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-09098-6},
}