BibTeX record conf/sera/SalvaC13

download as .bib file

@inproceedings{DBLP:conf/sera/SalvaC13,
  author       = {S{\'{e}}bastien Salva and
                  Tien{-}Dung Cao},
  editor       = {Roger Y. Lee},
  title        = {A Model-Based Testing Approach Combining Passive Conformance Testing
                  and Runtime Verification: Application to Web Service Compositions
                  Deployed in Clouds},
  booktitle    = {Software Engineering Research, Management and Applications [selected
                  papers from the 11th International Conference on Software Engineering
                  Research, Management and Applications, {SERA} 2013, Prague, Czech
                  Republic, August 7-9, 2013]},
  series       = {Studies in Computational Intelligence},
  volume       = {496},
  pages        = {99--116},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-00948-3\_7},
  doi          = {10.1007/978-3-319-00948-3\_7},
  timestamp    = {Thu, 23 Jun 2022 19:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sera/SalvaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}