{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T22:21:12Z","timestamp":1776982872028,"version":"3.51.4"},"reference-count":61,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T00:00:00Z","timestamp":1415750400000},"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":["Software Qual J"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11219-014-9258-y","type":"journal-article","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:22:09Z","timestamp":1415960529000},"page":"365-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":37,"title":["Testing variability-intensive systems using automated analysis: an application to Android"],"prefix":"10.1007","volume":"24","author":[{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"first","affiliation":[]},{"given":"Hamilton","family":"Turner","sequence":"additional","affiliation":[]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[]},{"given":"Jules","family":"White","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,12]]},"reference":[{"key":"9258_CR1","doi-asserted-by":"crossref","unstructured":"Acher, M., Alferez, M., Galindo, J. A., Romenteau, P., & Baudry, B. (2014). Vivid: A variability-based tool for synthesizing video sequences. In 18th International software product line conference (SPLC\u201914), tool track, Florence, Italie, http:\/\/hal.inria.fr\/hal-01020933","DOI":"10.1145\/2647908.2655981"},{"key":"9258_CR2","doi-asserted-by":"crossref","unstructured":"Akbar, M., Manning, E., Shoja, G., & Khan, S. (2001). Heuristic solutions for the multiple-choice multi-dimension knapsack problem. In Computational science-ICCS, 2001 (pp. 659\u2013668).","DOI":"10.1007\/3-540-45718-6_71"},{"key":"9258_CR3","unstructured":"Alf\u00e9rez, M., Galindo, J. A., Acher, M., & Baudry, B. (2014). Modeling variability in the video domain: Language and experience report. In Rapport de recherche RR-8576, INRIA, http:\/\/hal.inria.fr\/hal-01023159"},{"issue":"12","key":"9258_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/1183236.1183264","volume":"49","author":"D Batory","year":"2006","unstructured":"Batory, D., Benavides, D., & Ruiz-Cortes, A. (2006). Automated analysis of feature models: Challenges ahead. Communications of the ACM, 49(12), 45\u201347.","journal-title":"Communications of the ACM"},{"key":"9258_CR5","volume-title":"Test-driven development: By example","author":"K Beck","year":"2003","unstructured":"Beck, K. (2003). Test-driven development: By example. Reading, MA: Addison-Wesley Professional."},{"key":"9258_CR6","unstructured":"Beizer, B. (1990). Software testing techniques (2nd ed.). New York, NY: Van Nostrand Reinhold Co."},{"key":"9258_CR7","doi-asserted-by":"crossref","unstructured":"Benavides, D., Segura, S., & Ruiz-Cort\u00e9s, A. (2010). Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6). doi: 10.1016\/j.is.2010.01.001 .","DOI":"10.1016\/j.is.2010.01.001"},{"issue":"5","key":"9258_CR8","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/949952.940120","volume":"28","author":"A Bertolino","year":"2003","unstructured":"Bertolino, A., & Gnesi, S. (2003). Use case-based testing of product lines. ACM SIGSOFT Software Engineering Notes, 28(5), 355\u2013358.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"8","key":"9258_CR9","first-page":"498","volume":"23","author":"Binkley, D., & Society, I. C","year":"1997","unstructured":"Binkley, D., & Society, I. C. (1997). Test Cost Reduction, 23(8), 498\u2013516.","journal-title":"Test Cost Reduction"},{"key":"9258_CR10","doi-asserted-by":"crossref","unstructured":"Boehm, B. W. (2006). Value-based software engineering: Seven key elements and ethical considerations. In S. Biffl, A. Aurum, B. Boehm, H. Erdogmus & P. Gr\u00fcnbacher (Eds.), Value-based software engineering (pp. 109\u2013132). Berlin, Heidelberg: Springer. doi: 10.1007\/3-540-29263-2_6 , http:\/\/dx.doi.org\/10.1007\/3-540-29263-2_6 .","DOI":"10.1007\/3-540-29263-2_6"},{"key":"9258_CR11","doi-asserted-by":"crossref","unstructured":"Boehm, B. W., & Sullivan, K. J. (2000). Software economics: A roadmap. In Proceedings of the conference on the future of software engineering (pp. 319\u2013343). New York, NY: ACM. doi: 10.1145\/336512.336584 , http:\/\/doi.acm.org\/10.1145\/336512.336584 .","DOI":"10.1145\/336512.336584"},{"issue":"1","key":"9258_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCI.2006.1597059","volume":"1","author":"CA Coello Coello","year":"2006","unstructured":"Coello Coello, C. A. (2006). Evolutionary multi-objective optimization: A historical view of the field. Computational Intelligence Magazine, IEEE, 1(1), 28\u201336.","journal-title":"Computational Intelligence Magazine, IEEE"},{"key":"9258_CR13","unstructured":"Coffman, E., Jr, Garey, M., & Johnson, D. (1996). Approximation algorithms for bin packing: A survey. In Approximation algorithms for NP-hard problems (pp. 46\u201393). PWS Publishing Co."},{"key":"9258_CR14","doi-asserted-by":"crossref","unstructured":"Cohen, M. B., Dwyer, M. B., & Shi, J. (2006). Coverage and adequacy in software product line testing. In Proceedings of the ISSTA 2006 workshop on role of software architecture for testing and analysis\u2014ROSATEA \u201906 (pp. 53\u201363), doi: 10.1145\/1147249.1147257 , http:\/\/portal.acm.org\/citation.cfm?doid=1147249.1147257","DOI":"10.1145\/1147249.1147257"},{"key":"9258_CR15","doi-asserted-by":"crossref","unstructured":"Cohen, M. B., Dwyer, M. B., & Shi, J. (2008). Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. Software Engineering, IEEE Transactions on, 34(5), 633\u2013650.","DOI":"10.1109\/TSE.2008.50"},{"issue":"1","key":"9258_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10836-012-5343-y","volume":"29","author":"TE Colanzi","year":"2013","unstructured":"Colanzi, T. E., Assun\u00e7\u00e3o, W. K. G., de Freitas Guilhermino Trindade, D., Zorzo, C. A., & Vergilio, S. R. (2013). Evaluating different strategies for testing software product lines. Journal of Electronic Testing, 29(1), 9\u201324. doi: 10.1007\/s10836-012-5343-y .","journal-title":"Journal of Electronic Testing"},{"key":"9258_CR17","doi-asserted-by":"crossref","unstructured":"Cordy, M., Schobbens, P. Y., Heymans, P., & Legay, A. (2013). Beyond boolean product line model checking: Dealing with feature attributes and multi-features. In Software engineering (ICSE), 2013 35th international conference on (pp. 472\u2013481). doi: 10.1109\/ICSE.2013.6606593","DOI":"10.1109\/ICSE.2013.6606593"},{"key":"9258_CR18","doi-asserted-by":"crossref","unstructured":"Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., & Horowitz, B. M. (1999). Model-based testing in practice. In Proceedings of the international conference on software engineering (ICSE \u201999) (pp. 285\u2013294).","DOI":"10.1145\/302405.302640"},{"key":"9258_CR19","unstructured":"Deb, K. (2001). Multi-objective optimization. In Multi-objective optimization using evolutionary algorithms (pp. 13\u201346)."},{"key":"9258_CR20","doi-asserted-by":"crossref","unstructured":"do Carmo Machado, I., McGregor, J. D., & Santana de Almeida, E. (2012). Strategies for testing products in software product lines. ACM SIGSOFT Software Engineering Notes, 37(6), 1. doi: 10.1145\/2382756.2382783 .","DOI":"10.1145\/2382756.2382783"},{"issue":"2","key":"9258_CR21","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.future.2011.05.009","volume":"28","author":"B Dougherty","year":"2012","unstructured":"Dougherty, B., White, J., & Schmidt, D. C. (2012). Model-driven auto-scaling of green cloud computing infrastructure. Future Generation Computer Systems, 28(2), 371\u2013378.","journal-title":"Future Generation Computer Systems"},{"key":"9258_CR22","unstructured":"Galindo, J. A., Benavides, D., & Segura, S. (2010). Debian packages repositories as software product line models. Towards automated analysis. In ACoTA (pp. 29\u201334)."},{"key":"9258_CR23","doi-asserted-by":"crossref","unstructured":"Galindo, J. A., Alf\u00e9rez, M., Acher, M., Baudry, B., & Benavides, D. (2014). A variability-based testing approach for synthesizing video sequences. In Proceedings of the 2014 international symposium on software testing and analysis, ACM, New York, NY, USA, ISSTA 2014 (pp. 293\u2013303). doi: 10.1145\/2610384.2610411","DOI":"10.1145\/2610384.2610411"},{"key":"9258_CR24","unstructured":"Garc\u00eda-Gal\u00e1n, J., Rana, O. F., Trinidad, P., & Ruiz-Cort\u00e9s, A. (2013). Migrating to the cloud: A software product line based analysis. In 3rd International conference on cloud computing and services science (CLOSER\u201913)."},{"key":"9258_CR25","doi-asserted-by":"crossref","unstructured":"Hartman, A. (2005). Software and hardware testing using combinatorial covering suites. In Graph theory, combinatorics and algorithms (pp. 237\u2013266). Berlin: Springer.","DOI":"10.1007\/0-387-25036-0_10"},{"key":"9258_CR26","doi-asserted-by":"crossref","unstructured":"Henard, C., Papadakis, M., Perrouin, G., Klein, J., & Traon, Y. L. (2013). Multi-objective test generation for software product lines. In Proceedings of the 17th international software product line conference, ACM, New York, NY, USA, SPLC \u201913 (pp. 62\u201371). doi: 10.1145\/2491627.2491635","DOI":"10.1145\/2491627.2491635"},{"key":"9258_CR27","doi-asserted-by":"crossref","unstructured":"Johansen, M. F., Haugen, O. Y., & Fleurey, F. (2012a) An algorithm for generating t-wise covering arrays from large feature models. In Proceedings of the 16th international software product line conference on\u2014SPLC \u201912 (Vol. 1, p. 46). doi: 10.1145\/2362536.2362547 , http:\/\/dl.acm.org\/citation.cfm?doid=2362536.2362547","DOI":"10.1145\/2362536.2362547"},{"key":"9258_CR28","doi-asserted-by":"crossref","unstructured":"Johansen, M. F., Haugen, O. Y., Fleurey, F., Eldegard, A. G., & Syversen, T. R. (2012b) Generating better partial covering arrays by modeling weights on sub-product lines (pp. 269\u2013284).","DOI":"10.1007\/978-3-642-33666-9_18"},{"key":"9258_CR29","unstructured":"Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., & Peterson, A. S. (1990). Feature-oriented domain analysis (FODA) feasibility study. Technical report., DTIC document."},{"key":"9258_CR30","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., & Ostermann, K. (2012). Toward variability-aware testing. In: Proceedings of the 4th international workshop on feature-oriented software development, ACM, New York, NY, USA, FOSD \u201912 (pp. 1\u20138). doi: 10.1145\/2377816.2377817","DOI":"10.1145\/2377816.2377817"},{"issue":"6","key":"9258_CR31","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D Kuhn","year":"2004","unstructured":"Kuhn, D., Wallace, D., & Gallo, J. A. M. (2004). Software fault interactions and implications for software testing. Software Engineering, IEEE Transactions on, 30(6), 418\u2013421. doi: 10.1109\/TSE.2004.24 .","journal-title":"Software Engineering, IEEE Transactions on"},{"key":"9258_CR32","doi-asserted-by":"crossref","unstructured":"Lamancha, B. P., & Usaola, M. P. (2010). Testing product generation in software product lines using pairwise for features coverage. In A. Petrenko, A. Sim\u00e3o & J. C. Maldonado (Eds.), Testing software and systems, Lecture notes in computer science (Vol. 6435, pp. 111\u2013125). Berlin, Heidelberg: Springer. doi: 10.1007\/978-3-642-16573-3_9 , http:\/\/dx.doi.org\/10.1007\/978-3-642-16573-3_9 .","DOI":"10.1007\/978-3-642-16573-3_9"},{"key":"9258_CR33","unstructured":"Lopez-Herrejon, R. E., Galindo, J. A., Benavides, D., Segura, S., & Egyed, A. (2012). Reverse engineering feature models with evolutionary algorithms: An exploratory study. In 4th Symposium on search based software engineering (pp. 168\u2013182). Trento, Italy: Springer."},{"key":"9258_CR34","doi-asserted-by":"crossref","unstructured":"Lotufo, R., She, S., Berger, T., Czarnecki, K., & Wasowski, A. (2010). Evolution of the Linux kernel variability model. In Software product lines (pp. 136\u2013150). Going Beyond.","DOI":"10.1007\/978-3-642-15579-6_10"},{"key":"9258_CR35","volume-title":"Knapsack problems: Algorithms and computer implementations","author":"S Martello","year":"1990","unstructured":"Martello, S., & Toth, P. (1990). Knapsack problems: Algorithms and computer implementations. New York: Wiley."},{"key":"9258_CR36","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Branco, M., & Cowan, D. (2009). SPLOT: Software product lines online tools. In Proceedings of the 24th ACM SIGPLAN conference companion on object oriented programming systems languages and Applications, ACM, New York, NY, USA, OOPSLA \u201909 (pp. 761\u2013762). doi: 10.1145\/1639950.1640002","DOI":"10.1145\/1639950.1640002"},{"issue":"6","key":"9258_CR37","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S1571-0661(04)81029-6","volume":"82","author":"H Muccini","year":"2003","unstructured":"Muccini, H., & Van Der Hoek, A. (2003). Towards testing product line architectures. Electronic Notes in Theoretical Computer Science, 82(6), 99\u2013109.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"2","key":"9258_CR38","first-page":"11","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., & Leung, H. (2011). A survey of combinatorial testing. ACM Computing Surveys (CSUR), 43(2), 11.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9258_CR39","doi-asserted-by":"crossref","unstructured":"Olaechea, R., Stewart, S., Czarnecki, K., & Rayside, D. (2012). Modelling and multi-objective optimization of quality attributes in variability-rich software. In Proceedings of the fourth international workshop on nonfunctional system properties in domain specific modeling languages, ACM, New York, NY, USA, NFPinDSML \u201912 (pp. 2:1\u20132:6). doi: 10.1145\/2420942.2420944","DOI":"10.1145\/2420942.2420944"},{"key":"9258_CR40","doi-asserted-by":"crossref","unstructured":"Oster, S., Markert, F., & Ritter, P. (2010). Automated incremental pairwise testing of software product lines. In J. Bosch & J. Lee (Eds.), Software product lines: Going beyond, Lecture notes in computer science (Vol. 6287, pp. 196\u2013210). Berlin, Heidelberg: Springer. doi: 10.1007\/978-3-642-15579-6_14 , http:\/\/dx.doi.org\/10.1007\/978-3-642-15579-6_14 .","DOI":"10.1007\/978-3-642-15579-6_14"},{"key":"9258_CR41","doi-asserted-by":"crossref","unstructured":"Passos, L., Novakovic, M., Xiong, Y., Berger, T., Czarnecki, K., Wasowski, A. (2011). A study of non-boolean constraints in variability models of an embedded operating system. ACM, Munich, Germany, http:\/\/fosd.de\/2011","DOI":"10.1145\/2019136.2019139"},{"key":"9258_CR42","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Sen, S., Klein, J., Baudry, B., Traon, Y. L. (2010). Automated and scalable T-wise test case generation Strategies for software product lines. In 2010 Third international conference on software testing, verification and validation (pp. 459\u2013468). doi: 10.1109\/ICST.2010.43 , http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=5477055","DOI":"10.1109\/ICST.2010.43"},{"key":"9258_CR43","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., & Traon, Y. (2011). Pairwise testing for software product lines: Comparison of two approaches. Software Quality Journal, 605\u2013643. doi: 10.1007\/s11219-011-9160-9 .","DOI":"10.1007\/s11219-011-9160-9"},{"issue":"12","key":"9258_CR44","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1183236.1183271","volume":"49","author":"K Pohl","year":"2006","unstructured":"Pohl, K., & Metzger, A. (2006). Software product line testing. Communications of the ACM, 49(12), 78\u201381. doi: 10.1145\/1183236.1183271 .","journal-title":"Communications of the ACM"},{"issue":"3\u20134","key":"9258_CR45","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/s11219-011-9156-5","volume":"20","author":"F Roos-Frantz","year":"2012","unstructured":"Roos-Frantz, F., Benavides, D., Ruiz-Cort\u00e9s, A., Heuer, A., & Lauenroth, K. (2012). Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal, 20(3\u20134), 519\u2013565.","journal-title":"Software Quality Journal"},{"key":"9258_CR46","first-page":"1","volume":"2","author":"G Rothermel","year":"1997","unstructured":"Rothermel, G., & Hall, D. (1997). A safe. Efcient Regression Test Selection Technique, 2, 1\u201335.","journal-title":"Efcient Regression Test Selection Technique"},{"key":"9258_CR47","doi-asserted-by":"crossref","unstructured":"Sayyad, A., Menzies, T., & Ammar, H. (2013). On the value of user preferences in search-based software engineering: A case study in software product lines. In Software engineering (ICSE), 2013 35th international conference on (pp. 492\u2013501). doi: 10.1109\/ICSE.2013.6606595","DOI":"10.1109\/ICSE.2013.6606595"},{"key":"9258_CR48","unstructured":"Segura, S., Galindo, J., Benavides, D., Parejo, J., & Ruiz-Cort\u00e9s, A. (2012). Betty: Benchmarking and testing on the automated analysis of feature models. In U. Eisenecker, S. Apel, & S. Gnesi (Eds.), Sixth international workshop on variability modelling of software-intensive systems (VaMoS\u201912) (pp. 63\u201371). Leipzig, Germany: ACM."},{"key":"9258_CR49","first-page":"45","volume":"10","author":"S She","year":"2010","unstructured":"She, S., Lotufo, R., Berger, T., Wasowski, A., & Czarnecki, K. (2010). The variability model of the Linux kernel. VaMoS, 10, 45\u201351.","journal-title":"VaMoS"},{"key":"9258_CR50","doi-asserted-by":"crossref","unstructured":"She, S., Ryssel, U., Andersen, N., Wasowski, A., Czarnecki, K. (2014). Efficient synthesis of feature models. Information and Software Technology (0), doi: 10.1016\/j.infsof.2014.01.012 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0950584914000238","DOI":"10.1016\/j.infsof.2014.01.012"},{"issue":"7","key":"9258_CR51","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.infsof.2006.08.001","volume":"49","author":"M Sinnema","year":"2007","unstructured":"Sinnema, M., & Deelstra, S. (2007). Classifying variability modeling techniques. Information and Software Technology, 49(7), 717\u2013739.","journal-title":"Information and Software Technology"},{"key":"9258_CR52","unstructured":"Smith, B., & Feather, M. S. (2000). Challenges and methods in testing the remote agent planner. In Proceedings of the 5th international conference on artificial intelligence planning and scheduling (pp. 254\u2013263). AIPS."},{"key":"9258_CR53","doi-asserted-by":"crossref","unstructured":"Sneed, H. (2009). Value driven testing. 2009 testing: Academic and industrial conference\u2014practice and research techniques (pp. 157\u2013166). doi: 10.1109\/TAICPART.2009.13 , http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=5381632","DOI":"10.1109\/TAICPART.2009.13"},{"key":"9258_CR54","unstructured":"Spillner, A., Linz, T., & Schaefer, H. (2011). Software testing foundations: A study guide for the certified tester exam (3rd ed.). Rocky Nook."},{"key":"9258_CR55","doi-asserted-by":"crossref","unstructured":"Srikanth, H., Williams, L., & Osborne, J. (2005). System test case prioritization of new and regression test cases. In Empirical software engineering, 2005. 2005 international symposium on (pp 10). doi: 10.1109\/ISESE.2005.1541815","DOI":"10.1109\/ISESE.2005.1541815"},{"key":"9258_CR56","doi-asserted-by":"crossref","unstructured":"Tang, Q. Y., Friedberg, P., Cheng, G., & Spanos, C. J. (2007). Circuit size optimization with multiple sources of variation and position dependant correlation. In Advanced lithography, international society for optics and photonics (pp. 65,210P\u201365,210P).","DOI":"10.1117\/12.711794"},{"key":"9258_CR57","doi-asserted-by":"crossref","unstructured":"Thum, T., Batory, D., & Kastner, C. (2009). Reasoning about edits to feature models. In Software engineering, 2009. ICSE 2009. IEEE 31st international conference on, IEEE (pp. 254\u2013264).","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"9258_CR58","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software product lines in action","author":"FJ Linden van der","year":"2007","unstructured":"van der Linden, F. J., Schmid, K., & Rommes, E. (2007). Software product lines in action. Berlin: Springer."},{"key":"9258_CR59","doi-asserted-by":"crossref","unstructured":"White, J., Galindo, J. A., Saxena, T., Dougherty, B., Benavides, D., & Schmidt, D. C. (2014). Evolving feature model configurations in software product lines. Journal of Systems and Software 87(0), 119\u2013136. doi: 10.1016\/j.jss.2013.10.010 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121213002434","DOI":"10.1016\/j.jss.2013.10.010"},{"key":"9258_CR60","unstructured":"Withey, J. (1996). Investment analysis of software assets for product lines. Technical report CMU\/SEI-96-TR-010. Software Engineering institute, Carnegie Mellon University."},{"issue":"4","key":"9258_CR61","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu, H., Hall, P. A. V., & May, J. H. R. (1997). Software unit test coverage and adequacy. ACM Computing Surveys (CSUR), 29(4), 366\u2013427.","journal-title":"ACM Computing Surveys (CSUR)"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-014-9258-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-014-9258-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-014-9258-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:10:41Z","timestamp":1559369441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-014-9258-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,12]]},"references-count":61,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9258"],"URL":"https:\/\/doi.org\/10.1007\/s11219-014-9258-y","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,12]]}}}