{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:38:12Z","timestamp":1742402292010},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397417"},{"type":"electronic","value":"9783642397424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_16","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T11:32:08Z","timestamp":1376652728000},"page":"209-223","source":"Crossref","is-referenced-by-count":14,"title":["Regression Testing for Model Transformations: A Multi-objective Approach"],"prefix":"10.1007","author":[{"given":"Jeffery","family":"Shelburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marouane","family":"Kessentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel R.","family":"Tauritz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Mottu, J., Baudry, B., Le Traon, Y.: Model Transformation Testing: Oracle Issue. In: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 105\u2013112 (2008)","DOI":"10.1109\/ICSTW.2008.27"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., le Traon, Y.: Metamodel-based Test Generation for Model Transformations: An Algorithm and a Tool. In: 17th International Symposium on Software Reliability Engineering, ISSRE 2006, pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Baudry, B., Fleurey, F., Jezequel, J.M., Traon, Y.L.: Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to.NET Components. In: Proceedings of ASE 2002 (Automated Software Engineering), Edinburgh (2002)","DOI":"10.1109\/ASE.2002.1115023"},{"key":"16_CR4","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in Model-Driven Engineering: Testing Model Transformations. In: Proceedings of First International Workshop on Model, Design and Validation, pp. 29\u201340 (2004)"},{"issue":"2","key":"16_CR5","first-page":"87","volume":"2","author":"D. Nam","year":"2000","unstructured":"Nam, D., Park, C.H.: Multiobjective Simulated Annealing: A Comparative Study to Evolutionary Algorithms. International Journal of Fuzzy Systems\u00a02(2), 87\u201397 (2000)","journal-title":"International Journal of Fuzzy Systems"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-30473-6_12","volume-title":"Tests and Proofs","author":"P. Brosch","year":"2012","unstructured":"Brosch, P., Egly, U., Gabmeyer, S., Kappel, G., Seidl, M., Tompits, H., Widl, M., Wimmer, M.: Towards Scenario-Based Testing of UML Diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol.\u00a07305, pp. 149\u2013155. Springer, Heidelberg (2012)"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10270-007-0074-8","volume":"8","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.: Qualifying Input Test Data for Model Transformations. Software & Systems Modeling\u00a08(2), 185\u2013203 (2009)","journal-title":"Software & Systems Modeling"},{"key":"16_CR8","unstructured":"Steel, J., Lawley, M.: Model-based Test Driven Development of the Tefkat Model-Transformation Engine. In: 15th International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 151\u2013160 (2004)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., Gray, J.: A Testing Framework for Model Transformations. In: Research and Practice in Software Engineering - Model-Driven Software Development, pp. 219\u2013236. Springer (2005)","DOI":"10.1007\/3-540-28554-7_10"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of Model Transformations \u2013 First Experiences using a White Box Approach. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"16_CR11","unstructured":"Darabos, A., Pataricza, A., Varr, D.: Towards Testing the Implementation of Graph Transformations. In: Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques, pp. 69\u201380. Elsevier (2006)"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based Software Test Data Generation: A Survey: Research Articles. Softw. Test. Verif. Reliab.\u00a014(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based Software Engineering: Trends, techniques and applications. ACM Comput. Surv.\u00a045(1), 11:1\u201311:61 (2012)","DOI":"10.1145\/2379776.2379787"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/1007512.1007527","volume-title":"Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004","author":"A. Baresel","year":"2004","unstructured":"Baresel, A., Binkley, D., Harman, M., Korel, B.: Evolutionary Testing in the Presence of Loop-Assigned Flags: A Testability Transformation Approach. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, pp. 108\u2013118. ACM, New York (2004)"},{"key":"16_CR15","first-page":"1329","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002","author":"A. Baresel","year":"2002","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness Function Design To Improve Evolutionary Structural Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002, pp. 1329\u20131336. Morgan Kaufmann Publishers Inc., San Francisco (2002)"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39742-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,16]],"date-time":"2024-05-16T18:37:45Z","timestamp":1715884665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}