Testing-Based Compiler Validation for Synchronous Languages. Garoche, P., Howar, F., Kahsai, T., & Thirioux, X. In Proceedings of NASA Formal Methods, pages 246-251, 2014. Paper bibtex @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}
}
Downloads: 0
{"_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"]}