{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:23:42Z","timestamp":1704846222513},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,2,22]],"date-time":"2008-02-22T00:00:00Z","timestamp":1203638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s11334-008-0046-3","type":"journal-article","created":{"date-parts":[[2008,2,21]],"date-time":"2008-02-21T08:53:49Z","timestamp":1203584029000},"page":"169-183","source":"Crossref","is-referenced-by-count":8,"title":["Learning better IV&V practices"],"prefix":"10.1007","volume":"4","author":[{"given":"Tim","family":"Menzies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markland","family":"Benson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Costello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christina","family":"Moats","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melissa","family":"Northey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Richardson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,2,22]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"Wallace D, Fujii R (1989) Software verification and validation: an overview. IEEE Softw (May):10\u201317","DOI":"10.1109\/52.28119"},{"key":"46_CR2","unstructured":"IEEE-1012 (1998) IEEE standard 1012-2004 for software verification and validation"},{"key":"46_CR3","unstructured":"Boetticher R, Menzies T, Ostrand T (2007) The PROMISE repository of empirical software engineering data. http:\/\/promisedata.org\/repository"},{"issue":"10","key":"46_CR4","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1109\/32.6191","volume":"14","author":"B Boehm","year":"1988","unstructured":"Boehm B, Papaccio P (1988) Understanding and controlling software costs. IEEE Trans Softw Eng 14(10): 1462\u20131477","journal-title":"IEEE Trans Softw Eng"},{"key":"46_CR5","unstructured":"Dabney JB (2002\u20132004) Return on investment for IV&V, nASA funded study. Results available from http:\/\/sarpresults.ivv.nasa.gov\/ViewResearch\/24.jsp"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Shull F, Basili B, Boehm B, Brown AW, Costa P, Lindvall M, Port D, Rus I, Tesoriero R, Zelkowitz M (2002) What we have learned about fighting defects. In: Proceedings of 8th international software metrics symposium, Ottawa, Canada, pp 249\u2013258. Available from http:\/\/fc-md.umd.edu\/fcmd\/Papers\/shull_defects.ps","DOI":"10.1109\/METRIC.2002.1011343"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Arthur J, Groner M, Hayhurst K, Holloway C (199) Evaluating the effectiveness of independent verification and validation. IEEE Comput (October):79\u201383","DOI":"10.1109\/2.796141"},{"key":"46_CR8","unstructured":"Witten IH, Frank E (2005) Data mining, 2nd edn. Morgan Kaufmann, Los Altos"},{"key":"46_CR9","unstructured":"Costello K (2005) Software integrity level assessment process (SILAP), NASA IV&V facility"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Fisher M, Menzies T (2004) Learning iv&v strategies. In: HICSS\u201906, 2006. Available at http:\/\/menzies.us\/pdf\/06hicss.pdf","DOI":"10.1109\/HICSS.2006.251"},{"key":"46_CR11","unstructured":"Jackson B, Griggs J, Costello K, Solomon D (2006) Systems level definition of iv&v. nASA document IVV 09-1, last revised March 16, 2006. Available online at http:\/\/www.nasa.gov\/centers\/ivv\/pdf\/170825main_IVV_09-1.pdf"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"Zelkowitz MV, Rus I (2001) Understanding IV&V in a safety critical and complex evolutionary environment: the nasa space shuttle program. In: ICSE \u201901: Proceedings of the 23rd international conference on software engineering. IEEE Computer Society, Washington, DC, pp 349\u2013357","DOI":"10.1109\/ICSE.2001.919108"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"Easterbrook, S, Lutz RR, Covington R, Kelly J, Ampo Y, Hamilton D (1998) Experiences using lightweight formal methods for requirements modeling. IEEE Trans Softw Eng 4\u201314","DOI":"10.1109\/32.663994"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Hayes JH, Dekhtyar A, Sundaram SK (2006) Advancing candidate link generation for requirements tracing: the study of methods. IEEE Trans Softw Eng 32(1):4\u201319. Available online at http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2006.3","DOI":"10.1109\/TSE.2006.3"},{"key":"46_CR15","doi-asserted-by":"crossref","unstructured":"Hayes J, Chemannoor I, Surisetty V, Andrews A (2005) Fault links: exploring the relationship between module and fault types. In: Proceedings of European dependable computing conference (EDCC), Budapest, Hungary, April. Available at http:\/\/selab.netlab.uky.edu\/homepage\/edcc2005_hayes_camera_ready_spring er.pdf","DOI":"10.1007\/11408901_31"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Malin J, Throop D (2007) Basic concepts and distinctions for an aerospace ontology of functions, entities and problems. In IEEE Aerospace Conference, March","DOI":"10.1109\/AERO.2007.352806"},{"key":"46_CR17","doi-asserted-by":"crossref","unstructured":"Lutz RR, Mikulski IC (2004) Empirical analysis of safety-critical anomalies during operations. IEEE Trans Softw Eng 30(3):172\u2013180. Available online at http:\/\/csdl.computer.org\/comp\/trans\/ts\/2004\/03\/e0172abs.htm","DOI":"10.1109\/TSE.2004.1271171"},{"key":"46_CR18","unstructured":"Leveson N (1995) Safeware system safety and computers. Addison-Wesley, Reading"},{"key":"46_CR19","doi-asserted-by":"crossref","unstructured":"Heimdahl M, Leveson N (1996) NCompleteness and consistency analysis of state-based requirements. IEEE Trans Softw Eng (May)","DOI":"10.1109\/32.508311"},{"issue":"3","key":"46_CR20","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/52.589234","volume":"14","author":"R Madachy","year":"1997","unstructured":"Madachy R (1997) Heuristic risk assessment using cost factors. IEEE Softw 14(3): 51\u201359","journal-title":"IEEE Softw"},{"key":"46_CR21","unstructured":"Boehm B, Basili V (2001) Software defect reduction top 10 list. IEEE Softw (January):135\u2013137"},{"key":"46_CR22","unstructured":"Menzies T, Stefano JSD (2003) How good is your blind spot sampling policy? In: 2004 IEEE conference on high assurance software engineering. Available at http:\/\/menzies.us\/pdf\/03blind.pdf"},{"key":"46_CR23","doi-asserted-by":"crossref","unstructured":"Menzies T, Greenwald J, Frank A (2007) Data mining static code attributes to learn defect predictors. IEEE Trans Softw Eng (January). Available at http:\/\/menzies.us\/pdf\/06learnPredict.pdf","DOI":"10.1109\/TSE.2007.256941"},{"key":"46_CR24","doi-asserted-by":"crossref","unstructured":"Menzies T, Chen Z, Hihn J, Lum K (2006) Selecting best practices for effort estimation. IEEE Trans Softw Eng (November). Available at http:\/\/menzies.us\/pdf\/06coseekmo.pdf","DOI":"10.1109\/TSE.2006.114"},{"key":"46_CR25","unstructured":"Glass R (1997) Software runaways: lessons learned from massive software project failures. Pearson Education"},{"key":"46_CR26","doi-asserted-by":"crossref","unstructured":"Raffo D, Nayak U, Setamanit S, Wakeland W (2004) Using software process simulation models to assess the impact of IV&V activities. In: Proceedings of the international workshop on software process simulation and modeling (ProSim\u201904), held in conjunction with the international conference of software engineering (ICSE), held in Edinburgh, Scotland, May","DOI":"10.1049\/ic:20040459"},{"issue":"7","key":"46_CR27","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/S0263-7863(01)00049-7","volume":"20","author":"J Jiang","year":"2002","unstructured":"Jiang J, Klein G, Chen H, Lin L (2002) Reducing user-related risks during and prior to system development. Int J Proj Manage 20(7): 507\u2013515","journal-title":"Int J Proj Manage"},{"key":"46_CR28","doi-asserted-by":"crossref","unstructured":"Ropponen J, Lyytinen K (2000) Components of software development risk: how to address them? a project manager survey. IEEE Trans Softw Eng (Feburary):98\u2013112","DOI":"10.1109\/32.841112"},{"issue":"4","key":"46_CR29","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/s10664-005-3864-z","volume":"0","author":"Y Takagi","year":"2005","unstructured":"Takagi Y, Mizuno O, Kikuno T (2005) An empirical approach to characterizing risky software projects based on logistic regression analysis. Empir Softw Eng 0(4): 495\u2013515","journal-title":"Empir Softw Eng"},{"key":"46_CR30","doi-asserted-by":"crossref","unstructured":"Abe S, Mizuno O, Kikuno T, Kikuchi N, Hirayama M (2006) Estimation of project success using bayesian classifier. In ICSE 2006, pp 600\u2013603","DOI":"10.1145\/1134285.1134371"},{"key":"46_CR31","unstructured":"David L (2000) Nasa report: Too many failures with faster, better, cheaper, space.com, 13 March 2000. Available at http:\/\/www.space.com\/businesstechnology\/business\/spear_report_000313.ht ml"},{"key":"46_CR32","doi-asserted-by":"crossref","unstructured":"Cohen W (1995) Fast effective rule induction. In: ICML\u201995, pp 115\u2013123. Available online at http:\/\/www.cs.cmu.edu\/~wcohen\/postscript\/ml-95-ripper.ps","DOI":"10.1016\/B978-1-55860-377-6.50023-2"},{"key":"46_CR33","doi-asserted-by":"crossref","unstructured":"Kohavi R, John GH (1997) Wrappers for feature subset selection. Artif Intell 97(1\u20132):273\u2013324. Available online at http:\/\/citeseer.nj.nec.com\/kohavi96wrappers.html","DOI":"10.1016\/S0004-3702(97)00043-X"},{"key":"46_CR34","doi-asserted-by":"crossref","unstructured":"Hall M, Holmes G (2003) Benchmarking attribute selection techniques for discrete class data mining. IEEE Trans Knowl Data Eng 15(6):1437\u2013 1447. Available at http:\/\/www.cs.waikato.ac.nz\/~mhall\/HallHolmesTKDE.pdf","DOI":"10.1109\/TKDE.2003.1245283"},{"key":"46_CR35","doi-asserted-by":"crossref","unstructured":"Dougherty J, Kohavi R, Sahami M (1995) Supervised and unsupervised discretization of continuous features. In: International conference on machine learning, pp 194\u2013202. Available at http:\/\/www.cs.pdx.edu\/~timm\/dm\/dougherty95supervised.pdf","DOI":"10.1016\/B978-1-55860-377-6.50032-3"},{"key":"46_CR36","unstructured":"Higuera R, Haimes Y (1996) Software risk management. Technical report, June cMU\/SEI-96-TR-012"},{"key":"46_CR37","unstructured":"Quinlan R (1992) C4.5: programs for machine learning. Morgan Kaufman, Los Altos. ISBN: 1558602380"},{"key":"46_CR38","unstructured":"Breiman L, Friedman JH, Olshen RA, Stone CJ (1984) Classification and regression trees. Technical report. Wadsworth International, Monterey"},{"key":"46_CR39","doi-asserted-by":"crossref","unstructured":"Basili V, McGarry F, Pajerski R, Zelkowitz M (2002) Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory. In: Proceedings of the 24th international conference on software engineering (ICSE) 2002, Orlando, Florida. Available at http:\/\/www.cs.umd.edu\/projects\/SoftEng\/ESEG\/papers\/83.88.pdf","DOI":"10.1145\/581339.581351"},{"key":"46_CR40","doi-asserted-by":"crossref","unstructured":"Menzies T, Cukic B (2002) How many tests are enough? In: Chang S (ed) Handbook of software engineering and knowledge engineering, vol II. Available at http:\/\/menzies.us\/pdf\/00ntests.pdf","DOI":"10.1142\/9789812389701_0016"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0046-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0046-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0046-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,4]],"date-time":"2021-09-04T13:23:25Z","timestamp":1630761805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0046-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,22]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["46"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0046-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,22]]}}}