@inproceedings{ falcone_j-post:_2008,
  series = {Electronic {Notes} in {Theoretical} {Computer} {Science}},
  title = {j-{POST}: a {Java} {Toolchain} for {Property}-{Oriented} {Software} {Testing}},
  volume = {220(1)},
  shorttitle = {j-{POST}},
  booktitle = {Fourth {Workshop} on {Model}-{Based} {Testing} ({MBT}'08), a satellite event of {ETAPS}'08, {March} 29 - {April} 6, 2008, {Budapest}},
  publisher = {Springer},
  author = {Falcone, Yliès and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
  month = {March},
  year = {2008},
  note = {00004},
  pages = {29--41}
}

{"_id":"BeRL8kgahY6XGcra4","bibbaseid":"falcone-mounier-fernandez-richier-jpostajavatoolchainforpropertyorientedsoftwaretesting-2008","downloads":0,"creationDate":"2015-04-22T00:15:35.948Z","title":"j-POST: a Java Toolchain for Property-Oriented Software Testing","author_short":["Falcone, Y.","Mounier, L.","Fernandez, J.C","Richier, J."],"year":2008,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Falcone, Yliès","Mounier, Laurent","Fernandez, Jean-Claude","Richier, Jean-Luc"],"author_short":["Falcone, Y.","Mounier, L.","Fernandez, J.C","Richier, J."],"bibtex":"@inproceedings{ falcone_j-post:_2008,\n series = {Electronic {Notes} in {Theoretical} {Computer} {Science}},\n title = {j-{POST}: a {Java} {Toolchain} for {Property}-{Oriented} {Software} {Testing}},\n volume = {220(1)},\n shorttitle = {j-{POST}},\n booktitle = {Fourth {Workshop} on {Model}-{Based} {Testing} ({MBT}'08), a satellite event of {ETAPS}'08, {March} 29 - {April} 6, 2008, {Budapest}},\n publisher = {Springer},\n author = {Falcone, Yliès and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},\n month = {March},\n year = {2008},\n note = {00004},\n pages = {29--41}\n}","bibtype":"inproceedings","booktitle":"Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest","id":"falcone_j-post:_2008","key":"falcone_j-post:_2008","month":"March","note":"00004","pages":"29--41","publisher":"Springer","series":"Electronic Notes in Theoretical Computer Science","shorttitle":"j-POST","title":"j-POST: a Java Toolchain for Property-Oriented Software Testing","type":"inproceedings","volume":"220(1)","year":"2008","bibbaseid":"falcone-mounier-fernandez-richier-jpostajavatoolchainforpropertyorientedsoftwaretesting-2008","role":"author","urls":{},"downloads":0},"search_terms":["post","java","toolchain","property","oriented","software","testing","falcone","mounier","fernandez","richier"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}