{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:46:40Z","timestamp":1767451600459,"version":"3.37.3"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T00:00:00Z","timestamp":1565913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T00:00:00Z","timestamp":1565913600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s00766-019-00325-w","type":"journal-article","created":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T19:02:23Z","timestamp":1565982143000},"page":"317-337","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Software requirements testing approaches: a systematic literature review"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1176-050X","authenticated-orcid":false,"given":"Jemison","family":"dos Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz Eduardo G.","family":"Martins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino A.","family":"de Santiago J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas Venezian","family":"Povoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciana Brasil R.","family":"dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,16]]},"reference":[{"key":"325_CR1","volume-title":"Introdu\u00e7\u00e3o ao teste de software","author":"M Delamaro","year":"2017","unstructured":"Delamaro M, Jino M, Maldonado J (2017) Introdu\u00e7\u00e3o ao teste de software, vol 1. Elsevier, Brasil"},{"issue":"3","key":"325_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/1072997.1072998","volume":"14","author":"MF Lau","year":"2005","unstructured":"Lau MF, Yu YT (2005) An extended fault class hierarchy for specification-based testing. ACM Trans Softw Eng Methodol 14(3):247\u2013276","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"325_CR3","volume-title":"Safeware: system safety and computers","author":"NG Leveson","year":"1995","unstructured":"Leveson NG (1995) Safeware: system safety and computers. ACM, New York"},{"key":"325_CR4","unstructured":"Ali MM, Moawad R (2010) An approach for requirements based software product line testing. In: 2010 the 7th international conference on informatics and systems (INFOS), 1 March 2010"},{"issue":"1","key":"325_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.infsof.2012.06.013","volume":"55","author":"R Ali","year":"2013","unstructured":"Ali R, Dalpiaz F, Giorgini P (2013) Reasoning with contextual requirements: detecting inconsistency and conflicts. Inf Softw Technol 55(1):35\u201357","journal-title":"Inf Softw Technol"},{"key":"325_CR6","doi-asserted-by":"crossref","unstructured":"Alves MCB, Drusinsky D, Shing M-T (2011) A practical formal approach for requirements validation and verification of dependable systems. In: 2011 Fifth Latin- American Symposium on Dependable Computing Workshops. IEEE, pp 47\u201351","DOI":"10.1109\/LADCW.2011.14"},{"issue":"4","key":"325_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2377656.2377659","volume":"21","author":"A Cimatti","year":"2012","unstructured":"Cimatti A, Roveri M, Susi A, Tonetta S (2012) Validation of requirements for hybrid systems. ACM Trans Softw Eng Methodol 21(4):1\u201334","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"325_CR8","doi-asserted-by":"crossref","unstructured":"Ibrahim R, Saringat MZ, Ibrahim N, Ismail N (2007) An automatic tool for generating test cases from the system\u2019s requirements. In: 7th IEEE international conference on computer and information technology (CIT 2007). IEEE, pp 861\u2013866","DOI":"10.1109\/CIT.2007.116"},{"key":"325_CR9","unstructured":"Tang W, Ning B, Xu T, Zhao L (2010) Scenario-based modeling and verification for CTCS-3 system requirement specification. In: 2010 2nd International conference on computer engineering and technology, vol 1. IEEE, pp V1-400\u2013V1-403"},{"key":"325_CR10","doi-asserted-by":"crossref","unstructured":"Andrade E, Maciel P, Gustavo C, Bruno N (2009) A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: 2009 3rd international conference on digital society. IEEE, pp 266\u2013271","DOI":"10.1109\/ICDS.2009.19"},{"key":"325_CR11","doi-asserted-by":"crossref","unstructured":"Hammani FZ (2014) Survey of non- functional requirements modeling and verification of Software Product Lines. In: 2014 IEEE 8th international conference on research challenges in information science (RCIS), pp 1\u20136","DOI":"10.1109\/RCIS.2014.6861085"},{"key":"325_CR12","doi-asserted-by":"crossref","unstructured":"Sharma A, Kushwaha SD (2011) A metric suite for early estimation of software testing effort using requirement engineering document and its validation. In: 2011 2nd International conference on computer and communication technology, ICCCT-2011, pp 373\u2013378","DOI":"10.1109\/ICCCT.2011.6075150"},{"key":"325_CR13","doi-asserted-by":"crossref","unstructured":"Kelley K (2009) Automated test case generation from correct and complete system requirements models. In: 2009 IEEE aerospace conference. IEEE, pp 1\u201310","DOI":"10.1109\/AERO.2009.4839619"},{"issue":"2","key":"325_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1237500.1237503","volume":"10","author":"T Ahmend","year":"2007","unstructured":"Ahmend T, Tripathi AR (2007) Specification and verification of safety requirements in a programming model for decentralized CSCW systems. ACM Trans Inf Syst Saf 10(2):7","journal-title":"ACM Trans Inf Syst Saf"},{"key":"325_CR15","unstructured":"Sommerville I (2011) Engenharia de software. In: Tradu\u00e7\u00e3o Ivan Bosnic e Kalinka G. de O. Gonc\u00e7alves; revis\u00e3o t\u00e9cnica Kechi Hirama, 9 edition. Pearson Prentice Hall, S\u00e3o Paulo"},{"key":"325_CR16","doi-asserted-by":"crossref","unstructured":"Driskell SB, Murphy J, Michael BJ, Shing MT (2010) Independent validation of software safety requirements for systems of systems. In: 2010 5th international conference on system of systems engineering, SoSE 2010","DOI":"10.1109\/SYSOSE.2010.5544100"},{"key":"325_CR17","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.infsof.2016.04.002","volume":"75","author":"LEG Martins","year":"2016","unstructured":"Martins LEG, Gorschek T (2016) Requirements engineering for safety-critical systems: a systematic literature review. Inf Softw Technol 75:71\u201389","journal-title":"Inf Softw Technol"},{"key":"325_CR18","first-page":"1051","volume":"2","author":"B Kitchenham","year":"2007","unstructured":"Kitchenham B, Charters S (2007) Guidelines for performing systematic literature reviews in software engineering. Engineering 2:1051","journal-title":"Engineering"},{"key":"325_CR19","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.jss.2016.11.031","volume":"125","author":"J Vilela","year":"2017","unstructured":"Vilela J, Castro J, Martins LEG, Gorschek T (2017) Integration between requirements engineering and safety analysis: a systematic literature review. J Syst Softw 125:68\u201392","journal-title":"J Syst Softw"},{"issue":"4","key":"325_CR20","doi-asserted-by":"publisher","first-page":"1327","DOI":"10.1007\/s11219-017-9386-2","volume":"26","author":"HG Gurbuz","year":"2018","unstructured":"Gurbuz HG, Tekinerdogan B (2018) Model-based testing for software safety: a systematic mapping study. Softw Quality J 26(4):1327\u20131372","journal-title":"Softw Quality J"},{"key":"325_CR21","unstructured":"H\u00e4ser F, Felderer M, Ruth B (2014) Soft-ware paradigms, assessment types and non-functional requirements in model-based integration testing: a systematic literature review. In: Proceedings of the 18th international conference on evaluation and assessment in software engineering, EASE\u201914, New York, NY, USA. ACM, pp 29:1\u201329:10"},{"issue":"2","key":"325_CR22","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/2523088","volume":"23","author":"M Unterkalmsteiner","year":"2014","unstructured":"Unterkalmsteiner M, Feldt R, Gorschek T (2014) A taxonomy for requirements engineering and software test alignment. ACM Trans Softw Eng Methodol (TOSEM) 23(2):16:1\u201316:38","journal-title":"ACM Trans Softw Eng Methodol (TOSEM)"},{"issue":"3","key":"325_CR23","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/287000.287023","volume":"7","author":"J Crow","year":"1998","unstructured":"Crow J, Di Vito B (1998) Formalizing space shuttle software requirements: four case studies. ACM Trans Softw Eng Methodol 7(3):296\u2013332","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"2","key":"325_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3147451","volume":"17","author":"A Dokhanchi","year":"2017","unstructured":"Dokhanchi A, Hoxha B, Georgios F (2017) Formal requirement debugging for testing and verification of cyber-physical systems. ACM Trans Embed Comput Syst 17(2):1\u201326","journal-title":"ACM Trans Embed Comput Syst"},{"key":"325_CR25","unstructured":"Felder M, Morzenti A (1992) Validating real-time systems by history- checking TRIO specifications. In: Proceedings of the 14th international conference on software engineering\u2014ICSE\u201992, vol 3, New York, USA. ACM Press, pp 199\u2013211"},{"issue":"3","key":"325_CR26","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"CL Heitmeyer","year":"1996","unstructured":"Heitmeyer CL, Jeffords RD, Labaw BG (1996) Automated consistency checking of requirements specifications. ACM Trans Softw Eng Methodol 5(3):231\u2013261","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"325_CR27","doi-asserted-by":"crossref","unstructured":"Schneider F, Easterbrook SM, Callahan JR, Holzmann GJ (1998) Validating requirements for fault tolerant systems using model checking. In: Proceedings of IEEE international symposium on requirements engineering: RE\u201998. IEEE Comput. Soc, pp 4\u201313","DOI":"10.1109\/ICRE.1998.667803"},{"key":"325_CR28","doi-asserted-by":"crossref","unstructured":"Aiello F, Garro A, Lemmens YA, Stefan D (2017) Simulation-based verification of system requirements: an integrated solution. In: 2017 IEEE 14th international conference on networking, sensing and control (ICNSC), vol 1. IEEE, pp 726\u2013731","DOI":"10.1109\/ICNSC.2017.8000180"},{"key":"325_CR29","doi-asserted-by":"crossref","unstructured":"Amyot D, Logrippo L, Buhr RJA, Gray T (1999) Use case maps for the capture and validation of distributed systems requirements. In: Proceedings IEEE international symposium on requirements engineering (Cat.No.PR00188), pp 44\u201353","DOI":"10.1109\/ISRE.1999.777984"},{"key":"325_CR30","doi-asserted-by":"crossref","unstructured":"Bouskela D, Nguyen T, Audrey J (2015) Towards a rigorous approach for verifying cyber-physical systems against requirements. In: 2015 IEEE electrical power and energy conference (EPEC). IEEE, pp 250\u2013255","DOI":"10.1109\/EPEC.2015.7379958"},{"key":"325_CR31","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2004.12.004","volume":"111","author":"SR Dalal","year":"2005","unstructured":"Dalal SR, Jain A, Karunathi N, Leaton JM, Patton CM, Lott GC, Horowitz BM (2005) Model based testing in practice at microsoft. Electr Notes Theor Comput Sci 111:5\u201312","journal-title":"Electr Notes Theor Comput Sci"},{"key":"325_CR32","doi-asserted-by":"crossref","unstructured":"Dudila R, Letia IA (2013) Towards combining functional requirements tests and unit tests as a preventive practice against software defects. In: 2013 IEEE 9th international conference on intelligent computer communication and processing (ICCP). IEEE, pp 279\u2013282","DOI":"10.1109\/ICCP.2013.6646121"},{"key":"325_CR33","doi-asserted-by":"crossref","unstructured":"Farhat S, Simco G, Mitropoulos FJ (2010) Using aspects for testing nonfunctional requirements in object-oriented systems. In: Proceedings of the IEEE SoutheastCon 2010 (SoutheastCon). IEEE, pp 356\u2013359","DOI":"10.1109\/SECON.2010.5453852"},{"key":"325_CR34","unstructured":"Foster GJ, Helm AL (2010) A unified approach to requirements validation and system verification. In: 2010 IEEE international systems conference, IEEE, pp 404\u2013408"},{"key":"325_CR35","doi-asserted-by":"crossref","unstructured":"Fraser G, Ammann P (2008) Reachability and propagation for LTL requirements testing. In: 2008 the 8th international conference on quality software. IEEE, pp 189\u2013198","DOI":"10.1109\/QSIC.2008.21"},{"key":"325_CR36","unstructured":"Ghazel M, Masmoudi M, Toguyeni A (2009) Verification of temporal requirements of complex systems using UML patterns, application to a railway control example. In: IEEE international conference on system of systems engineering. SoSE2009, pp 1\u20136"},{"key":"325_CR37","doi-asserted-by":"crossref","unstructured":"Han L, Liu J, Zhou T, Sun J, Chen X (2016) Safety requirements specification and verification for railway interlocking systems. In: 2016 IEEE 40th annual computer software and applications conference (COMPSAC), vol 1. IEEE, pp 335\u2013340","DOI":"10.1109\/COMPSAC.2016.182"},{"key":"325_CR38","doi-asserted-by":"crossref","unstructured":"Hasling B, Goetz H, Beetz K (2008) Model based testing of system requirements using UML use case models. In: 2008 international conference on software testing, verification, and validation. IEEE, pp 367\u2013376","DOI":"10.1109\/ICST.2008.9"},{"issue":"1","key":"325_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati H, Arcuri A, Briand L (2013) Achieving scalable model-based testing through test case diversity. ACM Trans Softw Eng Methodol 22(1):1\u201342","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"325_CR40","unstructured":"Jwo J-S, Cheng YC (2007) Pseudo software: a new concept for iterative requirement development and validation. In: 14th Asia-Pacific software engineering conference (APSEC\u201907). IEEE, pp 105\u2013111"},{"key":"325_CR41","unstructured":"Seo KI, Choi EM (2006) Comparison of five black-box testing methods for object- oriented software. In: 4th International conference on software engineering research, management and applications (SERA\u201906). IEEE, pp 213\u2013220"},{"key":"325_CR42","unstructured":"Lee K-H, Min P-G, Cho J-H, Lim D-J (2012) Model-driven requirements validation for automotive embedded software using UML. In: 8th International conference on computing technology and information management (ICCM), vol 1, pp 46\u201350"},{"key":"325_CR43","doi-asserted-by":"crossref","unstructured":"Lei H, Wang Y (2016) A model-driven testing framework based on requirement for embedded software. In: 2016 11th International conference on reliability, maintainability and safety (ICRMS). IEEE, pp 1\u20136","DOI":"10.1109\/ICRMS.2016.8050100"},{"key":"325_CR44","unstructured":"Yin L, Liu J, Li X (2009) Validating requirements model of a B2B system. In: 2009 8th IEEE\/ACIS international conference on computer and information science. IEEE, pp 1020\u20131025"},{"key":"325_CR45","doi-asserted-by":"crossref","unstructured":"Liu G, Huang S, Piao X (2008) Study on requirement testing method based on alpha-beta cut-off procedure. In: 2008 international conference on internet computing in science and engineering. IEEE, pp 396\u2013402","DOI":"10.1109\/ICICSE.2008.36"},{"key":"325_CR46","unstructured":"Gao M, Zhong D, Lu M, Yin Y (2007) Research on test requirement modeling for software-intensive avionics and the tool implementation. In: 2007IEEE\/AIAA 26th digital avionics systems conference. IEEE, pp 6.D.2 1\u20136.D.2 10"},{"key":"325_CR47","doi-asserted-by":"crossref","unstructured":"Mirarab S, Ganjali A, Ladan T, Li S, Liu W, Morrissey M (2008) A requirement-based software testing framework: an industrial practice. In: 2008 IEEE international conference on software maintenance, pp 452\u2013455","DOI":"10.1109\/ICSM.2008.4658102"},{"key":"325_CR48","doi-asserted-by":"crossref","unstructured":"Raja UA (2009) Empirical studies of requirements validation techniques. In: 2009 2nd International conference on computer, control and communication. IEEE, pp 1\u20139","DOI":"10.1109\/IC4.2009.4909209"},{"issue":"1","key":"325_CR49","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"AP Ravn","year":"1993","unstructured":"Ravn AP, Rischel H, Hansen KM (1993) Specifying and verifying requirements of real- time systems. IEEE Trans Softw Eng 19(1):41\u201355","journal-title":"IEEE Trans Softw Eng"},{"key":"325_CR50","doi-asserted-by":"crossref","unstructured":"Sarwar T, Habib W, Arif F (2013) Requirements based testing of software. In: 2013 2nd International conference on informatics and applications (ICIA). IEEE, pp 347\u2013352","DOI":"10.1109\/ICoIA.2013.6650281"},{"key":"325_CR51","doi-asserted-by":"crossref","unstructured":"Siegl S, Hielscher K-S, German R (2010) model based requirements analysis and testing of automotive systems with timed usage models. In: 2010 18th IEEE international requirements engineering conference. IEEE, pp 345\u2013350","DOI":"10.1109\/RE.2010.49"},{"key":"325_CR52","doi-asserted-by":"crossref","unstructured":"Siegl S, Hielscher K-S, German R, Berger C (2011) Automated testing of embedded automotive systems from requirement specification models. In: LATW 2011\u201412th IEEE Latin- American Test Workshop","DOI":"10.1109\/LATW.2011.5985928"},{"key":"325_CR53","doi-asserted-by":"crossref","unstructured":"Straszak T, Smialek M (2014) Automating acceptance testing with tool support. In: Automating acceptance testing with tool support, vol 2, pp 1569\u20131574","DOI":"10.15439\/2014F342"},{"key":"325_CR54","doi-asserted-by":"crossref","unstructured":"Sun Y, Brain M, Kroening D, Hawthorn A, Wilson T, Schanda F, Jimenez FJG, Daniel S, Bryan C, Broster I (2017) Functional requirements-based automated testing for avionics. In: 2017 22nd international conference on engineering of complex computer systems (ICECCS), vol 1. IEEE, pp 170\u2013173","DOI":"10.1109\/ICECCS.2017.18"},{"key":"325_CR55","doi-asserted-by":"crossref","unstructured":"Sutcliffe A, Gregoriades A (2002) Validating functional system requirements with scenarios. In: Proceedings IEEE joint international conference on requirements engineering, vol 2002\u2014Janua. IEEE Comput. Soc, pp 181\u2013188","DOI":"10.1109\/ICRE.2002.1048521"},{"key":"325_CR56","doi-asserted-by":"crossref","unstructured":"Wendland M, Schieferdecker I, Vouffo-Feudjio A (2011) Requirements-driven testing with behavior trees. In: 2011 IEEE fourth international conference on software testing, verification and validation workshops. IEEE, pp 501\u2013510","DOI":"10.1109\/ICSTW.2011.25"},{"key":"325_CR57","doi-asserted-by":"crossref","unstructured":"Yang C, Hu X, Zhu Y, Huang M (2014) The domain knowledge-based software test model researches. In: 2014 10th International conference on reliability, maintainability and safety (ICRMS). IEEE, pp 323\u2013328","DOI":"10.1109\/ICRMS.2014.7107196"},{"key":"325_CR58","doi-asserted-by":"crossref","unstructured":"Yau SS (1994) An approach to object-oriented requirements verification in software development for distributed computing systems. In: Proceedings eighteenth annual international computer software and applications conference (COMPSAC 94), pp 96\u2013102","DOI":"10.1109\/CMPSAC.1994.342825"},{"key":"325_CR59","doi-asserted-by":"crossref","unstructured":"Yu G, Xu ZW, Du JW (2009) An approach for automated safety testing of safety-critical software system based on safety requirements. In: 2009 International forum on information technology and applications, vol 3. IEEE, pp 166\u2013169","DOI":"10.1109\/IFITA.2009.18"},{"issue":"2","key":"325_CR60","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/49.272872","volume":"12","author":"WD Yu","year":"1994","unstructured":"Yu WD (1994) Verifying software requirements: a requirement tracing methodology and its software tool-RADIX. IEEE J Sel Areas Commun 12(2):234\u2013240","journal-title":"IEEE J Sel Areas Commun"},{"key":"325_CR61","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jss.2015.08.001","volume":"109","author":"JJ Guti\u00e9rrez","year":"2015","unstructured":"Guti\u00e9rrez JJ, Escalona MJ, Mej\u00edas M (2015) A model-driven approach for functional test case generation. J Syst Softw 109:214\u2013228","journal-title":"J Syst Softw"},{"issue":"2","key":"325_CR62","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-005-0205-x","volume":"8","author":"I Ober","year":"2006","unstructured":"Ober I, Graf S, Ober I (2006) Validating timed UML models by simulation and verification. Int J Softw Tools Technol Transf 8(2):128\u2013145","journal-title":"Int J Softw Tools Technol Transf"},{"key":"325_CR63","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.jss.2018.07.053","volume":"145","author":"E Stachtiari","year":"2018","unstructured":"Stachtiari E, Mavridou A, Panagiotis P, Bliudze S, Sifakis J (2018) Early validation of system requirements and design through correctness-by-construction. J Syst Softw 145:52\u201378","journal-title":"J Syst Softw"},{"issue":"1","key":"325_CR64","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00766-014-0208-9","volume":"21","author":"M El-Attar","year":"2016","unstructured":"El-Attar M, Hezam AA-G (2016) Using safety robustness analysis for early-stage validation of functional safety requirements. Requir Eng 21(1):1\u201327","journal-title":"Requir Eng"},{"issue":"2","key":"325_CR65","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1007\/s10270-017-0620-y","volume":"18","author":"N Kesserwan","year":"2019","unstructured":"Kesserwan N, Dssouli R, Bentahar J, Stepien B, Labr\u00e8che P (2019) From use case maps to executable test procedures: a scenario-based approach. Softw Syst Model 18(2):1543\u20131570","journal-title":"Softw Syst Model"},{"key":"325_CR66","doi-asserted-by":"crossref","unstructured":"Saito S, Takeuchi M, Yamada S, Aoyama M (2014) RISDM: a requirements inspection systems design methodology: Perspective-based design of the pragmatic quality model and question set to SRS. In: 2014 IEEE 22nd international requirements engineering conference (RE). IEEE, pp 223\u2013232","DOI":"10.1109\/RE.2014.6912264"},{"key":"325_CR67","doi-asserted-by":"crossref","unstructured":"Khosrowjerdi H, Meinke K, Andreas R (2018) Virtualized-fault injection testing: a machine learning approach. In: 2018 IEEE 11th international conference on software testing, verification and validation (ICST). IEEE, pp 297\u2013308","DOI":"10.1109\/ICST.2018.00037"},{"key":"325_CR68","doi-asserted-by":"crossref","unstructured":"Siegl S, Hielscher K-S, Reinhard G, Christian B (2011) Automated testing of embedded automotive systems from requirement specification models. In: 2011 12th Latin American Test Workshop (LATW). IEEE, pp 1\u20136","DOI":"10.1109\/LATW.2011.5985928"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-019-00325-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-019-00325-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-019-00325-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,14]],"date-time":"2020-08-14T23:39:30Z","timestamp":1597448370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-019-00325-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,16]]},"references-count":68,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["325"],"URL":"https:\/\/doi.org\/10.1007\/s00766-019-00325-w","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"type":"print","value":"0947-3602"},{"type":"electronic","value":"1432-010X"}],"subject":[],"published":{"date-parts":[[2019,8,16]]},"assertion":[{"value":"18 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 August 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}