@INPROCEEDINGS{Larsen&09a,
  KEY           = "Larsen\&09",
  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle",
  TITLE         = "{Combinatorial Testing for VDM++}",
  BOOKTITLE     = "Submitted for publication",
  YEAR          = "2009",
  MONTH         = "December",
  NOTE          = "Outdated by \cite{Larsen&10c}",
  ANNOTE        = "",
  COMMENT       = "Outdated by \cite{Larsen&10c}"}

{"_id":{"_str":"53b6a8ce7cc42ee75e00020c"},"__v":0,"authorIDs":[],"author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N."],"bibbaseid":"larsen-lausdahl-battle-combinatorialtestingforvdm-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Larsen&09a","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"title":"Combinatorial Testing for VDM++","booktitle":"Submitted for publication","year":"2009","month":"December","note":"Outdated by i̧teLarsen&10c","annote":"","comment":"Outdated by i̧teLarsen&10c","bibtex":"@INPROCEEDINGS{Larsen&09a,\n KEY = \"Larsen\\&09\",\n AUTHOR = \"Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle\",\n TITLE = \"{Combinatorial Testing for VDM++}\",\n BOOKTITLE = \"Submitted for publication\",\n YEAR = \"2009\",\n MONTH = \"December\",\n NOTE = \"Outdated by \\cite{Larsen&10c}\",\n ANNOTE = \"\",\n COMMENT = \"Outdated by \\cite{Larsen&10c}\"}\n \n","author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N."],"id":"Larsen&09a","bibbaseid":"larsen-lausdahl-battle-combinatorialtestingforvdm-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://lausdahl.github.io/overturetool.github.io/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.542Z","downloads":0,"keywords":[],"search_terms":["combinatorial","testing","vdm","larsen","lausdahl","battle"],"title":"Combinatorial Testing for VDM++","year":2009,"dataSources":["Ry4ofsSkWAkHhY8ov"]}