{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:57:51Z","timestamp":1725753471417},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409714"},{"type":"electronic","value":"9783642409721"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40972-1_22","type":"book-chapter","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:03:56Z","timestamp":1382526236000},"page":"288-301","source":"Crossref","is-referenced-by-count":3,"title":["Context-Assisted Test Cases Reduction for Cloud Validation"],"prefix":"10.1007","author":[{"given":"Feras A.","family":"Batarseh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avelino J.","family":"Gonzalez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Knauf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Foster, I.: What is the grid? A three point checklist. The Grid-Today (July 2002)"},{"issue":"3","key":"22_CR2","first-page":"181","volume":"32","author":"R. Knauf","year":"2002","unstructured":"Knauf, R., Gonzalez, A.J., Abel, T.: A Framework for Validation of Rule-Based Systems. IEEE Transactions on Systems, Man and Cybernetics\u00a032(3), 181\u2013196 (2002)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TSMCA.2006.886365","volume":"37","author":"R. Knauf","year":"2007","unstructured":"Knauf, R., Tsuruta, S., Gonzalez, A.J.: Toward Reducing Human Involvement in Validation of Knowledge-Based Systems. Proceedings of the IEEE Transaction on Systems, Man and Cybernetics\u00a037, 120\u2013131 (2007)","journal-title":"Proceedings of the IEEE Transaction on Systems, Man and Cybernetics"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Gonzalez, A.J., Gupta, U., Chianese, R.: Performance Evaluation of a Large Diagnostic Expert System Using a Heuristic Test Case Generator. Proceedings of the Engineering Applications for Artificial Intelligence\u00a09, 275\u2013284","DOI":"10.1016\/0952-1976(95)00018-6"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Shreiber, G., Akkermans, H., Anjewierden, A., De Hoog, R., Shadbolt, N., Van De Velde, W., Wielinga, B.: Knowledge Engineering and Management-The CommonKADS Methodology. The MIT Press (2000)","DOI":"10.7551\/mitpress\/4073.001.0001"},{"key":"22_CR6","unstructured":"Herrmann, J., Jantke, K., Knauf, R.: Using Structural Knowledge for System Validation. In: Proceedings of the 10th FLAIRS Conference, pp. 82\u201386 (1997)"},{"key":"22_CR7","unstructured":"Abel, T., Gonzalez, A.J.: Utilizing Criteria to Reduce a Set of Test Cases for Expert System Validation. In: Proceedings of the 10th FLAIRS Conference, pp. 402\u2013406 (1997)"},{"key":"22_CR8","unstructured":"Smith, S., Kandel, A.: Validation of Expert Systems. In: Proceedings of the Third Florida Artificial Intelligence Research Symposium, FLAIRS (1990)"},{"key":"22_CR9","unstructured":"Kaner, C.: The Context-Driven Approach to Software Testing. Notes from the Florida Institute of Technology (2002)"},{"key":"22_CR10","unstructured":"Bach, J.: Heuristic Test Planning: Context Model. Satisfice, Inc. (2013)"},{"key":"22_CR11","unstructured":"Rao, R.: 10 Cloud Based Testing Tools, A report published under: \n                    \n                      http:\/\/www.toolsjournal.com\/testing-lists\/item\/404-10-cloud-based-testing-tools"},{"key":"22_CR12","unstructured":"Kalliosaari, L., Taipale, O., Smolander, K.: Testing in the Cloud: Exploring the Practice. Paper Published at the IEEE Software Magazine (September 2012)"},{"key":"22_CR13","unstructured":"Batarseh, F.A.: Incremental Lifecycle Validation of Knowledge-Based Systems through CommonKADS. A Doctoral Dissertation published at the University of Central Florida (May 2011)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Gonzalez, A.J., Stensrud, B., Barrett, G.: Formalizing context-based reasoning: A modeling paradigm for representing tactical human behavior. Proceedings of the International Journal of Intelligent Systems (2008)","DOI":"10.1002\/int.20291"},{"key":"22_CR15","unstructured":"Amazon Cloud: \n                    \n                      http:\/\/www.amazon.com\/cloud"},{"key":"22_CR16","unstructured":"Gartner Magic Quadrant for Public Cloud Infrastructure as a service, A report by Gartner Research (2012)"},{"key":"22_CR17","unstructured":"Wells, S.: The VIVA Method: A Life Cycle Independent Approach to KBS Validation. In: Proceedings of the IEEE AAAI Conference, pp. 102\u2013106 (1993)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Lockwood, S., Chen, Z.: Knowledge Validation of Engineering Expert Systems. Proceedings of the Journal of Advances in Software Engineering (1995)","DOI":"10.1016\/0965-9978(95)00018-R"},{"issue":"1","key":"22_CR19","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1108\/03055721311302142","volume":"43","author":"A.Q. Gill","year":"2013","unstructured":"Gill, A.Q., Bunker, D.: Towards the development of a Cloud-Based Communication Technologies Assessment Tool: An Analysis of Practitioners\u2019 Perspectives. VINE - Emerald Group\u00a043(1), 57\u201377 (2013)","journal-title":"VINE - Emerald Group"}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40972-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T22:49:14Z","timestamp":1558651754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40972-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409714","9783642409721"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40972-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}