{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:33:12Z","timestamp":1725593592099},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222023"},{"type":"electronic","value":"9783642222030"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22203-0_7","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T00:26:28Z","timestamp":1309220788000},"page":"76-90","source":"Crossref","is-referenced-by-count":1,"title":["Test Data Generation for Event-B Models Using Genetic Algorithms"],"prefix":"10.1007","author":[{"given":"Ionut","family":"Dinca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alin","family":"Stefanescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raluca","family":"Lefticaru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Tudose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B - System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proc. ICSE (to appear, 2011)","DOI":"10.1145\/1985793.1985795"},{"key":"7_CR3","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools, Object Technology","author":"R.V. Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools, Object Technology. Addison-Wesley, London (1999)"},{"key":"7_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10515-009-0057-9","volume":"17","author":"K. Derderian","year":"2010","unstructured":"Derderian, K., Hierons, R.M., Harman, M., Guo, Q.: Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng.\u00a017(1), 33\u201356 (2010)","journal-title":"Autom. Softw. Eng."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Goldberg, D.E., Deb, K.: A comparative analysis of selection schemes used in genetic algorithms. In: FOGA, pp. 69\u201393 (1990)","DOI":"10.1016\/B978-0-08-050684-5.50008-2"},{"key":"7_CR7","unstructured":"Meffert, K., et al:. JGAP - Java Genetic Algorithms and Genetic Programming Package, http:\/\/jgap.sf.net (last visited March 2011)"},{"key":"7_CR8","first-page":"525","volume-title":"Proc. ICST 2008","author":"R. Lefticaru","year":"2008","unstructured":"Lefticaru, R., Ipate, F.: Functional search-based testing from state machines. In: Proc. ICST 2008, pp. 525\u2013528. IEEE Computer Society Press, Los Alamitos (2008)"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.J.: ProB: an automated analysis toolset for the B method. Int. J. Softw. Tools Technol. Transf.\u00a010(2), 185\u2013203 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"2","key":"7_CR10","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. Softw. Test. Verif. Reliab.\u00a014(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"7_CR11","first-page":"1013","volume-title":"GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation","author":"P. McMinn","year":"2005","unstructured":"McMinn, P., Holcombe, M.: Evolutionary testing of state-based programs. In: GECCO 2005: Proceedings of the 2005 conference on Genetic and evolutionary computation, pp. 1013\u20131020. ACM, New York (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Michalewicz, Z.: Genetic algorithms + data structures = evolution programs (3rd ed.). Springer, London (1996)","DOI":"10.1007\/978-3-662-03315-9"},{"key":"7_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3927.001.0001","volume-title":"An Introduction to Genetic Algorithms","author":"M. Mitchell","year":"1998","unstructured":"Mitchell, M.: An Introduction to Genetic Algorithms. MIT Press, Cambridge (1998)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-73770-4_6","volume-title":"Tests and Proofs","author":"M. Satpathy","year":"2007","unstructured":"Satpathy, M., Butler, M., Leuschel, M., Ramesh, S.: Automatic Testing from Formal Specifications. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 95\u2013113. Springer, Heidelberg (2007)"},{"key":"7_CR15","unstructured":"Sheskin, D.J.: Handbook of Parametric and Nonparametric Statistical Procedures, 4th edn. Chapman & Hall\/CRC (2007)"},{"key":"7_CR16","volume-title":"Proc. of 4th Workshop on Search-Based Software Testing (SBST 2011)","author":"A. Stefanescu","year":"2011","unstructured":"Stefanescu, A., Ipate, F., Lefticaru, R., Tudose, C.: Towards search-based testing for Event-B models. In: Proc. of 4th Workshop on Search-Based Software Testing (SBST 2011). IEEE, Los Alamitos (to appear, 2011)"},{"key":"7_CR17","unstructured":"Tracey, N.J.: A Search-based Automated Test-Data Generation Framework for Safety-Critical Software. PhD thesis, University of York (2000)"},{"key":"7_CR18","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc, San Francisco (2006)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-05031-2_12","volume-title":"Testing of Software and Communication Systems","author":"S. Wieczorek","year":"2009","unstructured":"Wieczorek, S., Kozyura, V., Roth, A., Leuschel, M., Bendisposto, J., Plagge, D., Schieferdecker, I.: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TESTCOM 2009. LNCS, vol.\u00a05826, pp. 179\u2013194. Springer, Heidelberg (2009)"},{"key":"7_CR20","first-page":"236","volume-title":"Proc. ICSTW 2010","author":"T. Yano","year":"2010","unstructured":"Yano, T., Martins, E., de Sousa, F.L.: Generating feasible test paths from an executable model using a multi-objective approach. In: Proc. ICSTW 2010, pp. 236\u2013239. IEEE Computer Society, Los Alamitos (2010)"}],"container-title":["Communications in Computer and Information Science","Software Engineering and Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22203-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T22:03:49Z","timestamp":1592690629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22203-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222023","9783642222030"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22203-0_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}