@inproceedings{ dblp1926127,
  title = {Testing-Based Compiler Validation for Synchronous Languages},
  author = {Pierre-Loïc Garoche and Falk Howar and Temesghen Kahsai and Xavier Thirioux},
  author_short = {Garoche, P. and Howar, F. and Kahsai, T. and Thirioux, X.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2014},
  key = {dblp1926127},
  id = {dblp1926127},
  biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheHKT14},
  url = {http://dx.doi.org/10.1007/978-3-319-06200-6_19},
  conference = {NASA Formal Methods},
  pages = {246-251},
  text = {NASA Formal Methods 2014:246-251},
  booktitle = {Proceedings of NASA Formal Methods}
}

{"_id":{"_str":"5422819bc6071b817c000218"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Garoche, P.","Howar, F.","Kahsai, T.","Thirioux, X."],"bibbaseid":"garoche-howar-kahsai-thirioux-testingbasedcompilervalidationforsynchronouslanguages-2014","bibdata":{"title":"Testing-Based Compiler Validation for Synchronous Languages","author":["Pierre-Loïc Garoche","Falk Howar","Temesghen Kahsai","Xavier Thirioux"],"author_short":["Garoche, P.","Howar, F.","Kahsai, T.","Thirioux, X."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1926127","id":"dblp1926127","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/GarocheHKT14","url":"http://dx.doi.org/10.1007/978-3-319-06200-6_19","conference":"NASA Formal Methods","pages":"246-251","text":"NASA Formal Methods 2014:246-251","booktitle":"Proceedings of NASA Formal Methods","bibtex":"@inproceedings{ dblp1926127,\n title = {Testing-Based Compiler Validation for Synchronous Languages},\n author = {Pierre-Loïc Garoche and Falk Howar and Temesghen Kahsai and Xavier Thirioux},\n author_short = {Garoche, P. and Howar, F. and Kahsai, T. and Thirioux, X.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1926127},\n id = {dblp1926127},\n biburl = {http://www.dblp.org/rec/bibtex/conf/nfm/GarocheHKT14},\n url = {http://dx.doi.org/10.1007/978-3-319-06200-6_19},\n conference = {NASA Formal Methods},\n pages = {246-251},\n text = {NASA Formal Methods 2014:246-251},\n booktitle = {Proceedings of NASA Formal Methods}\n}","bibbaseid":"garoche-howar-kahsai-thirioux-testingbasedcompilervalidationforsynchronouslanguages-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-06200-6_19"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/nfm/GarocheHKT14","creationDate":"2014-09-24T08:32:27.993Z","downloads":0,"keywords":[],"search_terms":["testing","based","compiler","validation","synchronous","languages","garoche","howar","kahsai","thirioux"],"title":"Testing-Based Compiler Validation for Synchronous Languages","year":2014,"dataSources":["5MEDhKvrtfffAupGy"]}