{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:17:09Z","timestamp":1725571029322},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642176937"},{"type":"electronic","value":"9783642176944"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17694-4_6","type":"book-chapter","created":{"date-parts":[[2010,12,3]],"date-time":"2010-12-03T11:22:36Z","timestamp":1291375356000},"page":"63-75","source":"Crossref","is-referenced-by-count":11,"title":["Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Dranidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Kourtesis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual Int\u2019l Comp. Software and Applications Conf. (COMPSAC), pp. 233\u2013236 (2007)","DOI":"10.1109\/COMPSAC.2007.53"},{"key":"6_CR2","unstructured":"Benbernou, S.: State of the art report, gap analysis of knowledge on principles, techniques and methodologies for monitoring and adaptation of SBAs. Deliverable PO-JRA-1.2.1, S-Cube Consortium (July 2008), \n                    \n                      http:\/\/www.s-cube-network.eu\/results\/"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4018\/jwsr.2007040103","volume":"4","author":"W. Chan","year":"2007","unstructured":"Chan, W., Cheung, S., Leung, K.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research\u00a04(2), 61\u201381 (2007)","journal-title":"International Journal of Web Services Research"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering\u00a04, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"6_CR5","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N. Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng.\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Deussen, P., Din, G., Schieferdecker, I.: A TTCN-3 based online test and validation platform for Internet services. In: Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS), pp. 177\u2013184 (2003)","DOI":"10.1109\/ISADS.2003.1193946"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-72912-9_8","volume-title":"Test and Analysis of Web Services","author":"M. Penta Di","year":"2007","unstructured":"Di Penta, M., Bruno, M., Esposito, G.: et\u00a0al.: Web Services Regression Testing. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 205\u2013234. Springer, Heidelberg (2007)"},{"key":"6_CR8","unstructured":"Dranidis, D.: JSXM: A suite of tools for model-based automated test generation: User manual. Tech. Rep. WPCS01-2009, CITY College (2009)"},{"issue":"5","key":"6_CR9","first-page":"36","volume":"1","author":"D. Dranidis","year":"2007","unstructured":"Dranidis, D., Kourtesis, D., Ramollari, E.: Formal verification of web service behavioural conformance through testing. Annals of Mathematics, Computing & Teleinformatics\u00a01(5), 36\u201343 (2007)","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/ECOWS.2009.19","volume-title":"Seventh IEEE European Conference on Web Services","author":"D. Dranidis","year":"2009","unstructured":"Dranidis, D., Ramollari, E., Kourtesis, D.: Run-time verification of behavioural conformance for conversational web services. In: Seventh IEEE European Conference on Web Services, pp. 139\u2013147. IEEE, Los Alamitos (2009)"},{"key":"6_CR11","unstructured":"Dranidis, D., Metzger, A., Kourtesis, D.: Enabling proactive adaptation through just-in-time testing of conversational services (supplementary material). Tech. rep., S-Cube (2010), \n                    \n                      http:\/\/www.s-cube-network.eu\/results\/techreport\/sw2010"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/MC.2010.76","volume":"43","author":"S. Hall\u00e9","year":"2010","unstructured":"Hall\u00e9, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.: Runtime verification of web service interface contracts. IEEE Computer\u00a043(3), 59\u201366 (2010)","journal-title":"IEEE Computer"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-89897-9_11","volume-title":"Towards a Service-Based Internet","author":"J. Hielscher","year":"2008","unstructured":"Hielscher, J., Kazhamiakin, R., Metzger, A., Pistore, M.: A framework for proactive self-adaptation of service-based applications based on online testing. In: M\u00e4h\u00f6nen, P., Pohl, K., Priol, T. (eds.) ServiceWave 2008. LNCS, vol.\u00a05377, pp. 122\u2013133. Springer, Heidelberg (2008)"},{"key":"6_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building Business Process Solutions","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building Business Process Solutions. Springer, Berlin (1998)"},{"key":"6_CR15","unstructured":"Ipate, F.: Theory of X-machines with Applications in Specification and Testing. Ph.D. thesis, University of Sheffield (1995)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate, F., Holcombe, M.: An integration testing method that is proven to find all faults. International Journal of Computer Mathematics\u00a063, 159\u2013178 (1997)","journal-title":"International Journal of Computer Mathematics"},{"key":"6_CR17","unstructured":"Laycock, G.: The Theory and Practice of Specification Based Testing. Ph.D. thesis, University of Sheffield (1992)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Leitner, P., Michlmayr, A., Rosenberg, F., Dustdar, S.: Monitoring, prediction and prevention of SLA violations in composite services. In: IEEE International Conference on Web Services (ICWS) Industry and Applications Track (2010)","DOI":"10.1109\/ICWS.2010.21"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Metzger, A., Sammodi, O., Pohl, K., Rzepka, M.: Towards pro-active adaptation with confidence augmenting service monitoring with online testing. In: Proceedings of the ICSE 2010 Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2010), Cape Town, South Africa, May 2-8 (2010)","DOI":"10.1145\/1808984.1808987"},{"key":"6_CR20","unstructured":"Pernici, B., Metzger, A.: Survey of quality related aspects relevant for service-based applications. Deliverable PO-JRA-1.3.1, S-Cube Consortium (July 2008), \n                    \n                      http:\/\/www.s-cube-network.eu\/results\/"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-02121-3_44","volume-title":"The Semantic Web: Research and Applications","author":"E. Ramollari","year":"2009","unstructured":"Ramollari, E., Kourtesis, D., Dranidis, D., Simons, A.J.H.: Leveraging semantic web service descriptions for validation by automated functional testing. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 593\u2013607. Springer, Heidelberg (2009)"},{"key":"6_CR22","volume-title":"Towards the Future Internet: A European Research Perspective","author":"G. Tselentis","year":"2009","unstructured":"Tselentis, G., Domingue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)"},{"key":"6_CR23","unstructured":"Wang, Q., Quan, L., Ying, F.: Online testing of Web-based applications. In: Proceedings of the 28th Annual Int\u2019l Comp. Software and Applications Conference (COMPSAC), pp. 166\u2013169 (2004)"}],"container-title":["Lecture Notes in Computer Science","Towards a Service-Based Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17694-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T16:47:33Z","timestamp":1553273253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17694-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642176937","9783642176944"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17694-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}