{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:24:04Z","timestamp":1782879844961,"version":"3.54.5"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10664-013-9263-y","type":"journal-article","created":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T22:51:25Z","timestamp":1374101485000},"page":"1809-1855","source":"Crossref","is-referenced-by-count":74,"title":["Challenges and practices in aligning requirements with verification and validation: a case study of six companies"],"prefix":"10.1007","volume":"19","author":[{"given":"Elizabeth","family":"Bjarnason","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Per","family":"Runeson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Markus","family":"Borg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Unterkalmsteiner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emelie","family":"Engstr\u00f6m","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bj\u00f6rn","family":"Regnell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giedre","family":"Sabaliauskaite","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annabella","family":"Loconsole","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tony","family":"Gorschek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Feldt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"key":"9263_CR1","doi-asserted-by":"crossref","unstructured":"Barmi ZA, Ebrahimi AH, Feldt R (2011) Alignment of requirements specification and testing: A systematic mapping study. In: Proc 4th Int. Conf. On Software Testing, Verification and Validation Workshops (ICSTW) pp. 476\u2013485","DOI":"10.1109\/ICSTW.2011.58"},{"key":"9263_CR2","doi-asserted-by":"crossref","unstructured":"Cao L, Ramesh B (2008) Agile requirements engineering practices: An empirical study. In: IEEE Software Jan\/Feb 2008","DOI":"10.1109\/MS.2008.1"},{"key":"9263_CR3","unstructured":"Cheng BH, Atlee JM (2007) Research directions in requirements engineering. In: Proc. Future of Software Engineering (FOSE) pp. 285\u2013303"},{"key":"9263_CR4","doi-asserted-by":"crossref","unstructured":"Cleland-Huang J, Chang CK, Christensen M (2003) Event-based traceability for managing evolutionary change. In: IEEE Transactions on Software 29(9)","DOI":"10.1109\/TSE.2003.1232285"},{"key":"9263_CR5","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s10664-005-1288-4","volume":"10","author":"D Damian","year":"2005","unstructured":"Damian D, Chisan J, Vaidyanathasamy L, Pal Y (2005) Requirements engineering and downstream software development: findings from a case study. Empir Softw Eng 10:255\u2013283","journal-title":"Empir Softw Eng"},{"issue":"7","key":"9263_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/TSE.2006.61","volume":"32","author":"D Damian","year":"2006","unstructured":"Damian D, Chisan J (2006) An empirical study of the complex relationship between requirements engineering processes and other processes that lead to payoffs in productivity, quality, and risk management. IEEE Trans Softw Eng 32(7):33\u2013453","journal-title":"IEEE Trans Softw Eng"},{"key":"9263_CR7","doi-asserted-by":"crossref","unstructured":"De Lucia A, Fasano F, Oliveto R, Tortora G (2007) Recovering traceability links in software artifact management systems using information retrieval methods. In: ACM Transactions on Software Engineering and Methodology, 16(4):Article 13","DOI":"10.1145\/1276933.1276934"},{"key":"9263_CR8","doi-asserted-by":"crossref","unstructured":"Dias Neto AC, Arilo C, Subramanyan R, Vieira M, Travassos GH (2007) A survey on model-based testing approaches: A systematic review. In: Proc of 1st ACM Int workshop on Empirical Assessment of Software Engineering Languages and Technologies, pp. 31\u201336","DOI":"10.1145\/1353673.1353681"},{"key":"9263_CR9","doi-asserted-by":"crossref","unstructured":"Ferguson RW, Lami G (2006) An empirical study on the relationship between defective requirements and test failures. In: Proc of 30th Annual IEEE\/NASA Software Engineering Workshop SEW-30 (SEW\u201906)","DOI":"10.1109\/SEW.2006.9"},{"key":"9263_CR10","unstructured":"Fogelstr\u00f6m N, Gorschek T (2007) Test-case driven versus checklist-based inspections of software requirements\u2014an experimental evaluation, In: Proc. of 10th Workshop on Requirements Engineering (WER\u201907)"},{"key":"9263_CR11","doi-asserted-by":"crossref","unstructured":"Gotel O, Finkelstein A (1994) An analysis of the requirements traceability problem. In: Proc. First Int Conf. Requirements Eng., pp. 94\u2013101","DOI":"10.1109\/ICRE.1994.292398"},{"issue":"1\u20132","key":"9263_CR12","first-page":"67","volume":"50","author":"T Gorschek","year":"2007","unstructured":"Gorschek T, Davis AM (2007) Requirements engineering: in search of the dependent variables. Inf Softw Technol 50(1\u20132):67\u201375","journal-title":"Inf Softw Technol"},{"key":"9263_CR13","doi-asserted-by":"crossref","first-page":"1311","DOI":"10.1002\/spe.615","volume":"34","author":"T Gorschek","year":"2004","unstructured":"Gorschek T, Wohlin C (2004) Packaging software process improvement issues\u2014a method and a case study. Softw Pract & Experience 34:1311\u20131344","journal-title":"Softw. Pract & Experience"},{"key":"9263_CR14","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s00766-005-0020-7","volume":"11","author":"T Gorschek","year":"2006","unstructured":"Gorschek T, Wohlin C (2006) Requirements abstraction model. Requir Eng J 11:79\u2013101","journal-title":"Requir Eng J"},{"key":"9263_CR15","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MS.2002.1032845","volume":"19","author":"D Graham","year":"2002","unstructured":"Graham D (2002) Requirements and testing: seven missing-link myths. IEEE Softw 19:15\u201317","journal-title":"IEEE Softw"},{"issue":"1","key":"9263_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp W, Kicillof N, Stobie K, Braberman V (2011) Model-based quality assurance of protocol documentation: tools and methodology. Softw Test Verification Reliab 21(1):55\u201371","journal-title":"Softw. Test Verification Reliab."},{"key":"9263_CR17","doi-asserted-by":"crossref","unstructured":"Hasling B, Goetz H, Beetz K (2008) Model based testing of system requirements using UML use case models. In: Proc of 2008 international Conference on Software Testing, Verification, and Validation","DOI":"10.1109\/ICST.2008.9"},{"issue":"3","key":"9263_CR18","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s11334-007-0024-1","volume":"3","author":"JH Hayes","year":"2007","unstructured":"Hayes JH, Dekhtyar A, Sundaram SK, Holbrook EA, Vadlamudi S, April A (2007) REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery. Innov Syst Softw Eng 3(3):193\u2013202","journal-title":"Innov Syst Softw Eng"},{"issue":"2","key":"9263_CR19","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1109\/TE.2009.2016106","volume":"52","author":"M H\u00f6st","year":"2010","unstructured":"H\u00f6st M, Feldt R, L\u00fcders F (2010) Support for different stakeholders in software engineering master thesis projects. IEEE Trans Educ 52(2):288\u2013296. doi: 10.1109\/TE.2009.2016106","journal-title":"IEEE Trans Educ"},{"key":"9263_CR20","volume-title":"IEEE standard glossary of software engineering terminology. Technical Report 610.12\u20131990","author":"IEEE","year":"1990","unstructured":"IEEE (1990) IEEE standard glossary of software engineering terminology. Technical Report 610.12\u20131990. IEEE, New York"},{"key":"9263_CR21","unstructured":"ISO\/IEC. (2001) 9126\u20131:2001(E), International standard software engineering product quality part 1: Quality model. Technical report, ISO\/IEC"},{"key":"9263_CR22","doi-asserted-by":"crossref","unstructured":"Jarke, M (1998) Requirements Traceability. Commun ACM 41(12):32\u201336","DOI":"10.1145\/290133.290145"},{"key":"9263_CR23","doi-asserted-by":"crossref","unstructured":"Jones JA, Grechanik M, van der Hoek A (2009) Enabling and enhancing collaborations between software development organizations and independent test agencies. In: Cooperative and Human Aspects of Software Engineering (CHASE\u201909), May 17, 2009, Vancouver, Canada","DOI":"10.1109\/CHASE.2009.5071411"},{"issue":"3","key":"9263_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/203330.203345","volume":"38","author":"RE Kraut","year":"1995","unstructured":"Kraut RE, Streeter L (1995) Coordination in software development. Commun ACM 38(3):69\u201381","journal-title":"Commun ACM"},{"key":"9263_CR25","doi-asserted-by":"crossref","unstructured":"Kukkanen J, Vakevainen K, Kauppinen M, Uusitalo E (2009) Applying a systematic approach to link requirements and testing: A case study, In: Proc of Asia-Pacific Software Engineering Conference (APSEC \u201909):482\u2013488","DOI":"10.1109\/APSEC.2009.62"},{"key":"9263_CR26","doi-asserted-by":"crossref","unstructured":"Lormans M, van Deursen A, Gross H (2008) An industrial case study in reconstructing requirements views, In: Empirical Software Engineering, online first, September 03, 2008","DOI":"10.1007\/s10664-008-9078-4"},{"key":"9263_CR27","unstructured":"Lubars M, Potts C, Richter C (1993) A review of the state of the practice in requirements modelling. In: Proc of 1st IEEE Int. Symposium on Requirements Engineering, pp. 2\u201314"},{"issue":"1","key":"9263_CR28","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MS.2008.24","volume":"25","author":"R Martin","year":"2008","unstructured":"Martin R, Melnik G (2008) Tests and requirements, requirements and tests a M\u00f6bius strip. IEEE Softw 25(1):54\u201359","journal-title":"IEEE Softw"},{"key":"9263_CR29","doi-asserted-by":"crossref","unstructured":"Melnik G, Maurer F, Chiasson M (2006) Executable acceptance tests for communicating business requirements: Customer perspective. In: Proc. of Agile Conference, Minneapolis, USA, pp. 12\u201346","DOI":"10.1109\/AGILE.2006.26"},{"key":"9263_CR30","doi-asserted-by":"crossref","unstructured":"Mohagheghi P, Dehlen V (2008) Where is the proof? - A review of experiences from applying MDE in industry. In: LNCS, Model driven architecture\u2014foundations and applications, vol 5095:432\u2013443","DOI":"10.1007\/978-3-540-69100-6_31"},{"issue":"3","key":"9263_CR31","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C Nebut","year":"2006","unstructured":"Nebut C, Fleurey F, Traon YL, J\u00e9z\u00e9quel J (2006) Automatic test generation: a use case driven approach. IEEE Trans Softw Eng 32(3):140\u2013155","journal-title":"IEEE Trans Softw Eng"},{"key":"9263_CR32","doi-asserted-by":"crossref","unstructured":"Paci F, Massacci F, Bouquet F, Debricon S (2012) Managing evolution by orchestrating requirements and testing engineering processes. In: Proc. of IEEE 5th Int. Conf. On, pp.834\u2013841, 17\u201321 April 2012","DOI":"10.1109\/ICST.2012.184"},{"issue":"6","key":"9263_CR33","doi-asserted-by":"crossref","first-page":"972","DOI":"10.1016\/j.jss.2007.08.032","volume":"81","author":"F Pettersson","year":"2008","unstructured":"Pettersson F, Ivarsson M, Gorschek (2008) A practitioner\u2019s guide to light weight software process assessment and improvement planning. J Syst Softw 81(6):972\u2013995","journal-title":"J Syst Softw"},{"key":"9263_CR34","doi-asserted-by":"crossref","unstructured":"Post H, Sinz C, Merz F, Gorges T, Kropf T (2009) Linking functional requirements and software verification. In: Proceedings of 17th IEEE International Requirements Engineering Conference, pp. 295\u2013302","DOI":"10.1109\/RE.2009.43"},{"issue":"1","key":"9263_CR35","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1023\/A:1018969401055","volume":"3","author":"B Ramesh","year":"1997","unstructured":"Ramesh B, Stubbs C, Powers T, Edwards M (1997) Requirements traceability: theory and practice. Ann Softw Eng 3(1):397\u2013415","journal-title":"Ann Softw Eng"},{"key":"9263_CR36","doi-asserted-by":"crossref","unstructured":"Ramesh B (1998) Factors influencing requirements traceability practice. In: Communications of the ACM CACM Homepage archive, 41(12):37\u201344","DOI":"10.1145\/290133.290147"},{"key":"9263_CR37","first-page":"204","volume-title":"NATO working conference on software engineering 1968","author":"B Randell","year":"1969","unstructured":"Randell B (1969) Towards a methodology of computing system design. In: Naur P, Randell B (eds) NATO working conference on software engineering 1968. Report on a Conference Sponsored by NATO Scientific Committee, Garmisch, pp 204\u2013208"},{"key":"9263_CR38","unstructured":"Regnell B, Runeson P (1998) Combining scenario-based requirements with static verification and dynamic testing. In: Proc. 4th Int. Working Conf. Requirements Engineering: Foundation for Software Quality, pp.195\u2013206"},{"issue":"2","key":"9263_CR39","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0164-1212(99)00084-9","volume":"50","author":"B Regnell","year":"2000","unstructured":"Regnell B, Runeson P, Wohlin C (2000) Towards integration of use case modelling and usage-based testing. J Syst Softw 50(2):117\u2013130","journal-title":"J Syst Softw"},{"key":"9263_CR40","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/j.infsof.2008.01.007","volume":"51","author":"F Ricca","year":"2009","unstructured":"Ricca F, Torchiano M, Di Penta M, Ceccato M, Tonella P (2009) Using acceptance tests as a support for clarifying requirements: a series of experiments. Inf Softw Technol 51:270\u2013283","journal-title":"Inf Softw Technol"},{"key":"9263_CR41","unstructured":"Robson C (2002) Real world research: A resource for social scientists and practitioner researchers, 2nd edition. Blackwell Publishing"},{"issue":"1","key":"9263_CR42","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1002\/smr.265","volume":"15","author":"P Runeson","year":"2003","unstructured":"Runeson P, Andersson C, H\u00f6st M (2003) Test processes in software product evolution\u2014a qualitative survey on the state of practice. J Softw Maint Evol Res Pract 15(1):41\u201359","journal-title":"J Softw Maint Evol Res Pract"},{"issue":"2","key":"9263_CR43","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson P, H\u00f6st M (2009) Guidelines for conducting and reporting case study research in software engineering. Empir Softw Eng 14(2):131\u2013164","journal-title":"Empir Softw Eng"},{"key":"9263_CR44","doi-asserted-by":"crossref","unstructured":"Runeson P, H\u00f6st M, Rainer A, Regnell B (2012) Case study research in software engineering\u2014guidelines and examples. Wiley","DOI":"10.1002\/9781118181034"},{"key":"9263_CR45","doi-asserted-by":"crossref","unstructured":"Sabaliauskaite G, Loconsole A, Engstr\u00f6m E, Unterkalmsteiner M, Regnell B, Runeson P, Gorschek T, Feldt R (2010) Challenges in aligning requirements engineering and verification in a large-scale industrial context. In: Proceedings of REFSQ 2010","DOI":"10.1007\/978-3-642-14192-8_14"},{"issue":"1","key":"9263_CR46","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s00766-011-0144-x","volume":"17","author":"E Sikora","year":"2012","unstructured":"Sikora E, Tenbergen B, Pohl K (2012) Industry needs and research directions in requirements engineering for embedded systems. Requir Eng 17(1):57\u201378","journal-title":"Requir Eng"},{"key":"9263_CR47","doi-asserted-by":"crossref","unstructured":"Uusitalo EJ, Komassi M, Kauppinen M, Davis AM (2008) Linking requirements and testing in practice. In: Proceedings of 16th IEEE International Requirements Engineering Conference, pp. 295\u2013302","DOI":"10.1109\/RE.2008.30"},{"issue":"4","key":"9263_CR48","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1109\/52.300100","volume":"11","author":"R Watkins","year":"1994","unstructured":"Watkins R, Neal M (1994) Why and how of requirements tracing. IEEE Softw 11(4):104\u2013106","journal-title":"IEEE Softw"},{"issue":"2","key":"9263_CR49","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s00766-010-0111-y","volume":"16","author":"T Yue","year":"2011","unstructured":"Yue T, Briand L, Labiche Y (2011) A systematic review of transformation approaches between user requirements and analysis models. Requir Eng 16(2):75\u201399","journal-title":"Requir Eng"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9263-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-013-9263-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-013-9263-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T14:09:20Z","timestamp":1563458960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-013-9263-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"references-count":49,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9263"],"URL":"https:\/\/doi.org\/10.1007\/s10664-013-9263-y","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,19]]}}}