Specifying linked data structures in JML for combining formal verification and testing

Journal Article

Author(s):Christoph Gladisch and Shmuel Tyszberowicz
Journal:Science of Computer Programming
Volume:107–108
Year:2015
Pages:19-40
DOI:10.1016/j.scico.2015.02.005

Note

Selected Papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)

BibTeX

@article{Gladisch201519,
  title   = {Specifying linked data structures in \{JML\} for combining formal verification and testing},
  journal = {Science of Computer Programming},
  volume  = {107–108},
  pages   = {19 - 40},
  year    = {2015},
  month   = feb,
  note    = {Selected Papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)},
  doi     = {10.1016/j.scico.2015.02.005},
  author  = {Christoph Gladisch and Shmuel Tyszberowicz}
}