{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T18:10:37Z","timestamp":1775758237583,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,6,7]],"date-time":"2012-06-07T00:00:00Z","timestamp":1339027200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Engineering with Computers"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s00366-012-0267-9","type":"journal-article","created":{"date-parts":[[2012,6,6]],"date-time":"2012-06-06T07:06:45Z","timestamp":1338966405000},"page":"487-496","source":"Crossref","is-referenced-by-count":25,"title":["MASA : a library for verification using manufactured and analytical solutions"],"prefix":"10.1007","volume":"29","author":[{"given":"Nicholas","family":"Malaya","sequence":"first","affiliation":[]},{"given":"Kemelli C.","family":"Estacio-Hiroms","sequence":"additional","affiliation":[]},{"given":"Roy H.","family":"Stogner","sequence":"additional","affiliation":[]},{"given":"Karl W.","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Paul T.","family":"Bauman","sequence":"additional","affiliation":[]},{"given":"Graham F.","family":"Carey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,7]]},"reference":[{"key":"267_CR1","unstructured":"(2010) Buildbot 0.8.1. http:\/\/trac.buildbot.net\/"},{"key":"267_CR2","unstructured":"(2010) Doxygen 1.6.3. http:\/\/www.doxygen.org\/index.html"},{"issue":"36\u201338","key":"267_CR3","doi-asserted-by":"crossref","first-page":"4057","DOI":"10.1016\/j.cma.2004.03.002","volume":"193","author":"I Babuska","year":"2004","unstructured":"Babuska I, Oden JT (2004) Verification and validation in computational engineering and science: basic concepts. Comput Methods Appl Mech Eng 193(36\u201338):4057\u20134066","journal-title":"Comput Methods Appl Mech Eng"},{"issue":"9","key":"267_CR4","doi-asserted-by":"crossref","first-page":"2224","DOI":"10.2514\/1.28099","volume":"45","author":"RB Bond","year":"2007","unstructured":"Bond RB, Ober CC, Knupp PM, Bova SW (2007) Manufactured solution for computational fluid dynamics boundary condition verification. AIAA J 45(9):2224\u20132236","journal-title":"AIAA J"},{"issue":"3\u20134","key":"267_CR5","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1080\/10618560701553436","volume":"21","author":"L E\u00e7a","year":"2007","unstructured":"E\u00e7a L, Hoekstra M, Hay A, Pelletier D (2007) A manufactured solution for a two-dimensional steady wall-bounded incompressible turbulent flow. Int J Comput Fluid Dyn 21(3\u20134):175\u2013188","journal-title":"Int J Comput Fluid Dyn"},{"issue":"4","key":"267_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s00366-007-0067-9","volume":"23","author":"L E\u00e7a","year":"2007","unstructured":"E\u00e7a L, Hoekstra M, Hay A, Pelletier D (2007) Verification of RANS solvers with manufactured solutions. Eng Comput 23(4):253\u2013270","journal-title":"Eng Comput"},{"issue":"6","key":"267_CR7","doi-asserted-by":"crossref","first-page":"1713","DOI":"10.2514\/1.44638","volume":"32","author":"JR Ellis","year":"2009","unstructured":"Ellis JR, Hall CD (2009) Model development and code verification for simulation of electrodynamic tether system. J Guid Control Dyn 32(6):1713\u20131722","journal-title":"J Guid Control Dyn"},{"key":"267_CR8","doi-asserted-by":"crossref","unstructured":"Fike JA, Alonso JJ (2011) The development of hyper-dual numbers for exact second-derivative calculations. In: AIAA paper 2011-886, 49th AIAA Aerospace Sciences Meeting","DOI":"10.2514\/6.2011-886"},{"key":"267_CR9","unstructured":"GNU (2009) Autoconf 2.65. http:\/\/www.gnu.org\/software\/autoconf\/"},{"key":"267_CR10","unstructured":"GNU (2010) Gcov 4.4.3. http:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html"},{"key":"267_CR11","unstructured":"Griewank A (1989) On automatic differentiation. In: In mathematical programming: recent developments and applications. Kluwer Academic Publishers, The Nethjerlands, pp 83\u2013108"},{"key":"267_CR12","volume-title":"The Practice of programming (Addison\u2013Wesley Professional Computing Series)","author":"BW Kernighan","year":"1999","unstructured":"Kernighan BW, Pike R (1999) The Practice of Programming (Addison-Wesley Professional Computing Series). Addison-Wesley Professional, Boston"},{"key":"267_CR13","volume-title":"Verification of computer codes in computational science and engineering. Discrete mathematics and its applications","author":"P Knupp","year":"2003","unstructured":"Knupp P, Salari K (2003) Verification of computer codes in computational science and engineering. Discrete mathematics and its applications. Chapman & Hall\/CRC, London"},{"issue":"6","key":"267_CR14","doi-asserted-by":"crossref","first-page":"3323","DOI":"10.1137\/09076920X","volume":"32","author":"K Long","year":"2010","unstructured":"Long K, Kirby R, Waanders BVB (2010) Unified embedded parallel finite element computations via software-based frechet differentiation. SIAM J Sci Comput 32(6):3323\u20133351","journal-title":"SIAM J Sci Comput"},{"issue":"15","key":"267_CR15","doi-asserted-by":"crossref","first-page":"2590","DOI":"10.1016\/j.jqsrt.2008.06.003","volume":"109","author":"RG McClarren","year":"2008","unstructured":"McClarren RG, Lowrie RB (2008) Manufactured solutions for the P-1 radiation-hydrodynamics equations. J Quant Spectrosc Radiat Transf 109(15):2590\u20132602","journal-title":"J Quant Spectrosc Radiat Transf"},{"key":"267_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511760396","volume-title":"Verification and validation in scientific computing","author":"WL Oberkampf","year":"2010","unstructured":"Oberkampf WL, Roy CJ (2010) Verification and validation in scientific computing. Cambridge University Press, Cambridge"},{"issue":"3","key":"267_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0376-0421(02)00005-2","volume":"38","author":"WL Oberkampf","year":"2002","unstructured":"Oberkampf WL, Trucano TG (2002) Verification and validation in computational fluid dynamics. Prog Aerosp Sci 38(3):209\u2013272","journal-title":"Prog Aerosp Sci"},{"issue":"3","key":"267_CR18","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1016\/j.nucengdes.2007.02.032","volume":"238","author":"WL Oberkampf","year":"2008","unstructured":"Oberkampf WL, Trucano TG (2008) Verification and validation benchmarks. Nucl Eng Des 238(3):716\u2013743","journal-title":"Nucl Eng Des"},{"key":"267_CR19","unstructured":"Oden JT, Belytschko T, Fish J, Hughes TJ, Johnson C, Keyes D, Laub A, Petzold L, Srolovitz D, Yip S (2006) Revolutionizing engineering science through simulation. Tech rep, National Science Foundation Blue Ribbon Panel on Simulation-Based Engineering Science (SBES)"},{"key":"267_CR20","doi-asserted-by":"crossref","unstructured":"Oliver TA, Estacio-Hiroms KC, Malaya N, Carey GF (2012) Manufactured solutions for the Favre-averaged Navier\u2013Stokes equations with eddy-viscosity turbulence models. In: 50th AIAA Aerospace Sciences Meeting, AIAA 2012-0080","DOI":"10.2514\/6.2012-80"},{"issue":"7","key":"267_CR21","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1002\/fld.672","volume":"44","author":"D Pelletier","year":"2004","unstructured":"Pelletier D, Turgeon E, Tremblay D (2004) Verification and validation of impinging round jet simulations using an adaptive FEM. Int J Numer Methods Fluids 44(7):737\u2013763","journal-title":"Int J Numer Methods Fluids"},{"key":"267_CR22","doi-asserted-by":"crossref","first-page":"337","DOI":"10.2514\/1.14404","volume":"45","author":"JM Powers","year":"2006","unstructured":"Powers JM, Aslam TD (2006) Exact solution for multidimensional compressible reactive flow for verifying numerical algorithms. AIAA J 45:337\u2013344","journal-title":"AIAA J"},{"key":"267_CR23","doi-asserted-by":"crossref","unstructured":"Prudencio E, Schulz KW (2012) The parallel C++ statistical library QUESO: Quantification of uncertainty for estimation, simulation and optimization. In: Euro-Par 2011: Parallel Processing Workshops, Lecture Notes in Computer Science, vol 7155. Springer, Berlin, Heidelberg, pp 398\u2013407. http:\/\/dx.doi.org\/10.1007\/978-3-642-29737-3_44","DOI":"10.1007\/978-3-642-29737-3_44"},{"key":"267_CR24","volume-title":"Verification and validation in computational science and engineering","author":"PJ Roache","year":"1998","unstructured":"Roache PJ (1998) Verification and validation in computational science and engineering. Hermosa Publishers, Socorro"},{"issue":"1","key":"267_CR25","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1115\/1.1436090","volume":"124","author":"PJ Roache","year":"2002","unstructured":"Roache PJ (2002) Code verification by the method of manufactured solutions. J Fluids Eng Transact ASME 124(1):4\u201310","journal-title":"J Fluids Eng Transact ASME"},{"issue":"1","key":"267_CR26","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.jcp.2004.10.036","volume":"205","author":"CJ Roy","year":"2005","unstructured":"Roy CJ (2005) Review of code and solution verification procedures for computational simulation. J Comput Phys 205(1):131\u2013156","journal-title":"J Comput Phys"},{"key":"267_CR27","doi-asserted-by":"crossref","unstructured":"Roy CJ, Smith TM, Ober CC (2002) Verification of a compressible CFD code using the method of manufactured solutions. In: 32nd AIAA Fluid Dynamics Conference and Exhibit, AIAA 2002\u20133110","DOI":"10.2514\/6.2002-3110"},{"key":"267_CR28","doi-asserted-by":"crossref","unstructured":"Roy CJ, Tendean E, Veluri SP, Rifki R, Hebert S, Luke EA (2007) Verification of rans turbulence models in Loci-CHEM using the method of manufactured solutions. In: 18th AIAA Computational Fluid Dynamics Conference, AIAA 2007\u20134203","DOI":"10.2514\/6.2007-4203"},{"issue":"6","key":"267_CR29","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1002\/fld.660","volume":"44","author":"CJ Roy","year":"2004","unstructured":"Roy CJ, Nelson CC, Smith TM, Ober CC (2004) Verification of Euler\/Navier\u2013Stokes codes using the method of manufactured solutions. Int J Numer Meth Fluids 44(6):599\u2013620","journal-title":"Int J Numer Meth Fluids"},{"key":"267_CR30","doi-asserted-by":"crossref","unstructured":"Salari K, Knupp P (2000) Code verification by the method of manufactured solutions. Tech Rep SAND2000 - 1444, Sandia National Laboratories","DOI":"10.2172\/759450"},{"issue":"6","key":"267_CR31","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1002\/nme.1620210605","volume":"21","author":"TM Shih","year":"1985","unstructured":"Shih TM (1985) A procedure to debug computer-programs. Int J Numer Meth Fluids 21(6):1027\u20131037","journal-title":"Int J Numer Meth Fluids"},{"issue":"3","key":"267_CR32","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1002\/fld.2156","volume":"64","author":"HG Silva","year":"2009","unstructured":"Silva HG, Souza LF, Medeiros MAF (2009) Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions. Int J Numer Meth Fluids 64(3):336\u2013354","journal-title":"Int J Numer Meth Fluids"},{"issue":"2","key":"267_CR33","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0021-9991(85)90045-2","volume":"57","author":"S Steinberg","year":"1985","unstructured":"Steinberg S, Roache PJ (1985) Symbolic manipulation and computational fluid dynamics. J Comput Phys 57(2):251\u2013284","journal-title":"J Comput Phys"},{"issue":"36","key":"267_CR34","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1080\/14786449308620508","volume":"5","author":"W Sutherland","year":"1893","unstructured":"Sutherland W (1893) The viscosity of gases and molecular force. Phil Mag 5(36):507\u2013531","journal-title":"Phil Mag"},{"key":"267_CR35","doi-asserted-by":"crossref","unstructured":"Tremblay D, Etienne S, Pelletier D (2006) Code Verification and the Method of Manufactured Solutions for Fluid-Structure Interaction Problems. In: 36th AIAA Fluid Dynamics Confernce, AIAA 2006\u20133218, pp 882\u2013892","DOI":"10.2514\/6.2006-3218"}],"container-title":["Engineering with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00366-012-0267-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00366-012-0267-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00366-012-0267-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:39:44Z","timestamp":1561793984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00366-012-0267-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,7]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["267"],"URL":"https:\/\/doi.org\/10.1007\/s00366-012-0267-9","relation":{},"ISSN":["0177-0667","1435-5663"],"issn-type":[{"value":"0177-0667","type":"print"},{"value":"1435-5663","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,7]]}}}