{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:44:36Z","timestamp":1648853076006},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,2,28]],"date-time":"2008-02-28T00:00:00Z","timestamp":1204156800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Forsch. Entw."],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s00450-008-0044-6","type":"journal-article","created":{"date-parts":[[2008,2,27]],"date-time":"2008-02-27T09:39:34Z","timestamp":1204105174000},"page":"267-283","source":"Crossref","is-referenced-by-count":0,"title":["Wiederverwendung von Integrationstestf\u00e4llen in der Software-Produktlinienentwicklung"],"prefix":"10.1007","volume":"22","author":[{"given":"Sacha","family":"Reis","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,2,28]]},"reference":[{"key":"44_CR1","first-page":"361","volume-title":"The Traveling Salesman Problem","author":"E Balas","year":"1985","unstructured":"Balas E, Toth P (1985) Branch and Bound Methods. In: Lawler E, Lenstra J, Kan AR, Shmoys D (eds) The Traveling Salesman Problem. Wiley, New York, pp 361\u2013401"},{"key":"44_CR2","unstructured":"Basanieri F, Bertolino A (2000) A Practical Approach to UML-based Derivation of Integration Tests. In: Proc. of the Quality Week Europe, p 3T"},{"key":"44_CR3","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer B (1990) Software Testing Techniques. Van Nostrand Reinhold, New York"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"Bertolino A, Gnesi S (2004) PLUTO: A Test Methodology for Product Families In: Software Product-Family Engineering \u2013 5th Intl. Workshop Vol. LNCS 3014. Springer, Heidelberg, pp 181\u2013197","DOI":"10.1007\/978-3-540-24667-1_14"},{"issue":"12","key":"44_CR5","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A Bertolino","year":"1994","unstructured":"Bertolino A, Marr\u00e9 M (1994) Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Trans Soft Eng 20(12):885\u2013899","journal-title":"IEEE Trans Soft Eng"},{"key":"44_CR6","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools","author":"RV Binder","year":"2000","unstructured":"Binder RV (2000) Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, Boston"},{"key":"44_CR7","volume-title":"Software-Produktlinien: Methoden, Einf\u00fchrung und Praxis","year":"2004","unstructured":"B\u00f6ckle G, Knauber P, Pohl K, Schmid K (eds) (2004) Software-Produktlinien: Methoden, Einf\u00fchrung und Praxis. dpunkt, Heidelberg"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Bod\u00edk R, Gupta R, Soffa ML (1997) Refining Data Flow Information using Infeasible Paths. In: Proc. of the Sixth European Software Engineering Conf. Springer, New York, pp 361\u2013377","DOI":"10.1007\/3-540-63531-9_25"},{"issue":"1","key":"44_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B Boehm","year":"2001","unstructured":"Boehm B, Basili V (2001) Software Defect Reduction Top 10 List. IEEE Computer 34(1):135\u2013137","journal-title":"IEEE Computer"},{"key":"44_CR10","volume-title":"Software Product Lines: Practices and Patterns","author":"P Clemens","year":"2002","unstructured":"Clemens P, Northrop L (2002) Software Product Lines: Practices and Patterns. Addison-Wesley, New York"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Cohen MB, Dwyer MB, 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. ACM, New York, pp 53\u201363","DOI":"10.1145\/1147249.1147257"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Geppert B, Li J, R\u00f6\u00dfler F, Weiss DM (2004) Towards Generating Acceptance Tests for Product Lines. In: Software Reuse: Methods, Techniques and Tools \u2013 8th Intl. Conference, ICSR 2004. Springer, Heidelberg, Vol. LNCS 3107, pp 35\u201348","DOI":"10.1007\/978-3-540-27799-6_4"},{"key":"44_CR13","unstructured":"GLPK (2003) Gnu Linear Programming Kit. http:\/\/www.gnu.org\/software\/glpk, August 2007"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Hartmann J, Imoberdorf C, Meisinger M (2000) UML-Based Integration Testing. In: Proc. of the Intl. Symposium on Software Testing and Analysis (ISSTA). ACM, New York, USA, pp 60\u201370","DOI":"10.1145\/347324.348872"},{"key":"44_CR15","unstructured":"Hedley D, Hennell M (1985) The Causes and Effects of Infeasible Paths in Computer Programs. In: Proc. of the 8th Intl. Conf. on Software Engineering. IEEE, Los Alamitos, pp 259\u2013267"},{"issue":"9","key":"44_CR16","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/182987.182989","volume":"37","author":"PC Jorgensen","year":"1994","unstructured":"Jorgensen PC, Erickson C (1994) Object-Oriented Integration Testing. Commun ACM 37(9):30\u201338","journal-title":"Commun ACM"},{"key":"44_CR17","volume-title":"Software Product Lines - Research Issues in Engineering and Management","year":"2006","unstructured":"K\u00e4k\u00f6l\u00e4 T, Due~nas JC (eds) (2006) Software Product Lines - Research Issues in Engineering and Management. Springer, Heidelberg"},{"key":"44_CR18","first-page":"119","volume-title":"Software-Produktlinien: Methoden, Einf\u00fchrung und Praxis","author":"E Kamsties","year":"2004","unstructured":"Kamsties E, Pohl K, Reis S, Reuys A (2004) Anforderungsbasiertes Testen. In: B\u00f6ckle G, Knauber P, Pohl K, Schmid K (eds) Software-Produktlinien: Methoden, Einf\u00fchrung und Praxis. dpunkt, Heidelberg, pp 119\u2013136"},{"key":"44_CR19","unstructured":"Kim Y, Carlson CR (1999) Scenario Based Integration Testing for Object-Oriented Software Development. In: Proc. of the 8th Asian Test Symposium. IEEE, pp 383\u2013288"},{"key":"44_CR20","unstructured":"McGregor J, Sodhani P, Madhavapeddi S (2004) Testing Variability in a Software Product Line. In: Proc. of Intl. Workshop on Software Product Line Testing (SPLiT). Avaya Labs, Boston, USA, August, pp 45\u201350"},{"key":"44_CR21","doi-asserted-by":"crossref","unstructured":"McGregor JD (2001) Testing a Software Product Line. Technical Report CMU\/SEI-2001-TR-022. Carnegie Mellon University, December","DOI":"10.21236\/ADA401736"},{"key":"44_CR22","doi-asserted-by":"crossref","unstructured":"Muccini H, van der Hoek A (2003) Towards Testing Product Line Architectures. Electronic Notes in Theoretical Computer Science \u2013 Proc. of the Intl. Workshop on Test and Analysis of Component-Based Systems, 82(6)","DOI":"10.1016\/S1571-0661(04)81029-6"},{"key":"44_CR23","doi-asserted-by":"crossref","unstructured":"Nebut C, Fleurey F, Le Traon Y, J\u00e9z\u00e9quel JM (2004) A Requirement-based Approach to Test Product Families. In: Software Product-Family Engineering \u2013 5th Intl. Workshop. Springer, Heidelberg, Vol. LNCS 3014, pp 198\u2013210","DOI":"10.1007\/978-3-540-24667-1_15"},{"issue":"3","key":"44_CR24","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"J Offutt","year":"1998","unstructured":"Offutt J, Pan J (1998) Automatically Detecting Equivalent Mutants and Infeasible Paths. Softw Test Verif Reliab 7(3):165\u2013192","journal-title":"Softw Test Verif Reliab"},{"key":"44_CR25","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 (2005) Software Product Line Engineering \u2013 Foundations, Principles, and Techniques. Springer, Berlin"},{"issue":"12","key":"44_CR26","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 \u2013 Exploring principles and potential solutions. Commun ACM 49(12):78\u201381","journal-title":"Commun ACM"},{"issue":"7","key":"44_CR27","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1109\/TSE.1987.233487","volume":"13","author":"RE Prather","year":"1987","unstructured":"Prather RE, Myers JP (1987) The Path Prefix Testing Strategy. IEEE Trans Soft Eng 13(7):761\u2013766","journal-title":"IEEE Trans Soft Eng"},{"key":"44_CR28","unstructured":"Reis S, Metzger A, Pohl K (2006) A Reuse Technique for Performance Testing of Software Product Lines. In: Proc. of the Intl. Workshop on Software Product Line Testing (SPLiT), Mannheim University of Applied Sciences, Report No. 003.06, pp 5\u201310"},{"key":"44_CR29","doi-asserted-by":"crossref","unstructured":"Reis S, Metzger A, Pohl K (2007) Integration Testing in Software Product Line Engineering: A Model-based Technique. In: Fundamental Approaches to Software Engineering, Intl. Conference (FASE 2007). Springer, Heidelberg, Vol. LNCS 4422, pp 321\u2013335","DOI":"10.1007\/978-3-540-71289-3_25"},{"key":"44_CR30","unstructured":"Reuys A, Kamsties E, Pohl K, Reis S (2005) Model-based System Testing of Software Product Families. In: Advanced Information Systems Engineering - CAiSE 2005. Springer, Heidelberg, Vol. LNCS 3520, pp 519\u2013534"},{"issue":"1\u20132","key":"44_CR31","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00450-005-0200-1","volume":"20","author":"A Reuys","year":"2005","unstructured":"Reuys A, Kamsties E, Pohl K, Reis S (2005) Szenario-basierter Systemtest von Software-Produktfamilien. Informatik Forsch Entw 20(1\u20132):33\u201344","journal-title":"Informatik Forsch Entw"},{"key":"44_CR32","volume-title":"Basiswissen Softwaretest","author":"A Spillner","year":"2004","unstructured":"Spillner A, Linz T (2004) Basiswissen Softwaretest. dpunkt, Heidelberg"},{"issue":"12","key":"44_CR33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/1183236.1183260","volume":"49","author":"V Sugumaran","year":"2006","unstructured":"Sugumaran V, Park S, Kang KC (2006) Software Product Line Engineering. Commun ACM 49(12):29\u201332","journal-title":"Commun ACM"},{"key":"44_CR34","doi-asserted-by":"crossref","unstructured":"Tevanlinna A, Taina J, Kauppinen R (2004) Product Family Testing \u2013 a Survey. ACM SIGSOFT Software Engineering Notes 29(2)","DOI":"10.1145\/979743.979766"},{"key":"44_CR35","doi-asserted-by":"crossref","unstructured":"Tsai W, Bai X, Paul R, Shao W, Agarwal V (2001) End-To-End Integration Testing Design. In: Proc. of the 25th Annual Intl. Computer Software and Applications Conf. Los Alamitos, IEEE, pp 166\u2013171","DOI":"10.1109\/CMPSAC.2001.960613"},{"key":"44_CR36","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0164-1212(89)90062-9","volume":"10","author":"H Wang","year":"1989","unstructured":"Wang H, Hsu S, Lin J (1989) A Generalized Optimal Path-Selection Model for Structural Program Testing. J Syst Soft 10:55\u201363","journal-title":"J Syst Soft"},{"key":"44_CR37","doi-asserted-by":"crossref","unstructured":"Wohlin C, Runeson P, H\u00f6st M, Ohlsson MC, Regnell B, Wesslen A (2000) Experimentation in Software Engineering \u2013 An Introduction. Kluwer Academic Publishers","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"44_CR38","unstructured":"Wu Y, Chen MH, Offutt J (2003) UML-Based Integration Testing for Component-Based Software. In: Proc. of the 2nd Intl. Conf. on COTS-Based Software Systems. Springer, Heidelberg, Vol. LNCS 2580, pp 251\u2013260"}],"container-title":["Informatik - Forschung und Entwicklung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-008-0044-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-008-0044-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-008-0044-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:32:45Z","timestamp":1559136765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-008-0044-6"}},"subtitle":["Eine modellbasierte Technik f\u00fcr die automatisierte Testfallableitung"],"short-title":[],"issued":{"date-parts":[[2008,2,28]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["44"],"URL":"https:\/\/doi.org\/10.1007\/s00450-008-0044-6","relation":{},"ISSN":["0178-3564","0949-2925"],"issn-type":[{"value":"0178-3564","type":"print"},{"value":"0949-2925","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,28]]}}}