{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T15:15:13Z","timestamp":1781622913151,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540693888","type":"print"},{"value":"9783540693895","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69389-5_34","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:18Z","timestamp":1217486358000},"page":"291-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Modeling Input Space for Testing Scientific Computational Software: A Case Study"],"prefix":"10.1007","author":[{"given":"Sergiy A.","family":"Vilkomir","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W. Thomas","family":"Swain","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jesse H.","family":"Poore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin T.","family":"Clarno","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Clarno, K., de Almeida, V., d\u2019Azevedo, E., de Oliveira, C., Hamilton, S.: GNES-R: Global Nuclear Energy Simulator for Reactors Task 1: High-Fidelity Neutron Transport. In: Proceedings of PHYSOR\u20132006, American Nuclear Society Topical Meeting on Reactor Physics: Advances in Nuclear Analysis and Simulation, Vancouver, Canada (2006)"},{"issue":"7","key":"34_CR2","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D.M. Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering\u00a023(7), 437\u2013444 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"34_CR3","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/S0003-2670(98)00481-4","volume":"380","author":"M.G. Cox","year":"1999","unstructured":"Cox, M.G., Harris, P.M.: Design and use of reference data sets for testing scientific software. Analytica Chimica Acta\u00a0380(2), 339\u2013351 (1999)","journal-title":"Analytica Chimica Acta"},{"key":"34_CR4","volume-title":"Accuracy and Reliability in Scientific Computing","year":"2005","unstructured":"Einarsson, B. (ed.): Accuracy and Reliability in Scientific Computing. SIAM, Philadelphia (2005)"},{"issue":"3","key":"34_CR5","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M. Grindal","year":"2005","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: A survey. Software Testing, Verification, and Reliability\u00a015(3), 167\u2013199 (2005)","journal-title":"Software Testing, Verification, and Reliability"},{"issue":"2","key":"34_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/99.609829","volume":"4","author":"L. Hatton","year":"1997","unstructured":"Hatton, L.: The T experiments: errors in scientific software. IEEE Computational Science and Engineering\u00a04(2), 27\u201338 (1997)","journal-title":"IEEE Computational Science and Engineering"},{"issue":"2","key":"34_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/356876.356880","volume":"14","author":"W. Howden","year":"1982","unstructured":"Howden, W.: Validation of scientific programs. Comput. Surv.\u00a014(2), 193\u2013227 (1982)","journal-title":"Comput. Surv."},{"key":"34_CR8","unstructured":"Lewis, E., Miller Jr., W.F.: Computational Methods of Neutron Transport. ANS (1993)"},{"issue":"12","key":"34_CR9","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/S0950-5849(00)00123-3","volume":"42","author":"S. Prowell","year":"2000","unstructured":"Prowell, S.: TML: A description language for Markov chain usage models. Information and Software Technology\u00a042(12), 835\u2013844 (2000)","journal-title":"Information and Software Technology"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Prowell, S.: JUMBL: A Tool for Model-Based Statistical Testing. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS 2003), Big Island, HI, USA (2003)","DOI":"10.1109\/HICSS.2003.1174916"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/11428831_55","volume-title":"Computational Science \u2013 ICCS 2005","author":"W.T. Swain","year":"2005","unstructured":"Swain, W.T., Scott, S.L.: Model-Based Statistical Testing of a Cluster Utility. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol.\u00a03514, pp. 443\u2013450. Springer, Heidelberg (2005)"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Vilkomir, S.A., Swain, W.T, Poore, J.H.: Combinatorial test case selection with Markovian usage models. In: Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), Las Vegas, Nevada, USA (2008)","DOI":"10.1109\/ITNG.2008.80"},{"issue":"1","key":"34_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380250106","volume":"25","author":"G. Walton","year":"1995","unstructured":"Walton, G., Poore, J.H., Trammell, C.: Statistical Testing of Software Based on a Usage Model. Software: Practice and Experience\u00a025(1), 97\u2013108 (1995)","journal-title":"Software: Practice and Experience"},{"issue":"1","key":"34_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/151299.151326","volume":"2","author":"J. Whittaker","year":"1993","unstructured":"Whittaker, J., Poore, J.H.: Markov Analysis of Software Specifications. ACM Transactions on Software Engineering and Methodology\u00a02(1), 93\u2013106 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2008"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69389-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T06:44:45Z","timestamp":1715237085000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69389-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540693888","9783540693895"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69389-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}