{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:15:52Z","timestamp":1725768952491},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036014"},{"type":"electronic","value":"9783319036021"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-03602-1_13","type":"book-chapter","created":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T21:03:55Z","timestamp":1389215035000},"page":"199-213","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-Based Automated Generation of Test Data"],"prefix":"10.1007","author":[{"given":"Hans-Martin","family":"Adorf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Varendorff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Dost, J., N\u00e4gele, R.: \u201cjFunk Overview\u201d, mgm technology partners GmbH (2012)"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/T-C.1975.224259","volume":"C-24","author":"W.E. Howden","year":"1975","unstructured":"Howden, W.E.: Methodology for the Generation of Program Test Data. IEEE Transactions on Computers\u00a0C-24(5), 554\u2013560 (1975)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR3","unstructured":"Edvardsson, J.: Survey on Automatic Test Data Generation. In: Second Conf. on Computer Science and Engineering in Linkoeping (ECSEL), pp. 21\u201328 (1999)"},{"issue":"9","key":"13_CR4","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/271775.271790","volume":"23","author":"A. Gotlieb","year":"1998","unstructured":"Gotlieb, A., Botella, B., et al.: Automatic test data generation using constraint solving techniques. ACM SIGSOFT Software Engineering Notes\u00a023(2), 53\u201362 (1998)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"13_CR6","volume-title":"An Evaluation of Automata Algorithms for String Analysis","author":"P. Hooimeijer","year":"2010","unstructured":"Hooimeijer, P., Veanes, M.: An Evaluation of Automata Algorithms for String Analysis. Redmond City, Microsoft Research (2010)"},{"key":"13_CR7","unstructured":"Braun, M.: A Solver for a Theory of Strings. Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen (2012)"},{"key":"13_CR8","unstructured":"M\u00f8ller, A.: \u201cAutomaton.\u201d Aarhus, Basic Research in Computer Science (BRICS) (2009)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BFb0023820","volume-title":"LATIN \u201992","author":"A. Br\u00fcggemann-Klein","year":"1992","unstructured":"Br\u00fcggemann-Klein, A.: Regular expressions into finite automata. In: Simon, I. (ed.) LATIN 1992. LNCS, vol.\u00a0583, pp. 87\u201398. Springer, Heidelberg (1992)"},{"key":"13_CR10","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver (2012)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2307\/3033543","volume":"40","author":"L.C. Freeman","year":"1977","unstructured":"Freeman, L.C.: A Set of Measures of Centrality Based on Betweenness. Sociometry\u00a040, 35\u201341 (1977)","journal-title":"Sociometry"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03602-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T21:12:11Z","timestamp":1558818731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03602-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036014","9783319036021"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03602-1_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}