{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T01:10:03Z","timestamp":1744161003198,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_46","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"726-742","source":"Crossref","is-referenced-by-count":9,"title":["A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study"],"prefix":"10.1007","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Suneth","family":"Walawege","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MS.2002.1020285","volume":"19","author":"L.M. Northrop","year":"2002","unstructured":"Northrop, L.M.: SEI\u2019s Software Product Line Tenets. IEEE Software\u00a019, 32\u201340 (2002)","journal-title":"IEEE Software"},{"key":"46_CR2","unstructured":"http:\/\/splc.net\/fame.html"},{"key":"46_CR3","unstructured":"www.cisco.com"},{"key":"46_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-24485-8_9","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Ali","year":"2011","unstructured":"Ali, S., Briand, L.C., Arcuri, A., Walawege, S.: An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML\/MARTE, and Search Algorithms. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 108\u2013122. Springer, Heidelberg (2011)"},{"key":"46_CR5","unstructured":"Ali, S., Hemmati, H., Holt, N.E., Arisholm, E., Briand, L.C.: Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies. Simula Research Laboratory, Technical Report (2010-01) (2010)"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"Drusinsky, D.: Modeling and Verification using UML Statecharts: A Working Guide to Reactive System Design. In: Runtime Monitoring and Execution-based Model Checking, Newnes (2006)","DOI":"10.1016\/B978-075067949-7\/50004-0"},{"key":"46_CR7","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley Professional (2000)"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"Lavagno, L., Martin, G., Selic, B.V.: UML for Real: Design of Embedded Real-Time Systems. Springer (2003)","DOI":"10.1007\/b105972"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"Ali, S., Briand, L.C., Hemmati, H.: Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems. Accepted for Publication in the Systems and Software Modeling (SOSYM) Journal (2011)","DOI":"10.1007\/s10270-011-0206-z"},{"key":"46_CR10","doi-asserted-by":"crossref","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. In: 11th International Conference on Quality Software (QSIC). IEEE (2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"46_CR11","unstructured":"Filman, R.E., Elrad, T., Clarke, S., Aksit, M.: Aspect-Oriented Software Development. Addison-Wesley Professional (2004)"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T., Briand, L.C., Malik, Z.I.: Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines? Under Consideration for a Publication in a Journal (2011)","DOI":"10.1007\/s10270-012-0293-5"},{"key":"46_CR13","doi-asserted-by":"crossref","unstructured":"Ali, S., Yue, T.: Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing. In: International Conference on Aspect-Oriented Software Development (AOSD 2012). ACM (2012)","DOI":"10.1145\/2162049.2162068"},{"key":"46_CR14","unstructured":"Ali, S., Yue, T., Briand, L.C.: Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort Simula Research Laboratory, Technical Report (2011-06) (2011)"},{"key":"46_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-31491-9_12","volume-title":"Modelling Foundations and Applications","author":"T. Yue","year":"2012","unstructured":"Yue, T., Ali, S.: Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 133\u2013145. Springer, Heidelberg (2012)"},{"key":"46_CR16","unstructured":"http:\/\/www.omgmarte.org\/"},{"key":"46_CR17","series-title":"LNCS","first-page":"642","volume-title":"MODELS 2012","author":"M.Z. Iqbal","year":"2012","unstructured":"Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Experiences of Applying UML\/MARTE on Three Industrial Projects. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, pp. 642\u2013658. Springer, Heidelberg (2012)"},{"key":"46_CR18","unstructured":"IRISA and INRIA, http:\/\/www.kermeta.org\/"},{"key":"46_CR19","unstructured":"Clauss, M.: Generic modeling using uml extensions for variability. In: OOPSLA (2001)"},{"key":"46_CR20","doi-asserted-by":"crossref","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Towards a UML Profile for Software Product Lines (2004)","DOI":"10.1007\/978-3-540-24667-1_10"},{"key":"46_CR21","first-page":"225","volume-title":"Proceedings of the 2005 Conference of the Centre for Advanced Studies on Collaborative Research","author":"J. Edson Alves de Oliveira","year":"2005","unstructured":"Edson Alves de Oliveira, J., Gimenes, I.M.S., Huzita, E.H.M., Maldonado, J.C.: A variability management process for software product lines. In: Proceedings of the 2005 Conference of the Centre for Advanced Studies on Collaborative Research, pp. 225\u2013241. IBM Press, Toranto (2005)"},{"key":"46_CR22","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Shin, M.E.: Multiple-View Meta-Modeling of Software Product Lines. In: Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems, p. 238. IEEE Computer Society (2002)","DOI":"10.1109\/ICECCS.2002.1181517"},{"key":"46_CR23","unstructured":"Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison-Wesley Professional (2004)"},{"key":"46_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Jayaraman","year":"2007","unstructured":"Jayaraman, P., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 151\u2013165. Springer, Heidelberg (2007)"},{"key":"46_CR25","first-page":"11","volume-title":"Proceedings of the 13th International Workshop on Early Aspects","author":"B. Morin","year":"2008","unstructured":"Morin, B., Klein, J., Barais, O., Jezequel, J.-M.: A generic weaver for supporting product lines. In: Proceedings of the 13th International Workshop on Early Aspects, pp. 11\u201318. ACM, Leipzig (2008)"},{"key":"46_CR26","unstructured":"Groher, I., Voelter, M.: Using Aspects to Model Product Line Variability. In: Early Aspects Workshop at SPLC (2008)"},{"key":"46_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-642-04425-0_56","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2009","unstructured":"Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., J\u00e9z\u00e9quel, J.-M.: Weaving Variability into Domain Metamodels. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 690\u2013705. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:34:29Z","timestamp":1744158869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}