{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:50:12Z","timestamp":1725742212884},"publisher-location":"Heidelberg","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009476"},{"type":"electronic","value":"9783319009483"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-00948-3_7","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T01:16:13Z","timestamp":1374196573000},"page":"99-116","source":"Crossref","is-referenced-by-count":5,"title":["A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Salva","sequence":"first","affiliation":[]},{"given":"Tien-Dung","family":"Cao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Ws-bpel, Oasis Consortium (2007), \n http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-19589-1_4","volume-title":"Web Services and Formal Methods","author":"C. Andr\u00e9s","year":"2011","unstructured":"Andr\u00e9s, C., Cambronero, M.E., N\u00fa\u00f1ez, M.: Passive testing of web services. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 56\u201370. Springer, Heidelberg (2011)"},{"issue":"2-3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.tcs.2004.11.007","volume":"336","author":"C. Arthoa","year":"2005","unstructured":"Arthoa, C., Barringerb, H., Goldbergc, A., Havelundc, K., Khurshidd, S., Lowrye, M., Pasareanuf, C., Rosug, G., Seng, K., Visserh, W., Washingtonh, R.: Combining test case generation and runtime verification. Theoretical Computer Science\u00a0336(2-3), 209\u2013234 (2005)","journal-title":"Theoretical Computer Science"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-77395-5_9","volume-title":"Runtime Verification","author":"H. Barringer","year":"2007","unstructured":"Barringer, H., Gabbay, D., Rydeheard, D.: From runtime verification to evolvable systems. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 97\u2013110. Springer, Heidelberg (2007)"},{"key":"7_CR5","unstructured":"Cavalli, A., Benameur, A., Mallouli, W., Li, K.: A Passive Testing Approach for Security Checking and its Practical Usage for Web Services Monitoring. In: NOTERE 2009 (2009)"},{"issue":"8","key":"7_CR6","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1109\/TSE.2007.70707","volume":"33","author":"C. Constant","year":"2007","unstructured":"Constant, C., J\u00e9ron, T., Marchand, H., Rusu, V.: Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Softw. Eng.\u00a033(8), 558\u2013574 (2007), doi:10.1109\/TSE.2007.70707","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1083246.1083249","volume-title":"Proceedings of the Third International Workshop on Dynamic Analysis, WODA 2005","author":"M. d\u2019Amorim","year":"2005","unstructured":"d\u2019Amorim, M., Havelund, K.: Event-based runtime verification of java programs. In: Proceedings of the Third International Workshop on Dynamic Analysis, WODA 2005, pp. 1\u20137. ACM, New York (2005), doi:10.1145\/1082983.1083249"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y. Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol.\u00a07041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"7_CR10","series-title":"IFIP","first-page":"197","volume-title":"TCS 2006","author":"T. J\u00e9ron","year":"2006","unstructured":"J\u00e9ron, T., Marchand, H., Rusu, V.: Symbolic determinisation of extended automata. In: Navarro, G., Bertossi, L., Kohayakawa, Y. (eds.) TCS 2006. IFIP, vol.\u00a0209, pp. 197\u2013212. Springer, Boston (2006)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D. Lee","year":"2006","unstructured":"Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: Network protocol system monitoring: a formal approach with passive testing. IEEE\/ACM Trans. Netw.\u00a014, 424\u2013437 (2006)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Nguyen, H.N., Poizat, P., Zaidi, F.: Online verification of value-passing choreographies through property-oriented passive testing. In: Ninth IEEE International Symposium on High-Assurance Systems Engineering, pp. 106\u2013113 (2012)","DOI":"10.1109\/HASE.2012.15"},{"key":"7_CR13","unstructured":"Salva, S.: Passive testing with proxy-testers. International Journal of Software Engineering and Its Applications (IJSEIA). Science & Engineering Research Support Society (SERSC) 5 (2011)"},{"key":"7_CR14","unstructured":"Salva, S.: A model-based testing approach combining passive testing and runtime verification. Tech. rep., LIMOS, LIMOS Research report RR13-04 (2013), \n http:\/\/sebastien.salva.free.fr\/useruploads\/files\/RR-13-04.pdf"},{"issue":"3","key":"7_CR15","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00948-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T15:23:29Z","timestamp":1676820209000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00948-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319009476","9783319009483"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00948-3_7","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}
