An abstract framework for choreographic testing. Coto, A., Guanciale, R., & Tuosto, E. J. Log. Algebraic Methods Program., 123:100712, 2021. Paper doi bibtex @article{DBLP:journals/jlap/CotoGT21,
author = {Alex Coto and Roberto Guanciale and Emilio Tuosto},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/jlap/CotoGT21.bib},
date-added = {2022-03-30 17:31:52 +0200},
date-modified = {2022-03-30 17:31:52 +0200},
doi = {10.1016/j.jlamp.2021.100712},
journal = {J. Log. Algebraic Methods Program.},
pages = {100712},
timestamp = {Wed, 03 Nov 2021 08:25:56 +0100},
title = {An abstract framework for choreographic testing},
url = {https://doi.org/10.1016/j.jlamp.2021.100712},
volume = {123},
year = {2021},
Bdsk-Url-1 = {https://doi.org/10.1016/j.jlamp.2021.100712}}
Downloads: 0
{"_id":"EbJury5uPkitXZq3Q","bibbaseid":"coto-guanciale-tuosto-anabstractframeworkforchoreographictesting-2021","author_short":["Coto, A.","Guanciale, R.","Tuosto, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alex"],"propositions":[],"lastnames":["Coto"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Guanciale"],"suffixes":[]},{"firstnames":["Emilio"],"propositions":[],"lastnames":["Tuosto"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/jlap/CotoGT21.bib","date-added":"2022-03-30 17:31:52 +0200","date-modified":"2022-03-30 17:31:52 +0200","doi":"10.1016/j.jlamp.2021.100712","journal":"J. Log. Algebraic Methods Program.","pages":"100712","timestamp":"Wed, 03 Nov 2021 08:25:56 +0100","title":"An abstract framework for choreographic testing","url":"https://doi.org/10.1016/j.jlamp.2021.100712","volume":"123","year":"2021","bdsk-url-1":"https://doi.org/10.1016/j.jlamp.2021.100712","bibtex":"@article{DBLP:journals/jlap/CotoGT21,\n\tauthor = {Alex Coto and Roberto Guanciale and Emilio Tuosto},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/jlap/CotoGT21.bib},\n\tdate-added = {2022-03-30 17:31:52 +0200},\n\tdate-modified = {2022-03-30 17:31:52 +0200},\n\tdoi = {10.1016/j.jlamp.2021.100712},\n\tjournal = {J. Log. Algebraic Methods Program.},\n\tpages = {100712},\n\ttimestamp = {Wed, 03 Nov 2021 08:25:56 +0100},\n\ttitle = {An abstract framework for choreographic testing},\n\turl = {https://doi.org/10.1016/j.jlamp.2021.100712},\n\tvolume = {123},\n\tyear = {2021},\n\tBdsk-Url-1 = {https://doi.org/10.1016/j.jlamp.2021.100712}}\n\n","author_short":["Coto, A.","Guanciale, R.","Tuosto, E."],"key":"DBLP:journals/jlap/CotoGT21","id":"DBLP:journals/jlap/CotoGT21","bibbaseid":"coto-guanciale-tuosto-anabstractframeworkforchoreographictesting-2021","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlamp.2021.100712"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["abstract","framework","choreographic","testing","coto","guanciale","tuosto"],"title":"An abstract framework for choreographic testing","year":2021}