Combinatorial Testing for VDM. Larsen, P. G., Lausdahl, K., & Battle, N. In Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods, of SEFM '10, pages 278–285, Washington, DC, USA, September, 2010. IEEE Computer Society. ISBN 978-0-7695-4153-2
Combinatorial Testing for VDM [link]Paper  bibtex   
@inproceedings{Larsen&10c,
  address =       {Washington, DC, USA},
  author =        {Peter Gorm Larsen and Kenneth Lausdahl and
                   Nick Battle},
  booktitle =     {Proceedings of the 2010 8th IEEE International
                   Conference on Software Engineering and Formal
                   Methods},
  key =           {Larsen\&10},
  month =         {September},
  note =          {{ISBN 978-0-7695-4153-2}},
  pages =         {278--285},
  publisher =     {IEEE Computer Society},
  series =        {SEFM '10},
  title =         {{Combinatorial Testing for VDM}},
  year =          {2010},
  url =           {http://dx.doi.org/10.1109/SEFM.2010.32},
}
Downloads: 0