{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:34:18Z","timestamp":1758270858378},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165726"},{"type":"electronic","value":"9783642165733"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16573-3_16","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T07:10:27Z","timestamp":1287990627000},"page":"221-235","source":"Crossref","is-referenced-by-count":18,"title":["A Learning-Based Approach to Unit Testing of Numerical Software"],"prefix":"10.1007","author":[{"given":"Karl","family":"Meinke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9459-1","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"B.F. Caviness","year":"1998","unstructured":"Caviness, B.F., Johnson, J.R.: Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Heidelberg (1998)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36126-X_3","volume-title":"Formal Methods in Computer-Aided Design","author":"P. Chauhan","year":"2002","unstructured":"Chauhan, P., Clarke, E.M., Kukula, J.H., Sapra, S., Veith, H., Wang, D.: Automated abstraction refinement for model checking large state spaces using sat based conflict analysis. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, Springer, Heidelberg (2002)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_20","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2002","unstructured":"Clarke, E., Gupta, A., Kukula, J., Strichman, O.: Sat-based abstraction refinement using ilp and machine learning. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, Springer, Heidelberg (2002)"},{"unstructured":"Cox, M.G., Harris, P.M., Johnson, E.G., Kenward, P.D., Parkin, G.I.: Testing the numerical correctness of software. Technical Report CMSC 34\/04, National Physical Laboratory, Teddington (January 2004)","key":"16_CR4"},{"issue":"5","key":"16_CR5","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/jigpal\/jzl007","volume":"14","author":"A. Groce","year":"2006","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. Logic Journal of the IGPL\u00a014(5), 729\u2013744 (2006)","journal-title":"Logic Journal of the IGPL"},{"issue":"10","key":"16_CR6","first-page":"786","volume":"20","author":"L. Hatton","year":"1994","unstructured":"Hatton, L., Roberts, A.: How accurate is scientific software? ACM Transactions on Software Engineering\u00a020(10), 786\u2013797 (1994)","journal-title":"ACM Transactions on Software Engineering"},{"issue":"8","key":"16_CR7","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MC.2007.292","volume":"40","author":"L. Hatton","year":"2007","unstructured":"Hatton, L.: The chimera of software quality. Computer\u00a040(8), 104, 102\u2013103 (2007)","journal-title":"Computer"},{"key":"16_CR8","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035421","volume-title":"Verification of Computer Codes in Computational Science and Engineering","author":"P. Knupp","year":"2002","unstructured":"Knupp, P., Salari, K.: Verification of Computer Codes in Computational Science and Engineering. CRC Press, Boca Raton (2002)"},{"key":"16_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-96753-4","volume-title":"The foundations of program verification","author":"J. Loeckx","year":"1987","unstructured":"Loeckx, J., Sieber, K.: The foundations of program verification, 2nd edn. John Wiley & Sons, Inc., New York (1987)","edition":"2"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1007512.1007532","volume-title":"ISSTA 2004: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis","author":"K. Meinke","year":"2004","unstructured":"Meinke, K.: Automated black-box testing of functional correctness using function approximation. In: ISSTA 2004: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp. 143\u2013153. ACM, New York (2004)"},{"key":"16_CR11","volume-title":"Automating Specification-Based Software Testing","author":"R.M. Poston","year":"1997","unstructured":"Poston, R.M.: Automating Specification-Based Software Testing. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"16_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-8095-4","volume-title":"Multivariate Polynomial Approximation","author":"M. Reimer","year":"2003","unstructured":"Reimer, M.: Multivariate Polynomial Approximation. Birkh\u00e4user, Basel (October 2003)"},{"doi-asserted-by":"crossref","unstructured":"Roache, P.J.: Building pde codes to be verifiable and validatable. Computing in Science and Engineering, 30\u201338 (September\/October 2004)","key":"16_CR13","DOI":"10.1109\/MCSE.2004.33"},{"key":"16_CR14","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski, A.: Decision Method for Elementary Algebra and Geometry. Univ. of California Press, Berkeley (1951)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16573-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T16:10:59Z","timestamp":1636733459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16573-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165726","9783642165733"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16573-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}