{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T11:43:04Z","timestamp":1778326984610,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288715","type":"print"},{"value":"9783642288722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_19","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"270-284","source":"Crossref","is-referenced-by-count":42,"title":["Integration Testing of Software Product Lines Using Compositional Symbolic Execution"],"prefix":"10.1007","author":[{"given":"Jiangfan","family":"Shi","sequence":"first","affiliation":[]},{"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Colbourn, C.J., Gibbons, P.B., Mugridge, W.B.: Constructing test suites for interaction testing. In: Proc. of the Intl. Conf. on Soft. Eng., pp. 38\u201348 (May 2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Coverage and adequacy in software product line testing. In: Proc. of the Workshop on the Role of Arch. for Test. and Anal., pp. 53\u201363 (July 2006)","DOI":"10.1145\/1147249.1147257"},{"key":"19_CR4","unstructured":"Communication Research Center Canada, http:\/\/www.crc.gc.ca\/en\/html\/crc\/home\/research\/satcom\/rars\/sdr\/products\/scari_open\/scari_open"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Dannenberg, R.B., Krueger, C. (eds.) ICSR 2004. LNCS, vol.\u00a03107, pp. 35\u201348. Springer, Heidelberg (2004)"},{"key":"19_CR7","unstructured":"GNU Radio, http:\/\/gnuradio.org\/redmine\/wiki\/gnuradio"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Proc. of the ACM Symposium on Principles of Programming Languages, pp. 47\u201354 (2007)","DOI":"10.1145\/1190215.1190226"},{"key":"19_CR9","unstructured":"Halpert, R.L.: Static lock allocation. Master\u2019s thesis, McGill University(April 2008)"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1142\/S0218194004001804","volume":"14","author":"M. Jaring","year":"2004","unstructured":"Jaring, M., Bosch, J.: Expressing product diversification \u2013 categorizing and classifying variability in software product family engineering. Intl. Journal of Soft. Eng. and Knowledge Eng.\u00a014(5), 449\u2013470 (2004)","journal-title":"Intl. Journal of Soft. Eng. and Knowledge Eng."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Kim, C.H.P., Batory, D., Khurshid, S.: Reducing combinatorics in testing product lines. In: Asp. Orient. Soft. Dev., AOSD (2011)","DOI":"10.1145\/1960275.1960284"},{"issue":"7","key":"19_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"issue":"6","key":"19_CR13","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D. Kuhn","year":"2004","unstructured":"Kuhn, D., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. on Soft. Eng.\u00a030(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-44800-4_2","volume-title":"Generative and Component-Based Software Engineering","author":"R.E. Lopez-Herrejon","year":"2001","unstructured":"Lopez-Herrejon, R.E., Batory, D.: A Standard Problem for Evaluating Product-Line Methodologies. In: Dannenberg, R.B. (ed.) GCSE 2001. LNCS, vol.\u00a02186, pp. 10\u201324. Springer, Heidelberg (2001)"},{"key":"19_CR15","unstructured":"NASA Ames. Java Pathfinder (2011), http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. In: Proc. of the Soft. Eng. Symp. on Practical Soft. Develop. Envs., pp. 177\u2013184 (1984)","DOI":"10.1145\/390011.808263"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Person, S., Dwyer, M.B., Elbaum, S., P\u01ces\u01cereanu, C.S.: Differential symbolic execution. In: Intl. Symp. on Foun. of Soft. Eng., pp. 226\u2013237 (2008)","DOI":"10.1145\/1453101.1453131"},{"key":"19_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-71289-3_25","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Reis","year":"2007","unstructured":"Reis, S., Metzger, A., Pohl, K.: Integration Testing in Software Product Line Engineering: A Model-Based Technique. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 321\u2013335. Springer, Heidelberg (2007)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Reisner, E., Song, C., Ma, K.-K., Foster, J.S., Porter, A.: Using symbolic evaluation to understand behavior in configurable software systems. In: Intl. Conf. on Soft. Eng., pp. 445\u2013454 (May 2010)","DOI":"10.1145\/1806799.1806864"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Reps, T., Rosay, G.: Precise interprocedural chopping. In: Proc. of the ACM Symposium on Foundations of Soft. Eng., pp. 41\u201352 (1995)","DOI":"10.1145\/222132.222138"},{"key":"19_CR22","unstructured":"Sox. Sound Exchange (2011), http:\/\/sox.sourceforge.net\/"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-15579-6_16","volume-title":"Software Product Lines: Going Beyond","author":"V. Stricker","year":"2010","unstructured":"Stricker, V., Metzger, A., Pohl, K.: Avoiding Redundant Testing in Application Engineering. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol.\u00a06287, pp. 226\u2013240. Springer, Heidelberg (2010)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Uzuncaova, E., Garcia, D., Khurshid, S., Batory, D.: Testing software product lines using incremental test generation. In: Intl. Symp. on Soft. Reliab. Eng, pp. 249\u2013258 (2008)","DOI":"10.1109\/ISSRE.2008.56"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","volume-title":"Compiler Construction","author":"R. Vall\u00e9e-Rai","year":"2000","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E.M., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 18\u201334. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T01:52:28Z","timestamp":1641433948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}