Using TOBIAS for the automatic generation of VDM test cases. Maury, O., Ledru, Y., Bontron, P., & du Bousquet, L. In Third VDM Workshop (in conjunction with FME2002), Copenhagen, Danemark, 2002. 15 pages
bibtex   
@inproceedings{ maury_using_2002,
  address = {Copenhagen, Danemark},
  title = {Using {TOBIAS} for the automatic generation of {VDM} test cases},
  booktitle = {Third {VDM} {Workshop} (in conjunction with {FME}2002)},
  author = {Maury, Olivier and Ledru, Yves and Bontron, Pierre and du Bousquet, Lydie},
  year = {2002},
  note = {15 pages}
}

Downloads: 0