{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:40Z","timestamp":1740097060362,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319090986"},{"type":"electronic","value":"9783319090993"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09099-3_14","type":"book-chapter","created":{"date-parts":[[2014,7,7]],"date-time":"2014-07-07T07:41:03Z","timestamp":1404718863000},"page":"169-186","source":"Crossref","is-referenced-by-count":4,"title":["Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers"],"prefix":"10.1007","author":[{"given":"Felix","family":"Kurth","sequence":"first","affiliation":[]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Wei\u00dfleder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","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 2011, pp. 41\u201350. IEEE Computer Society (July 2011), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/QSIC.2011.17","DOI":"10.1109\/QSIC.2011.17"},{"issue":"4-5","key":"14_CR2","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1080\/10556780903087124","volume":"24","author":"P. Belotti","year":"2009","unstructured":"Belotti, P., Lee, J., Liberti, L., Margot, F., W\u00e4chter, A.: Branching and Bounds Tightening Techniques for Non\u2013Convex MINLP. Optimization Methods and Software\u00a024(4-5), 597\u2013634 (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1080\/10556780903087124","journal-title":"Optimization Methods and Software"},{"key":"14_CR3","unstructured":"Berkelaar, M., Eikland, K., Notebaert, P.: lpsolve: Open source (Mixed-Integer) Linear Programming system, \n                  \n                    http:\/\/lpsolve.sourceforge.net\/5.5\/"},{"key":"14_CR4","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, 2nd edn. Duxbury Press (2002), \n                  \n                    http:\/\/ampl.com\/resources\/the-ampl-book\/"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: 15th International Symposium on Software Reliability Engineering, ISSRE 2004, pp. 139\u2013150. IEEE Computer Society (November 2004), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/ISSRE.2004.12","DOI":"10.1109\/ISSRE.2004.12"},{"key":"14_CR6","unstructured":"Krieger, M.P., Knapp, A.: Executing Underspecified OCL Operation Contracts with a SAT Solver. Electronic Communications of the EASST\u00a015 (2008), \n                  \n                    http:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/176"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Kurth, F.: Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers. Master\u2019s thesis, Hamburg University of Technology, Germany, Hamburg (January 2014), \n                  \n                    http:\/\/www.sts.tuhh.de\/pw-and-m-theses\/2014\/kurth14.pdf","DOI":"10.1007\/978-3-319-09099-3_14"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-01929-6_12","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"P. Laborie","year":"2009","unstructured":"Laborie, P.: IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol.\u00a05547, pp. 148\u2013162. Springer, Heidelberg (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-01929-6_12"},{"key":"14_CR9","first-page":"284","volume-title":"11th Asia-Pacific Software Engineering Conference, APSEC 2004","author":"W. Linzhang","year":"2004","unstructured":"Linzhang, W., Jiesong, Y., Xiaofeng, Y., Jun, H., Xuandong, L., Guoliang, Z.: Generating Test Cases from UML Activity Diagram based on Gray\u2013Box Method. In: 11th Asia-Pacific Software Engineering Conference, APSEC 2004, pp. 284\u2013291. IEEE Computer Society, Los Alamitos (2004), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/APSEC.2004.55"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Malburg, J., Fraser, G.: Combining Search\u2013based and Constraint\u2013based Testing. In: 2011 26th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2011, pp. 436\u2013439. IEEE Computer Society (November 2011), \n                  \n                    http:\/\/dx.doi.org\/10.1109\/ASE.2011.6100092","DOI":"10.1109\/ASE.2011.6100092"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1138929.1138931","volume-title":"Workshop on Automation of Software Test, AST 2006","author":"C. Mingsong","year":"2006","unstructured":"Mingsong, C., Xiaokang, Q., Xuandong, L.: Automatic Test Case Generation for UML Activity Diagrams. In: Workshop on Automation of Software Test, AST 2006, pp. 2\u20138. ACM, New York (2006), \n                  \n                    http:\/\/dx.doi.org\/10.1145\/1138929.1138931"},{"key":"14_CR12","unstructured":"Object Management Group (OMG): OMG Unified Modeling Language\n                  TM\n                 (OMG UML), Superstructure (May 2010), \n                  \n                    http:\/\/www.omg.org\/spec\/UML\/2.3\/"},{"key":"14_CR13","unstructured":"Rezaee, A.: A New Approach to Optimized Generation of Test Cases using UML State Machine. Master\u2019s thesis, University of Isfahan, Iran, Isfahan (February 2014)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex-White Box Test Generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-540-79124-9_10"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S.: Test Models and Coverage Criteria for Automatic Model\u2013Based Test Generation with UML State Machines. Ph.D. thesis, Humboldt University Berlin (2010), \n                  \n                    http:\/\/model-based-testing.de\/data\/weissleder_phd_thesis.pdf","DOI":"10.1201\/b11321-5"},{"key":"14_CR16","unstructured":"Wei\u00dfleder, S., Sokenou, D.: Automatic Test Case Generation from UML Models and OCL Expressions. In: Maalej, W., Br\u00fcgge, B. (eds.) Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik. Lecture Notes in Informatics, vol.\u00a0122, pp. 423\u2013426. Gesellschaft f\u00fcr Informatik (February 2008), \n                  \n                    http:\/\/pdf.aminer.org\/000\/231\/949\/generating_test_sequences_from_uml_sequence_diagrams_and_state_diagrams.pdf"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09099-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T02:42:50Z","timestamp":1558924970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09099-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319090986","9783319090993"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09099-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}