{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T11:43:01Z","timestamp":1778326981893,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540712886","type":"print"},{"value":"9783540712893","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_25","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:03:44Z","timestamp":1183478624000},"page":"321-335","source":"Crossref","is-referenced-by-count":18,"title":["Integration Testing in Software Product Line Engineering: A Model-Based Technique"],"prefix":"10.1007","author":[{"given":"Sacha","family":"Reis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Metzger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","first-page":"361","volume-title":"The Traveling Salesman Problem","author":"E. Balas","year":"1985","unstructured":"Balas, E., Toth, P.: Branch and Bound Methods. In: Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A.H.G., Shmoys, D.B. (eds.) The Traveling Salesman Problem, pp. 361\u2013401. Wiley, New York (1985)"},{"key":"25_CR2","unstructured":"Basanieri, F., Bertolino, A.: A Practical approach to UML-based derivation of integration tests. In: Proc. of the Quality Week Europe, paper 3T (2000)"},{"key":"25_CR3","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-24667-1_14","volume-title":"Software Product-Family Engineering","author":"A. Bertolino","year":"2004","unstructured":"Bertolino, A., Gnesi, S.: PLUTO: A Test Methodology for Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 181\u2013197. Springer, Heidelberg (2004)"},{"issue":"12","key":"25_CR5","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A. Bertolino","year":"1994","unstructured":"Bertolino, A., Marr\u00e9, M.: Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Transactions on Software Engineering\u00a020(12), 885\u2013899 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR6","volume-title":"Testing Object-Oriented Systems","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems. Addison-Wesley, Reading (2000)"},{"issue":"1","key":"25_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B. Boehm","year":"2001","unstructured":"Boehm, B., Basili, V.R.: Software Defect Reduction Top 10 List. IEEE Computer\u00a034(1), 135\u2013137 (2001)","journal-title":"IEEE Computer"},{"key":"25_CR8","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2002)"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1147249.1147257","volume-title":"Proc. of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis","author":"M.B. Cohen","year":"2006","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and Adequacy in Software Product Line Testing. In: Proc. of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp. 53\u201363. ACM, New York (2006)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-540-27799-6_4","volume-title":"Software Reuse: Methods, Techniques, and Tools","author":"B. Geppert","year":"2004","unstructured":"Geppert, B., Li, J., R\u00f6\u00dfler, F., Weiss, D.M.: Towards Generating Acceptance Tests for Product Lines. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol.\u00a03107, pp. 35\u201348. Springer, Heidelberg (2004)"},{"key":"25_CR11","unstructured":"GLPK (Gnu Linear Progrmming Kit), Gnu Project, http:\/\/www.gnu.org\/software\/glpk\/"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/347324.348872","volume-title":"Proc. of the Intl. Symposium on Software Testing and Analysis","author":"J. Hartmann","year":"2000","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-Based Integration Testing. In: Harrold, M.J. (ed.) Proc. of the Intl. Symposium on Software Testing and Analysis, pp. 60\u201370. ACM, New York (2000)"},{"key":"25_CR13","first-page":"259","volume-title":"Proc. of the 8th Intl. Conf. on Software Engineering","author":"D. Hedley","year":"1985","unstructured":"Hedley, D., Hennell, M.A.: The Causes and Effects of Infeasible Path in Computer Programs. In: Proc. of the 8th Intl. Conf. on Software Engineering, pp. 259\u2013267. IEEE Computer Society Press, Los Alamitos (1985)"},{"issue":"9","key":"25_CR14","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/182987.182989","volume":"37","author":"P.C. Jorgensen","year":"1994","unstructured":"Jorgensen, P.C., Erickson, C.: Object-Oriented Integration Testing. Communications of the ACM\u00a037(9), 30\u201338 (1994)","journal-title":"Communications of the ACM"},{"key":"25_CR15","volume-title":"Software Product Lines \u2013 Research Issues in Engineering and Management","year":"2006","unstructured":"K\u00e4k\u00f6l\u00e4, T., Duenas, J.C. (eds.): Software Product Lines \u2013 Research Issues in Engineering and Management. Springer, Heidelberg (2006)"},{"key":"25_CR16","first-page":"283","volume-title":"Proc. of the 8th Asian Test Symposium","author":"Y. Kim","year":"1999","unstructured":"Kim, Y., Carlson, C.R.: Scenario Based Integration Testing for Object-Oriented Software Development. In: Proc. of the 8th Asian Test Symposium, pp. 283\u2013288. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"McGregor, J.D.: Testing a Software Product Line. Technical Report CMU\/SEI-2001-TR-022, Carnegie Mellon University, SEI (2001)","DOI":"10.21236\/ADA401736"},{"key":"25_CR18","unstructured":"McGregor, J.D., Sodhani, P., Madhavapeddi, S.: Testing Variability in a Software Product Line. In: Proc. of the Intl. Workshop on Software Product Line Testing, Avaya Labs, ALR-2004-031, 45\u201350 (2004)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Muccini, H., van der Hoek, A.: Towards Testing Product Line Architectures. Electronic Notes in Theoretical Computer Science (Proc. of the Intl. Workshop on Test and Analysis of Component-Based Systems)\u00a082(6) (2003)","DOI":"10.1016\/S1571-0661(04)81029-6"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-540-24667-1_15","volume-title":"Software Product-Family Engineering","author":"C. Nebut","year":"2004","unstructured":"Nebut, C., Fleurey, F., Le Traon, Y., J\u00e9z\u00e9quel, J.-M.: A Requirement-based Approach to Test Product Families. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 198\u2013210. Springer, Heidelberg (2004)"},{"key":"25_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering \u2013 Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering \u2013 Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"issue":"7","key":"25_CR22","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1109\/TSE.1987.233487","volume":"13","author":"R.E. Prather","year":"1987","unstructured":"Prather, R.E., Myers, J.P.: The Path Prefix Testing Strategy. IEEE Transactions on Software Engineering\u00a013(7), 761\u2013766 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR23","unstructured":"Reis, S., Metzger, A., Pohl, K.: A Reuse technique for Performance Testing of Software Product Lines. In: Proc. of the Intl. Workshop on Software Product Line Testing, Mannheim University of Applied Sciences, Report No. 003.06, 5-10 (2006)"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","first-page":"519","volume-title":"Advanced Information Systems Engineering","author":"A. Reuys","year":"2005","unstructured":"Reuys, A., Kamsties, E., Pohl, K., Reis, S.: Model-based System Testing of Software Product Families. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 519\u2013534. Springer, Heidelberg (2005)"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Tevanlinna, A., Taina, J., Kauppinen, R.: Product Family Testing \u2013 a Survey. ACM SIGSOFT Software Engineering Notes\u00a029(2) (2004)","DOI":"10.1145\/979743.979766"},{"key":"25_CR26","first-page":"166","volume-title":"Proc. of the 25th Annual Intl. Computer Software and Applications Conf.","author":"W.T. Tsai","year":"2001","unstructured":"Tsai, W.T., Bai, X., Paul, R., Shao, W., Agarwal, V.: End-To-End Integration Testing Design. In: Proc. of the 25th Annual Intl. Computer Software and Applications Conf., pp. 166\u2013171. IEEE, Los Alamitos (2001)"},{"key":"25_CR27","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0164-1212(89)90062-9","volume":"10","author":"H.S. Wang","year":"1989","unstructured":"Wang, H.S., Hsu, S.R., Lin, J.C.: A Generalized Optimal Path-Selection Model for Structural Program Testing. The Journal of Systems and Software\u00a010, 55\u201363 (1989)","journal-title":"The Journal of Systems and Software"},{"key":"25_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering \u2013 An Introduction","author":"C. Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wesslen, A.: Experimentation in Software Engineering \u2013 An Introduction. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"25_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-36465-X_24","volume-title":"COTS-Based Software Systems","author":"Y. Wu","year":"2003","unstructured":"Wu, Y., Chen, M.-H., Offutt, J.: UML-Based Integration Testing for Component-Based Software. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol.\u00a02580, pp. 251\u2013260. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:18:00Z","timestamp":1605745080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_25","relation":{},"subject":[]}}