{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:03:57Z","timestamp":1743087837126,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031185557"},{"type":"electronic","value":"9783031185564"}],"license":[{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T00:00:00Z","timestamp":1664323200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-18556-4_14","type":"book-chapter","created":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:04:22Z","timestamp":1675713862000},"page":"315-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PLeTs: A Software Product Line for Testing Tools"],"prefix":"10.1007","author":[{"given":"Elder M.","family":"Rodrigues","sequence":"first","affiliation":[]},{"given":"Avelino F.","family":"Zorzo","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Marchezan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,28]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abbors, F., Backlund, A., Truscan, D.: MATERA - An integrated framework for model-based testing. In: Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 321\u2013328 (2010)","key":"14_CR1","DOI":"10.1109\/ECBS.2010.46"},{"doi-asserted-by":"crossref","unstructured":"Andaloussi, B.S., Braun, A.: A test specification method for software interoperability tests in offshore scenarios: A case study. In: Proceedings of the IEEE International Conference on Global Software Engineering, pp. 169\u2013178 (2006)","key":"14_CR2","DOI":"10.1109\/ICGSE.2006.261230"},{"unstructured":"Apache: JMeter Performance Test. https:\/\/jmeter.apache.org\/. Accessed 20 March 2020","key":"14_CR3"},{"doi-asserted-by":"crossref","unstructured":"Barna, C., Litoiu, M., Ghanbari, H.: Model-based performance testing. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 872\u2013875 (2011)","key":"14_CR4","DOI":"10.1145\/1985793.1985930"},{"doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proceedings of the 6th International Workshop on Software and Performance, pp. 115\u2013124 (2007)","key":"14_CR5","DOI":"10.1145\/1216993.1217012"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1049\/iet-sen.2015.0154","volume":"11","author":"M Bernardino","year":"2017","unstructured":"Bernardino, M., Rodrigues, E.M., Zorzo, A.F., Marchezan, L.: Systematic mapping study on MBT: tools and models. IET Software 11, 141\u2013155(14) (2017)","journal-title":"IET Software"},{"doi-asserted-by":"crossref","unstructured":"Bertolino, A.: Software testing research: achievements, challenges, dreams. In: Proceedings of the Future of Software Engineering, pp. 85\u2013103 (2007)","key":"14_CR7","DOI":"10.1109\/FOSE.2007.25"},{"doi-asserted-by":"crossref","unstructured":"Cartaxo, E., Neto, F., Machado, P.: Test case generation by means of UML sequence diagrams and labeled transition systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 1292\u20131297 (2007)","key":"14_CR8","DOI":"10.1109\/ICSMC.2007.4414060"},{"unstructured":"Costa, L.T.: Conjunto de Caracter\u00edsticas para Teste de Desempenho: Uma Vis\u00e3o a Partir de Ferramentas. Master\u2019s Thesis (in Portuguese), Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul, Porto Alegre, Brazil (2012)","key":"14_CR9"},{"unstructured":"Costa, L.T., Czekster, R.M., Oliveira, F.M., Rodrigues, E.D.M., Silveira, M.B., Zorzo, A.F.: Generating performance test scripts and scenarios based on abstract intermediate models. In: Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering, pp. 112\u2013117 (2012)","key":"14_CR10"},{"doi-asserted-by":"crossref","unstructured":"Demathieu, S., Thomas, F., Andr\u00e9, C., G\u00e9rard, S., Terrier, F.: First experiments using the UML profile for marte. In: Proceedings of the 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing, pp. 50\u201357 (2008)","key":"14_CR11","DOI":"10.1109\/ISORC.2008.36"},{"doi-asserted-by":"crossref","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model\u2013based testing approaches: A systematic review. In: Proceedings of the 1st ACM international Workshop on Empirical Assessment of Software Engineering Languages and Technologies, pp. 31\u201336 (2007)","key":"14_CR12","DOI":"10.1145\/1353673.1353681"},{"key":"14_CR13","first-page":"825","volume-title":"Encyclopedia of Software Engineering","author":"IK El-Far","year":"2001","unstructured":"El-Far, I.K., Whittaker, J.A.: Model-based software testing. In: Marciniak, J. (ed.) Encyclopedia of Software Engineering, pp. 825\u2013837. Wiley, Hoboken (2001)"},{"doi-asserted-by":"crossref","unstructured":"Farooq, Q., Lam, C.P.: Evolving the quality of a model-based test suite. In: Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 141\u2013149 (2009)","key":"14_CR14","DOI":"10.1109\/ICSTW.2009.27"},{"doi-asserted-by":"crossref","unstructured":"Farooq, Q., Iqbal, M., Malik, Z., Riebisch, M.: A model-based regression testing approach for evolving software systems with flexible tool support. In: Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, pp. 41\u201349 (2010)","key":"14_CR15","DOI":"10.1109\/ECBS.2010.12"},{"unstructured":"Focus, M.: LoadRunner Professional. https:\/\/www.microfocus.com\/en-us\/products\/loadrunner-professional\/. Accessed 20 Feb 2020","key":"14_CR16"},{"doi-asserted-by":"crossref","unstructured":"Gonczy, L., Heckel, R., Varro, D.: Model-based testing of service infrastructure components. In: Proceedings of the 7th International Workshop Testing of Software and Communicating Systems, pp. 155\u2013170 (2007)","key":"14_CR17","DOI":"10.1007\/978-3-540-73066-8_11"},{"doi-asserted-by":"crossref","unstructured":"Hasling, B., Goetz, H., Beetz, K.: Model-based testing of system requirements using UML use case models. In: Proceedings of the 1st International Conference on Software Testing, Verification, and Validation, pp. 367\u2013376 (2008)","key":"14_CR18","DOI":"10.1109\/ICST.2008.9"},{"doi-asserted-by":"crossref","unstructured":"Heiskanen, H., J\u00e4\u00e4skel\u00e4inen, A., Katara, M.: Debug support for model-based GUI testing. In: Proceedings of the 3rd International Conference on Software Testing, Verification and Validation, pp. 25\u201334 (2010)","key":"14_CR19","DOI":"10.1109\/ICST.2010.36"},{"key":"14_CR20","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study","author":"KC Kang","year":"1990","unstructured":"Kang, K.C, Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Carnegie-Mellon University, Pittsburgh Software Engineering Institute (1990)"},{"doi-asserted-by":"crossref","unstructured":"K\u00e4stner, C., Apel, S., Kuhlemann, M.: Granularity in software product lines. In: Proceedings of the 30th International Conference on Software Engineering, pp. 311\u2013320 (2008)","key":"14_CR21","DOI":"10.1145\/1368088.1368131"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng. 16, 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1142\/S0218194015710126","volume":"25","author":"MS Laser","year":"2015","unstructured":"Laser, M.S., Rodrigues, E.M., Domingues, A., Oliveira, F., Zorzo, A.F.: Research notes on the architectural evolution of a software product line. Int. J. Softw. Eng. Knowled. Eng. 25, 1753\u20131758 (2015)","journal-title":"Int. J. Softw. Eng. Knowled. Eng."},{"key":"14_CR24","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"B Legeard","year":"2006","unstructured":"Legeard, B., Utting, M.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Burlington (2006)"},{"key":"14_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"FJ Linden","year":"2007","unstructured":"Linden, F.J., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, New York (2007)"},{"doi-asserted-by":"crossref","unstructured":"L\u00f6ffler, R., Meyer, M., Gottschalk, M.: Formal Scenario-based requirements specification and test case generation in healthcare applications. In: Proceedings of the Workshop on Software Engineering in Health Care, pp. 57\u201367 (2010)","key":"14_CR26","DOI":"10.1145\/1809085.1809093"},{"key":"14_CR27","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/stvr.364","volume":"17","author":"AM Memon","year":"2007","unstructured":"Memon, A.M.: An event-flow model of GUI-based applications for testing: Research articles. Softw. Testing Verif. Reliab. 17, 137\u2013157 (2007)","journal-title":"Softw. Testing Verif. Reliab."},{"issue":"3","key":"14_CR28","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MIC.2002.1003136","volume":"6","author":"DA Menasc\u00e9","year":"2002","unstructured":"Menasc\u00e9, D.A.: TPC-W: A benchmark for e-Commerce. IEEE Int. Comput. 6(3), 83\u201387 (2002)","journal-title":"IEEE Int. Comput."},{"key":"14_CR29","volume-title":"The Art of Software Testing","author":"GJ Myers","year":"2011","unstructured":"Myers, G.J., Sandler, C., Badgett, T.: The Art of Software Testing. Wiley, Hoboken (2011)"},{"unstructured":"Olimpiew, E.M.: Model-based testing for software product lines. Ph.D. Thesis, George Mason University, Washington (2008)","key":"14_CR30"},{"key":"14_CR31","first-page":"2374","volume":"16","author":"E OliveiraJr","year":"2010","unstructured":"OliveiraJr, E., Gimenes, I.M.S., Maldonado, J.C.: Systematic management of variability in UML-based software product lines. J. Univer. Comput. Sci. 16, 2374\u20132393 (2010)","journal-title":"J. Univer. Comput. Sci."},{"unstructured":"OMG: Unified Modeling Language - UML. http:\/\/www.uml.org\/. Accessed 30 April 2020","key":"14_CR32"},{"key":"14_CR33","volume-title":"Software Engineering with Microsoft Visual Studio Team System","author":"J Perez","year":"2006","unstructured":"Perez, J., Guckenheimer, S.: Software Engineering with Microsoft Visual Studio Team System. Pearson Education, London (2006)"},{"unstructured":"Rodrigues, E.M., Viccari, L.D., Zorzo, A.F.: PLeTs - Test automation using software product lines and model-based testing. In: Proceedings of the 22th International Conference on Software Engineering and Knowledge Engineering, pp. 483\u2013488 (2010)","key":"14_CR34"},{"unstructured":"Rodrigues, E.M., Zorzo, A.F., OliveiraJr, E, Gimenes, I.M.S., Maldonado, J.C., Domingues, A.R.: PlugSPL: An automated environment for supporting plugin-based software product lines. In: Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering, pp. 647\u2013650 (2012)","key":"14_CR35"},{"unstructured":"Roubtsov, V.: EMMA: a Free Java Code Coverage Tool. http:\/\/emma.sourceforge.net. Accessed 20 March 2020","key":"14_CR36"},{"doi-asserted-by":"crossref","unstructured":"Sarma, M., Murthy, P., Jell, S., Ulrich, A.: Model-based testing in industry: A case study with two MBT tools. In: Proceedings of the 5th Workshop on Automation of Software Test, pp. 87\u201390 (2010)","key":"14_CR37","DOI":"10.1145\/1808266.1808279"},{"doi-asserted-by":"crossref","unstructured":"Schulz, S., Honkola, J., Huima, A.: Towards model-based testing with architecture models. In: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pp. 495\u2013502 (2007)","key":"14_CR38","DOI":"10.1109\/ECBS.2007.73"},{"key":"14_CR39","volume-title":"A systematic review of model-based testing tool support","author":"M Shafique","year":"2010","unstructured":"Shafique, M., Labiche, Y.: A systematic review of model-based testing tool support. Technical Report, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (2010). http:\/\/squall.sce.carleton.ca\/pubs\/tech_report\/TR_SCE-10-04.pdf"},{"unstructured":"Silveira, M.B.: Conjunto de Caracter\u00edsticas para Teste de Desempenho: uma Vis\u00e3o a partir de Modelos. Master\u2019s thesis (in Portuguese), Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul, Porto Alegre, Brazil (2012)","key":"14_CR40"},{"unstructured":"Silveira, M.B., Rodrigues, E.M., Zorzo, A.F., Vieira, H., Oliveira, F.M.: Model-based automatic generation of performance test scripts. In: Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering, pp. 258\u2013263 (2011)","key":"14_CR41"},{"doi-asserted-by":"crossref","unstructured":"Stefanescu, A., Wieczorek, S., Kirshin, A.: MBT4Chor: A model-based testing approach for service choreographies. In: Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, pp. 313\u2013324 (2009)","key":"14_CR42","DOI":"10.1007\/978-3-642-02674-4_23"},{"doi-asserted-by":"crossref","unstructured":"Stefanescu, A., Wieczorek, S., Wendland, M.F.: Using the UML testing profile for enterprise service choreographies. In: Proceedings of the 36th Euromicro Conference on Software Engineering and Advanced Applications, pp. 12\u201319 (2010)","key":"14_CR43","DOI":"10.1109\/SEAA.2010.44"},{"doi-asserted-by":"crossref","unstructured":"Thum, T., Kastner, C., Erdweg, S., Siegmund, N.: Abstract features in feature modeling. In: Proceedings of the 15th International Software Product Line Conference, pp. 191\u2013200 (2011)","key":"14_CR44","DOI":"10.1109\/SPLC.2011.53"},{"key":"14_CR45","first-page":"1","volume":"1","author":"T Th\u00fcm","year":"2012","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: An extensible framework for feature-oriented software development. Sci. Comput. Programm. 1, 1\u201316 (2012)","journal-title":"Sci. Comput. Programm."},{"doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-based testing of object-oriented reactive systems with spec explorer. In: Formal Methods and Testing, pp. 39\u201376. Springer, Berlin (2008)","key":"14_CR46","DOI":"10.1007\/978-3-540-78917-8_2"},{"key":"14_CR47","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.scico.2004.11.013","volume":"56","author":"A Vincenzi","year":"2005","unstructured":"Vincenzi, A., Maldonado, J., Wong, W., Delamaro, M.: Coverage testing of Java programs and components. Sci. Comput. Programm. 56, 211\u2013230 (2005)","journal-title":"Sci. Comput. Programm."},{"unstructured":"Yuan, Y., Li, Z., Sun, W.: A graph-search based approach to BPEL4WS test generation. In: International Conference on Software Engineering Advances, pp. 1\u20139 (2012)","key":"14_CR48"}],"container-title":["UML-Based Software Product Line Engineering with SMarty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-18556-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T21:11:36Z","timestamp":1675717896000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-18556-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,28]]},"ISBN":["9783031185557","9783031185564"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-18556-4_14","relation":{},"subject":[],"published":{"date-parts":[[2022,9,28]]},"assertion":[{"value":"28 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}