{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:21:30Z","timestamp":1742923290849,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030108007"},{"type":"electronic","value":"9783030108014"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-10801-4_26","type":"book-chapter","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T09:38:37Z","timestamp":1547113117000},"page":"324-340","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Efficient Algorithm for Combining Verification and Validation Methods"],"prefix":"10.1007","author":[{"given":"Isela","family":"Mendoza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U\u00e9verton","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos","family":"Kalinowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Interian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonado Gresta Paulino","family":"Murta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,11]]},"reference":[{"key":"26_CR1","isbn-type":"print","volume-title":"The Art of Software Testing","author":"GJ Meyers","year":"2011","unstructured":"Meyers, G.J., Badgett, T., Thomas, T., Csandler, C.: The Art of Software Testing, 3rd edn. Wiley, Hoboken (2011). ISBN 978-1118031964","ISBN":"https:\/\/id.crossref.org\/isbn\/9781118031964","edition":"3"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Feldt, R., Torkar, R., Ahmad, E., Raza, B.: Challenges with software verification and validation activities in the space industry. In: Third International Conference on Software Testing, Verification and Validation (ICST) (2010)","DOI":"10.1109\/ICST.2010.37"},{"issue":"1","key":"26_CR3","first-page":"135","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm, B., Basili, V.: Software defect reduction top 10 list. IEEE Softw. 34(1), 135\u2013137 (2001)","journal-title":"IEEE Softw."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Feldt, R., Marculescu, B., Schulte, J., Torkar, R., Preissing, P., Hult, E.: Optimizing verification and validation activities for software in the space industry. In: Data Systems in Aerospace (DASIA), Budapest (2010)","DOI":"10.1109\/ICST.2010.37"},{"key":"26_CR5","unstructured":"Bourque, P., Fairley, R.E.: SWEBOK guide V3.0, guide to the software engineering body of knowledge. IEEE Computer Society (2004)"},{"key":"26_CR6","volume-title":"A Handbook of Software and Systems Engineering","author":"A Endres","year":"2003","unstructured":"Endres, A., Rombach, D.: A Handbook of Software and Systems Engineering. Addison Wesley, Reading (2003)"},{"issue":"9","key":"26_CR7","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1145\/359588.359602","volume":"21","author":"GJ Myers","year":"1978","unstructured":"Myers, G.J.: A controlled experiment in program testing and code walkthroughs\/inspections. Commun. ACM 21(9), 760\u2013768 (1978)","journal-title":"Commun. ACM"},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-63531-9_19","volume-title":"Software Engineering \u2014 ESEC\/FSE 1997","author":"M Wood","year":"1997","unstructured":"Wood, M., Roper, M., Brooks, A., Miller, J.: Comparing and combining software defect detection techniques: a replicated empirical study. In: Jazayeri, M., Schauer, H. (eds.) ESEC\/SIGSOFT FSE-1997. LNCS, vol. 1301, pp. 262\u2013277. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63531-9_19"},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2011.06.003","volume":"54","author":"F Elberzhager","year":"2012","unstructured":"Elberzhager, F., M\u00fcnch, J., Nha, V.T.N.: A systematic mapping study on the combination of static and dynamic quality assurance techniques. Inf. Softw. Technol. 54(1), 1\u201315 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"26_CR10","unstructured":"ISO25000 Software Product Quality, ISO\/IEC 25010, Official site (2011). http:\/\/iso25000.com\/index.php\/en\/iso-25000-standards\/iso-25010"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Complexity of Computer Computations","author":"RM Karp","year":"1972","unstructured":"Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computations, pp. 85\u2013103. Plenum, New York (1972)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"dos Santos, V.F., dos Santos Souza, U.: Uma Introdu\u00e7\u00e3o \u00e0 Complexidade Parametrizada. In: Anais da 34\u00ba Jornada de Atualiza\u00e7\u00e3o em Inform\u00e1tica, CSBC, pp. 232\u2013273 (2015)","DOI":"10.5753\/sbc.6899.3.5"},{"key":"26_CR13","series-title":"Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0515-9","volume-title":"Parameterized Complexity","author":"RG Downey","year":"1999","unstructured":"Downey, R.G., Fellows, M.R.: Parameterized Complexity. Monographs in Computer Science. Springer, New York (1999). https:\/\/doi.org\/10.1007\/978-1-4612-0515-9"},{"key":"26_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-29953-X","volume-title":"Parameterized Complexity Theory","author":"J Flum","year":"2006","unstructured":"Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-29953-X"},{"key":"26_CR15","series-title":"Oxford Lecture Series in Mathematics and Its Applications","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198566076.001.0001","volume-title":"Invitation to Fixed-Parameter Algorithms","author":"R Niedermeier","year":"2006","unstructured":"Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford Lecture Series in Mathematics and Its Applications. Oxford University Press, Oxford (2006)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Bondi, A.B.: Characteristics of scalability and their impact on performance. In: Proceedings Second International Workshop on Software and Performance WOSP, pp. 195\u2013203 (2000)","DOI":"10.1145\/350391.350432"},{"key":"26_CR17","volume-title":"E-commerce: Business, Technology, Society","author":"KC Laudon","year":"2008","unstructured":"Laudon, K.C., Traver, C.G.: E-commerce: Business, Technology, Society. Stanford University, Stanford (2008)"},{"issue":"2","key":"26_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0021-9800(66)80035-2","volume":"1","author":"D Lubell","year":"1996","unstructured":"Lubell, D.: A short proof of Sperner\u2019s lemma. J. Comb. Theory 1(2), 299 (1996)","journal-title":"J. Comb. Theory"},{"key":"26_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38571-1","volume-title":"Software Product Quality Control","author":"S Wagner","year":"2013","unstructured":"Wagner, S.: Software Product Quality Control. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38571-1"},{"key":"26_CR20","volume-title":"Peer Reviews in Software: A Practical Guide","author":"KE Wiegers","year":"2002","unstructured":"Wiegers, K.E.: Peer Reviews in Software: A Practical Guide, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)","edition":"1"},{"key":"26_CR21","doi-asserted-by":"crossref","unstructured":"Mendoza, I., Kalinowski, M., Souza, U., Felderer, M.: Relating verification and validation methods to software product quality characteristics: results of an expert survey. In: 11th Software Quality Days (SWQD). Lecture Notes on Business Information Processing, Vienna, Austria. Springer (2019, to appear)","DOI":"10.1007\/978-3-030-05767-1_3"},{"issue":"12","key":"26_CR22","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","volume":"13","author":"VR Basili","year":"1987","unstructured":"Basili, V.R.: Comparing the effectiveness of software testing strategies. IEEE Trans. Softw. Eng. 13(12), 1278\u20131296 (1987)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"26_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/3-540-60406-5_25","volume-title":"Software Engineering \u2014 ESEC 1995","author":"E Kamsties","year":"1995","unstructured":"Kamsties, E., Lott, C.M.: An empirical evaluation of three defect-detection techniques. In: Sch\u00e4fer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 362\u2013383. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60406-5_25"},{"key":"26_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11430230_4","volume-title":"Testing of Communicating Systems","author":"S Wagner","year":"2005","unstructured":"Wagner, S., J\u00fcrjens, J., Koller, C., Trischberger, P.: Comparing bug finding tools with reviews and tests. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 40\u201355. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11430230_4"},{"key":"26_CR25","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Elbaum, S.: Unifying verification and validation techniques: relating behavior and properties through partial evidence. In: FSE\/SDP Workshop on Future of Software Engineering Research (FOSE), Santa Fe, New Mexico, USA, pp. 93\u201398 (2010)","DOI":"10.1145\/1882362.1882382"},{"key":"26_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21275-3","volume-title":"Parameterized Algorithms","author":"M Cygan","year":"2015","unstructured":"Cygan, M., et al.: Parameterized Algorithms. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21275-3"},{"key":"26_CR27","doi-asserted-by":"crossref","unstructured":"Runeson, P., Stefik, A., Andrews, A., Gr\u00f6nblom, S., Porres, I., Siebert, S.: A comparative analysis of three replicated experiments comparing inspection and unit testing. In: Proceedings 2nd International Workshop on Replication in Empirical Software Engineering Research (RESER), Banff, AB, Canada, Article No. 6148335, pp. 35\u201342 (2012)","DOI":"10.1109\/RESER.2011.13"},{"issue":"9","key":"26_CR28","doi-asserted-by":"publisher","first-page":"1590","DOI":"10.1016\/j.infsof.2013.02.015","volume":"55","author":"BK Olorisade","year":"2013","unstructured":"Olorisade, B.K., Vegas, S., Juristo, N.: Determining the effectiveness of three software evaluation techniques through informal aggregation. Inf. Softw. Technol. 55(9), 1590\u20131601 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"26_CR29","doi-asserted-by":"crossref","unstructured":"Cotroneo, D., Pietrantuono, R., Russo, S.: A learning-based method for combining testing techniques. In: Proceedings 35th International Conference on Software Engineering (ICSE), San Francisco, CA, USA, Article No. 6606560, pp. 142\u2013151 (2013)","DOI":"10.1109\/ICSE.2013.6606560"},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"Bishop, P., Bloomfield, R., Cyra, L.: Combining testing and proof to gain high assurance in software: a case study. In: IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), Pasadena, CA, USA, Article No. 6698924, pp. 248\u2013257 (2013)","DOI":"10.1109\/ISSRE.2013.6698924"},{"key":"26_CR31","unstructured":"Solari, M., Matalonga, S.: A controlled experiment to explore potentially undetectable defects for testing techniques. In: Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Canada, pp. 106\u2013109 (2014)"},{"issue":"3","key":"26_CR32","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s11219-013-9217-z","volume":"22","author":"M Gleirscher","year":"2014","unstructured":"Gleirscher, M., Golubitskiy, D., Irlbeck, M., Wagner, S.: Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer. Softw. Qual. J. 22(3), 499\u2013542 (2014)","journal-title":"Softw. Qual. J."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2019: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-10801-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T11:17:30Z","timestamp":1709810250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-10801-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030108007","9783030108014"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-10801-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"11 January 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFSEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Current Trends in Theory and Practice of Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nov\u00fd Smokovec","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofsem2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/beda.dcs.fmph.uniba.sk\/sofsem2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"92","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}