@inproceedings{ grasland_home_2011,
  address = {Paris, France},
  title = {Home {Automation} {Systems} {Testing} : {A} {Coverage} {Measure} for {Hybrid} {Automata}},
  shorttitle = {Home {Automation} {Systems} {Testing}},
  booktitle = {Short paper proceedings of the 23rd {IFIP} {Int}. {Conference} on {Testing} {Software} and {Systems} ({ICTSS}'2011)},
  author = {Grasland, Yves and du Bousquet, Lydie and Groz, Roland and Parissis, Ioannis},
  editor = {Wolff, Burkhart and Zaidi, Fatiha},
  month = {November},
  year = {2011},
  note = {00000},
  pages = {5--12}
}

{"_id":"p5vzJL4fjZhJ89e5X","authorIDs":[],"author_short":["Grasland, Y.","du<nbsp>Bousquet, L.","Groz, R.","Parissis, I."],"bibbaseid":"grasland-dunbspbousquet-groz-parissis-homeautomationsystemstestingacoveragemeasureforhybridautomata-2011","bibdata":{"address":"Paris, France","author":["Grasland, Yves","du Bousquet, Lydie","Groz, Roland","Parissis, Ioannis"],"author_short":["Grasland, Y.","du<nbsp>Bousquet, L.","Groz, R.","Parissis, I."],"bibtex":"@inproceedings{ grasland_home_2011,\n address = {Paris, France},\n title = {Home {Automation} {Systems} {Testing} : {A} {Coverage} {Measure} for {Hybrid} {Automata}},\n shorttitle = {Home {Automation} {Systems} {Testing}},\n booktitle = {Short paper proceedings of the 23rd {IFIP} {Int}. {Conference} on {Testing} {Software} and {Systems} ({ICTSS}'2011)},\n author = {Grasland, Yves and du Bousquet, Lydie and Groz, Roland and Parissis, Ioannis},\n editor = {Wolff, Burkhart and Zaidi, Fatiha},\n month = {November},\n year = {2011},\n note = {00000},\n pages = {5--12}\n}","bibtype":"inproceedings","booktitle":"Short paper proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems (ICTSS'2011)","editor":["Wolff, Burkhart","Zaidi, Fatiha"],"editor_short":["Wolff, B.","Zaidi, F."],"id":"grasland_home_2011","key":"grasland_home_2011","month":"November","note":"00000","pages":"5--12","shorttitle":"Home Automation Systems Testing","title":"Home Automation Systems Testing : A Coverage Measure for Hybrid Automata","type":"inproceedings","year":"2011","bibbaseid":"grasland-dunbspbousquet-groz-parissis-homeautomationsystemstestingacoveragemeasureforhybridautomata-2011","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","creationDate":"2015-04-22T00:14:20.546Z","downloads":0,"keywords":[],"search_terms":["home","automation","systems","testing","coverage","measure","hybrid","automata","grasland","du<nbsp>bousquet","groz","parissis"],"title":"Home Automation Systems Testing : A Coverage Measure for Hybrid Automata","year":2011,"dataSources":["fcy64Zdm28gydMmuE"]}