A Compositional Testing Framework Driven by Partial Specifications. Falcone, Y., Fernandez, J.C, Mounier, L., & Richier, J. In Petrenko, A., Veanes, M., Tretmans, J., & Grieskamp, W., editors, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, volume 4581, of Lecture Notes in Computer Science, pages 107--122, 2007. Springer. 00020bibtex @inproceedings{ falcone_compositional_2007,
series = {Lecture {Notes} in {Computer} {Science}},
title = {A {Compositional} {Testing} {Framework} {Driven} by {Partial} {Specifications}},
volume = {4581},
isbn = {978-3-540-73065-1},
booktitle = {Testing of {Software} and {Communicating} {Systems}, 19th {IFIP} {TC}6/{WG}6.1 {International} {Conference}, {TestCom} 2007, 7th {International} {Workshop}, {FATES} 2007, {Tallinn}, {Estonia}, {June} 26-29, 2007},
publisher = {Springer},
author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},
editor = {Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang},
year = {2007},
note = {00020},
pages = {107--122}
}
Downloads: 0
{"_id":"rjQ2HY8j6fBnqSnXm","bibbaseid":"falcone-fernandez-mounier-richier-acompositionaltestingframeworkdrivenbypartialspecifications-2007","downloads":0,"creationDate":"2015-04-22T00:15:35.947Z","title":"A Compositional Testing Framework Driven by Partial Specifications","author_short":["Falcone, Y.","Fernandez, J.C","Mounier, L.","Richier, J."],"year":2007,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Falcone, Yliès","Fernandez, Jean-Claude","Mounier, Laurent","Richier, Jean-Luc"],"author_short":["Falcone, Y.","Fernandez, J.C","Mounier, L.","Richier, J."],"bibtex":"@inproceedings{ falcone_compositional_2007,\n series = {Lecture {Notes} in {Computer} {Science}},\n title = {A {Compositional} {Testing} {Framework} {Driven} by {Partial} {Specifications}},\n volume = {4581},\n isbn = {978-3-540-73065-1},\n booktitle = {Testing of {Software} and {Communicating} {Systems}, 19th {IFIP} {TC}6/{WG}6.1 {International} {Conference}, {TestCom} 2007, 7th {International} {Workshop}, {FATES} 2007, {Tallinn}, {Estonia}, {June} 26-29, 2007},\n publisher = {Springer},\n author = {Falcone, Yliès and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},\n editor = {Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang},\n year = {2007},\n note = {00020},\n pages = {107--122}\n}","bibtype":"inproceedings","booktitle":"Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007","editor":["Petrenko, Alexandre","Veanes, Margus","Tretmans, Jan","Grieskamp, Wolfgang"],"editor_short":["Petrenko, A.","Veanes, M.","Tretmans, J.","Grieskamp, W."],"id":"falcone_compositional_2007","isbn":"978-3-540-73065-1","key":"falcone_compositional_2007","note":"00020","pages":"107--122","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"A Compositional Testing Framework Driven by Partial Specifications","type":"inproceedings","volume":"4581","year":"2007","bibbaseid":"falcone-fernandez-mounier-richier-acompositionaltestingframeworkdrivenbypartialspecifications-2007","role":"author","urls":{},"downloads":0},"search_terms":["compositional","testing","framework","driven","partial","specifications","falcone","fernandez","mounier","richier"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}