Combinatorial Testing for VDM

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

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

{"_id":{"_str":"51f5e029a57e92543f000584"},"__v":31,"authorIDs":["3KfERZfjKGcWKBnsY","3xKKvaQP3SCr9iaij","4ZGdnfrz8CmYsYeWa","5458a974b43425b772000187","5deaa24003c11ade01000033","5decfc353d02efdf010000a5","5dfb8e1c749b8bde0100002e","5e0ce1e26762d1de01000145","5e14416712768ef301000118","5e14677a0467fede01000095","5e1934e686b4aade01000008","5e1a3b7e3a430ede01000073","5e1ac9c5ff975cf201000092","5e1adc695f3d2cdf01000023","5e1bb8cb61cb16df010000e2","5e269b26f3bb7ddf01000001","5e2da43e732e89de01000007","5e445a92df3c2af301000193","5e52ac666a3abede01000026","5e55ab6f7d0846de0100009f","5e5629db05e404e401000197","5e5fb31119c3fade0100018f","5e600e3d13e3aede01000204","5e62ab2208ebcade0100016b","5e646fd3e1ac00de010000c0","5rCJDxakFezcBjMh7","7tTMW2Ag7kzYnDjv9","7zvcGWi8vmEXwgr4z","8Zw2rNCBuJK7MsBgj","8eotCSzZZ2kmeD3GY","8ni6FsXPD3wYBMeHw","Dc34oECBHyEwpv7mF","F7MYvy83ixrCWnduX","FjgQ2oyfaAjjLarzd","HAf2bQQMBfPw4PscJ","KeECrTRLiCrYPoyb5","MpYWLFiPQr4AB8Di7","NtxQ9SSTQrELYyARd","QDxjGbzzz8ieD9DDR","QTMj2jsKMSS8DPnui","RuqboAEC8viueLPs5","SHYGdZ6qizeXHx7Ki","TPRQJJi9cLqKrn2ZD","ZJc2RcS8ZkLmDjaoW","ZPzGDgZxZSzhXERzp","Zf4X8SYM6RCmADxfj","ZzQj6vCdfvELyPjgj","bzunJEvhSCePprnRD","dn3QGKKFGBamh6kvA","eRAztJSJSes5m4aeA","exMbRrbm8dtBzw6PL","ka9xuGki2xtZkwrGS","mKutoobkwgyNn8XWT","maQMWqAygyxv8j6QD","pAME5vNJ7b7XfhtbB","q8A2nn9imQhk49Z8z","qHLxzPFCKE7mD5oKK","so8G66cEiQZa9KniD","systYuKbnJxuFaX34","toxJQ8Rgt7cak46Zb","ukAZCLawgKmFHn7X8","wYAtgTYNnmh723Q3D","yvAZGrAMBEvZdn2xz"],"author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N."],"bibbaseid":"larsen-lausdahl-battle-combinatorialtestingforvdm-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Washington, DC, USA","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"booktitle":"Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods","key":"Larsen&10c","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","bibtex":"@inproceedings{Larsen&10c,\r\n address = {Washington, DC, USA},\r\n author = {Peter Gorm Larsen and Kenneth Lausdahl and\r\n Nick Battle},\r\n booktitle = {Proceedings of the 2010 8th IEEE International\r\n Conference on Software Engineering and Formal\r\n Methods},\r\n key = {Larsen\\&10},\r\n month = {September},\r\n note = {{ISBN 978-0-7695-4153-2}},\r\n pages = {278--285},\r\n publisher = {IEEE Computer Society},\r\n series = {SEFM '10},\r\n title = {{Combinatorial Testing for VDM}},\r\n year = {2010},\r\n url = {http://dx.doi.org/10.1109/SEFM.2010.32},\r\n}\r\n\r\n\r\n","author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N."],"id":"Larsen&10c","bibbaseid":"larsen-lausdahl-battle-combinatorialtestingforvdm-2010","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/SEFM.2010.32"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","downloads":0,"keywords":[],"search_terms":["combinatorial","testing","vdm","larsen","lausdahl","battle"],"title":"Combinatorial Testing for VDM","title_words":["combinatorial","testing","vdm"],"year":2010,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","maALzmZwmtEEh8pXx"]}