{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:06:15Z","timestamp":1725660375494},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281440"},{"type":"electronic","value":"9783642281457"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28145-7_20","type":"book-chapter","created":{"date-parts":[[2012,2,15]],"date-time":"2012-02-15T19:58:14Z","timestamp":1329335894000},"page":"196-205","source":"Crossref","is-referenced-by-count":1,"title":["Taming the Raven \u2013 Testing the Random Access, Visualization and Exploration Network RAVEN"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Neukirchen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"LNCS","first-page":"206","volume-title":"PARA 2010, Part II","author":"M. Schmelling","year":"2012","unstructured":"Schmelling, M., Britsch, M., Gagunashvili, N., Gudmundsson, H.K., Neukirchen, H., Whitehead, N.: RAVEN \u2013 Boosting Data Analysis for the LHC Experiments. In: J\u00f3nasson, K. (ed.) PARA 2010, Part II. LNCS, vol.\u00a07134, pp. 206\u2013214. Springer, Heidelberg (2012)"},{"unstructured":"ISO\/IEC: Information Technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework. International ISO\/IEC multipart standard No. 9646 (1994-1997)","key":"20_CR2"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/52.28119","volume":"6","author":"D.R. Wallace","year":"1989","unstructured":"Wallace, D.R., Fujii, R.U.: Software verification and validation: An overview. IEEE Software\u00a06, 10\u201317 (1989)","journal-title":"IEEE Software"},{"unstructured":"Myers, G.: The Art of Software Testing. Wiley (1979)","key":"20_CR4"},{"unstructured":"Dijkstra, E.: Notes on Structured Programming. Technical Report 70-WSK-03, Technological University Eindhoven, Department of Mathematics (April 1970)","key":"20_CR5"},{"unstructured":"Beizer, B.: Black-Box Testing. Wiley (1995)","key":"20_CR6"},{"doi-asserted-by":"crossref","unstructured":"Weyuker, E.: Axiomatizing Software Test Data Adequacy. IEEE Transactions on Software Engineering 12(12) (December 1986)","key":"20_CR7","DOI":"10.1109\/TSE.1986.6313008"},{"doi-asserted-by":"crossref","unstructured":"Weyuker, E.: The Evaluation of Program-based Software Test Data Adequacy Criteria. Communications of the ACM\u00a031(6) (June 1988), doi:10.1145\/62959.62963","key":"20_CR8","DOI":"10.1145\/62959.62963"},{"unstructured":"ETSI: ETSI Standard (ES) 201 873 V4.2.1: The Testing and Test Control Notation version 3; Parts 1\u201310. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France (2010)","key":"20_CR9"},{"key":"20_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/11754008_12","volume-title":"Testing of Communicating Systems","author":"G. Din","year":"2006","unstructured":"Din, G., Tolea, S., Schieferdecker, I.: Distributed Load Tests with TTCN-3. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 177\u2013196. Springer, Heidelberg (2006), doi:10.1007\/11754008_12"},{"issue":"4","key":"20_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s10009-008-0078-x","volume":"10","author":"G. Din","year":"2008","unstructured":"Din, G.: An IMS Performance Benchmark Implementation based on the TTCN-3 Language. International Journal on Software Tools for Technology Transfer (STTT)\u00a010(4), 359\u2013370 (2008), doi:10.1007\/s10009-008-0078-x","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"doi-asserted-by":"crossref","unstructured":"Rings, T., Neukirchen, H., Grabowski, J.: Testing Grid Application Workflows Using TTCN-3. In: International Conference on Software Testing Verification and Validation (ICST), pp. 210\u2013219. IEEE Computer Society (2008), doi:10.1109\/ICST.2008.24","key":"20_CR12","DOI":"10.1109\/ICST.2008.24"},{"issue":"3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"J. Grabowski","year":"2003","unstructured":"Grabowski, J., Hogrefe, D., R\u00e9thy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An introduction to the testing and test control notation (TTCN-3). Computer Networks\u00a042(3), 375\u2013403 (2003), doi:10.1016\/S1389-1286(03)00249-4","journal-title":"Computer Networks"},{"key":"20_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317","volume-title":"An Introduction to TTCN-3","author":"C. Willcock","year":"2005","unstructured":"Willcock, C., Dei\u00df, T., Tobies, S., Keil, S., Engler, F., Schulz, S.: An Introduction to TTCN-3. Wiley, New York (2005)"},{"unstructured":"ETSI: TTCN-3, \n                      \n                        http:\/\/www.ttcn-3.org","key":"20_CR15"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/52.542297","volume":"13","author":"C. Fidge","year":"1996","unstructured":"Fidge, C.: Fundamentals of distributed system observation. IEEE Software\u00a013, 77\u201383 (1996)","journal-title":"IEEE Software"},{"unstructured":"Apache Software Foundation: Apache Hadoop, \n                      \n                        http:\/\/hadoop.apache.org\/","key":"20_CR17"},{"unstructured":"Law, A., Kelton, W.: Simulation Modeling and Analysis. McGraw-Hill (200)","key":"20_CR18"},{"issue":"8","key":"20_CR19","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2003.1220579","volume":"36","author":"K. Skadron","year":"2003","unstructured":"Skadron, K., Martonosi, M., August, D., Hill, M., Lilja, D., Pai, V.: Challenges in Computer Architecture Evaluation. IEEE Computer\u00a036(8), 30\u201336 (2003), doi:10.1109\/MC.2003.1220579","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel and Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28145-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T21:29:26Z","timestamp":1556400566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28145-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281440","9783642281457"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28145-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}