{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T23:29:00Z","timestamp":1720999740344},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,6,27]],"date-time":"2015-06-27T00:00:00Z","timestamp":1435363200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10664-015-9392-6","type":"journal-article","created":{"date-parts":[[2015,6,26]],"date-time":"2015-06-26T03:18:13Z","timestamp":1435288693000},"page":"2459-2502","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach"],"prefix":"10.1007","volume":"21","author":[{"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Zohaib","family":"Iqbal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maham","family":"Khalid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,27]]},"reference":[{"key":"9392_CR1","unstructured":"Aertryck Lv, Jensen T (2003) UML-Casting: test synthesis from UML models using constraint resolution. Paper presented at the Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL\u20192003)"},{"key":"9392_CR2","doi-asserted-by":"crossref","first-page":"957","DOI":"10.1016\/j.infsof.2008.12.005","volume":"51","author":"W Afzal","year":"2009","unstructured":"Afzal W, Torkar R, Feldt R (2009) A systematic review of search-based testing for non-functional system properties. Inf Softw Technol 51:957\u2013976","journal-title":"Inf Softw Technol"},{"key":"9392_CR3","doi-asserted-by":"crossref","unstructured":"Ali S et al., Briand LC, Hemmati H, Panesar-Walawege RK (2009) A systematic review of the application and empirical investigation of search-based test case generation IEEE transactions on software engineering 99","DOI":"10.1109\/TSE.2009.52"},{"key":"9392_CR4","doi-asserted-by":"crossref","unstructured":"Ali S, Briand L, Arcuri A, Walawege S (2011a) an industrial application of robustness testing using aspect-oriented modeling, UML\/MARTE, and search algorithms. Paper presented at the ACM\/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)","DOI":"10.1007\/978-3-642-24485-8_9"},{"key":"9392_CR5","doi-asserted-by":"crossref","unstructured":"Ali S, Iqbal MZ, Arcuri A, Briand L (2011b) A Search-based OCL constraint solver for model-based test data generation. Paper presented at the Proceedings of the 11th International Conference On Quality Software (QSIC 2011)","DOI":"10.1109\/QSIC.2011.17"},{"key":"9392_CR6","doi-asserted-by":"crossref","unstructured":"Ali S, Briand L, Arcuri A, Walawege S (2011c) An industrial application of robustness testing using aspect-oriented modeling, UML\/MARTE, and search algorithms. Paper presented at the ACM\/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (Models 2011)","DOI":"10.1007\/978-3-642-24485-8_9"},{"key":"9392_CR7","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/s10270-011-0206-z","volume":"11","author":"S Ali","year":"2012","unstructured":"Ali S, Briand LC, Hemmati H (2012) Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw Syst Model 11:633\u2013670","journal-title":"Softw Syst Model"},{"key":"9392_CR8","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/tse.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali S, Iqbal MZ, Arcuri A, Briand L (2013) Generating test data from OCL constraints with search techniques. IEEE Trans Softw Eng 39:1376\u20131402. doi: 10.1109\/tse.2013.17","journal-title":"IEEE Trans Softw Eng"},{"key":"9392_CR9","doi-asserted-by":"crossref","unstructured":"Ali S, Iqbal MZ, Arcuri A (2014) Improved heuristics for solving OCL constraints using search algorithms. Paper presented at the Proceedings of the 2014 conference on Genetic and evolutionary computation, Vancouver, BC, Canada","DOI":"10.1145\/2576768.2598308"},{"key":"9392_CR10","doi-asserted-by":"crossref","unstructured":"Arcuri A (2010) It does matter how you normalise the branch distance in search based software testing. Paper presented at the Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation","DOI":"10.1109\/ICST.2010.17"},{"key":"9392_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.457","author":"A Arcuri","year":"2011","unstructured":"Arcuri A (2011) It really does matter how you normalize the branch distance in search-based software testing software testing. Verification Reliab. doi: 10.1002\/stvr.457","journal-title":"Verification Reliab"},{"key":"9392_CR12","doi-asserted-by":"crossref","unstructured":"Arcuri A, Briand. L (2011) A practical guide for using statistical tests to assess randomized algorithms in software engineering. Paper presented at the International Conference on Software Engineering (ICSE)","DOI":"10.1145\/1985793.1985795"},{"key":"9392_CR13","doi-asserted-by":"crossref","unstructured":"Arcuri A, Fraser G (2011) On parameter tuning in search based software engineering. Paper presented at the International Symposium on Search Based Software Engineering (SSBSE)","DOI":"10.1007\/978-3-642-23716-4_6"},{"key":"9392_CR14","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/s10664-013-9249-9","volume":"18","author":"A Arcuri","year":"2013","unstructured":"Arcuri A, Fraser G (2013) Parameter tuning or default values? An empirical investigation in search-based software engineering. Empir Softw Eng 18:594\u2013623. doi: 10.1007\/s10664-013-9249-9","journal-title":"Empir Softw Eng"},{"key":"9392_CR15","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TSE.2011.121","volume":"38","author":"A Arcuri","year":"2012","unstructured":"Arcuri A, Iqbal MZ, Briand L (2012) Random testing: theoretical results and practical implications. IEEE Trans Softw Eng 38:258\u2013277","journal-title":"IEEE Trans Softw Eng"},{"key":"9392_CR16","doi-asserted-by":"crossref","unstructured":"Bao-Lin L, Zhi-shu L, Qing L, Hong CY (2007) Test case automate generation from uml sequence diagram and ocl expression. Paper presented at the International Conference on cimputational Intelligence and Security","DOI":"10.1109\/CIS.2007.150"},{"key":"9392_CR17","doi-asserted-by":"crossref","unstructured":"Bertolino A (2007) Software testing research: achievements, challenges, dreams. Paper presented at the 2007 Future of Software Engineering","DOI":"10.1109\/FOSE.2007.25"},{"key":"9392_CR18","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"RV Binder","year":"1999","unstructured":"Binder RV (1999) Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc, Amsterdam"},{"key":"9392_CR19","unstructured":"Bordbar B, Anastasakis K (2005) UML2Alloy: a tool for lightweight modelling of Discrete Event Systems. Paper presented at the IADIS International Conference in Applied Computing"},{"key":"9392_CR20","doi-asserted-by":"crossref","unstructured":"Brucker AD, Krieger MP, Longuet D, Wolff B (2010) A specification-based test case generation method for UML\/OCL. Paper presented at the Worksshop on OCL and Textual Modelling, MoDELS","DOI":"10.1007\/978-3-642-21210-9_33"},{"key":"9392_CR21","doi-asserted-by":"crossref","unstructured":"Burke EK, Kendall G (2006) Search methodologies: introductory tutorials in optimization and decision support techniques. Springer","DOI":"10.1007\/0-387-28356-0"},{"key":"9392_CR22","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-30982-3_3","volume-title":"Formal methods for model-driven engineering, vol 7320. Lecture notes in computer science","author":"J Cabot","year":"2012","unstructured":"Cabot J, Gogolla M (2012) Object Constraint Language (OCL): A Definitive Guide. In: Bernardo M, Cortellessa V, Pierantonio A (eds) Formal methods for model-driven engineering, vol 7320. Lecture notes in computer science. Springer, Berlin, pp 58\u201390. doi: 10.1007\/978-3-642-30982-3_3"},{"key":"9392_CR23","doi-asserted-by":"crossref","unstructured":"Cabot J, Claris R, Riera D (2008) Verification of UML\/OCL class diagrams using constraint programming. Paper presented at the Proceedings of the 2008 I.E. International Conference on Software Testing Verification and Validation Workshop","DOI":"10.1109\/ICSTW.2008.54"},{"key":"9392_CR24","doi-asserted-by":"crossref","unstructured":"Clarke J et al. (2003) Reformulating software engineering as a search problem IEE Software 150:161\u2013175","DOI":"10.1049\/ip-sen:20030559"},{"key":"9392_CR25","unstructured":"Clavel M, Dios MAGd (2009) Checking unsatisfiability for OCL constraints. Paper presented at the In the proceedings of the 9th OCL 2009 Workshop at the UML\/MoDELS Conferences"},{"key":"9392_CR26","unstructured":"Coley DA (1997) An introduction to genetic algorithms for scientists and engineers. World Scientific Publishing Company"},{"key":"9392_CR27","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10270-007-0078-4","volume":"7","author":"D Costal","year":"2008","unstructured":"Costal D, G\u00f3mez C, Queralt A, Ravent\u00f3s R, Teniente E (2008) Improving the definition of general constraints in UML. Softw Syst Model 7:469\u2013486. doi: 10.1007\/s10270-007-0078-4","journal-title":"Softw Syst Model"},{"key":"9392_CR28","unstructured":"Distefano D, Katoen J-P, Rensink A (2000) Towards model checking OCL. Paper presented at the ECOOP-Workshop on Defining Precise Semantics for UML"},{"key":"9392_CR29","volume-title":"Evolutionary algorithms for embedded system design","author":"R Drechsler","year":"2002","unstructured":"Drechsler R, Drechsler N (2002) Evolutionary algorithms for embedded system design. Kluwer Academic Publishers, Dordrecht"},{"key":"9392_CR30","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A (2011) EvoSuite: Automatic Test Suite Generation for Object-Oriented Software. In: Zeller A (ed) ACM Symposium on the Foundations of Software Engineering (FSE), 2011. ACM, pp 416\u2013419","DOI":"10.1145\/2025113.2025179"},{"key":"9392_CR31","unstructured":"Frias L, Queralt A, Ramon AO (2003) U-Rent car rentals specification"},{"key":"9392_CR32","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman M, Jones BF (2001) Search-based software engineering. Inf Softw Technol 43:833\u2013839","journal-title":"Inf Softw Technol"},{"key":"9392_CR33","unstructured":"Harman M, A.Mansouri S, Zhang Y (2009) Search based software engineering: A comprehensive analysis and review of trends techniques and applications. King\u2019s College,Technical Report TR-09-03"},{"key":"9392_CR34","doi-asserted-by":"crossref","unstructured":"Harman M, Mansouri A, Zhang Y (2012) Search based software engineering: Trends, techniques and applications to appear in ACM computing surveys","DOI":"10.1145\/2379776.2379787"},{"key":"9392_CR35","doi-asserted-by":"publisher","unstructured":"Hong L, Tao Y, Ali S, Kunming N, Li Z Zen-CC: an automated and incremental conformance checking solution to support interactive product configuration. In: Software Reliability Engineering (ISSRE), 2014 I.E. 25th International Symposium on, 3\u20136 Nov. 2014 2014. pp 13\u201322. doi: 10.1109\/ISSRE.2014.13","DOI":"10.1109\/ISSRE.2014.13"},{"key":"9392_CR36","doi-asserted-by":"crossref","unstructured":"Iqbal MZ, Ali S, Yue T, Briand L (2012a) Experiences of Applying UML\/MARTE on Three Industrial Projects. Paper presented at the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","DOI":"10.1007\/978-3-642-33666-9_41"},{"key":"9392_CR37","doi-asserted-by":"crossref","unstructured":"Iqbal MZ, Arcuri A, Briand L (2012b) Empirical investigation of search algorithms for environment model-based testing of real-time embedded software In: International Symposium on Software Testing and Analysis (ISSTA), ACM","DOI":"10.1145\/2338965.2336777"},{"key":"9392_CR38","doi-asserted-by":"publisher","unstructured":"Iqbal M, Arcuri A, Briand L (2012c) Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: Fraser G, Teixeira de Souza J (eds) Search Based Software Engineering, vol 7515. Lecture Notes in Computer Science. Springer Berlin Heidelberg, pp 136\u2013151. doi: 10.1007\/978-3-642-33119-0_11","DOI":"10.1007\/978-3-642-33119-0_11"},{"key":"9392_CR39","doi-asserted-by":"crossref","unstructured":"Iqbal MZ, Ali S, Yue T, Briand L (2012d) Experiences of Applying UML\/MARTE on three industrial projects. Paper presented at the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)","DOI":"10.1007\/978-3-642-33666-9_41"},{"key":"9392_CR40","doi-asserted-by":"crossref","unstructured":"Jackson D, Schechter I, Shlyahter H (2000) Alcoa: the alloy constraint analyzer. Paper presented at the Proceedings of the 22nd international conference on Software engineering, Limerick, Ireland","DOI":"10.1145\/337180.337616"},{"key":"9392_CR41","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel B (1990) Automated software test data generation. IEEE Trans Softw Eng 16:870\u2013879. doi: 10.1109\/32.57624","journal-title":"IEEE Trans Softw Eng"},{"key":"9392_CR42","unstructured":"Krieger M, Knapp A (2008) Executing underspecified OCL operation contracts with a SAT Solver. Paper presented at the 8th International Workshop on OCL Concepts and Tools"},{"key":"9392_CR43","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/j.asoc.2004.08.004","volume":"5","author":"T Mantere","year":"2005","unstructured":"Mantere T, Alander JT (2005) Evolutionary software engineering, a review. Appl Soft Comput 5:315\u2013331","journal-title":"Appl Soft Comput"},{"key":"9392_CR44","unstructured":"Mathur AP (2008) Foundations of software testing. Pearson Education"},{"key":"9392_CR45","first-page":"52","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004a) Search-based software test data generation: a survey. Softw Test Verification Reliab 14:52","journal-title":"Softw Test Verification Reliab"},{"key":"9392_CR46","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.v14:2","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004b) Search-based software test data generation: a survey: research articles. Softw Test Verif Reliab 14:105\u2013156. doi: 10.1002\/stvr.v14:2","journal-title":"Softw Test Verif Reliab"},{"key":"9392_CR47","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.v14:2","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004c) Search-based software test data generation: a survey. Softw Test Verif Reliab 14:105\u2013156. doi: 10.1002\/stvr.v14:2","journal-title":"Softw Test Verif Reliab"},{"key":"9392_CR48","unstructured":"OCL (2011) Object constraint language specification, version 2.2. Object Management Group (OMG). http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"9392_CR49","unstructured":"Sheskin DJ (2007) Handbook of parametric and nonparametric statistical procedures. Chapman and Hall\/CRC"},{"key":"9392_CR50","unstructured":"Souza JTd, Maia CL, Freitas FGd, Coutinho DP (2010) The human competitiveness of search based software engineering. Paper presented at the Proceedings of the 2nd International Symposium on Search Based Software Engineering"},{"key":"9392_CR51","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-28830-2_4","volume-title":"Software language engineering, vol 6940. Lecture notes in computer science","author":"R Tairas","year":"2012","unstructured":"Tairas R, Cabot J (2012) Cloning in DSLs: Experiments with OCL. In: Sloane A, A\u00dfmann U (eds) Software language engineering, vol 6940. Lecture notes in computer science. Springer, Berlin, pp 60\u201376. doi: 10.1007\/978-3-642-28830-2_4"},{"key":"9392_CR52","doi-asserted-by":"crossref","unstructured":"Wang C, Pastore F, Goknil A, Briand L, Iqbal. MZ (2015) Automatic generation of system test cases from use case specifications. Paper presented at the International Symposium on Software Testing and Analysis (ISSTA)","DOI":"10.1145\/2771783.2771812"},{"key":"9392_CR53","unstructured":"Wilson B (1994) EU-Rent car rentals case study. Model Systems & Brian Wilson Associates"},{"key":"9392_CR54","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J Winkelmann","year":"2008","unstructured":"Winkelmann J, Taentzer G, Ehrig K, K\u00fcster JM (2008) Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars Electron. Notes Theor Comput Sci 211:159\u2013170. doi: 10.1016\/j.entcs.2008.04.038","journal-title":"Notes Theor Comput Sci"},{"key":"9392_CR55","volume-title":"Experimentation in software engineering: an introduction","author":"C Wohlin","year":"1999","unstructured":"Wohlin C, Runeson P, H\u00f6st M (1999) Experimentation in software engineering: an introduction. Springer, Heidelberg"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9392-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-015-9392-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9392-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9392-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T12:15:20Z","timestamp":1652616920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-015-9392-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,27]]},"references-count":55,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9392"],"URL":"https:\/\/doi.org\/10.1007\/s10664-015-9392-6","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,27]]}}}