{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:08:50Z","timestamp":1725901730074},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614663"},{"type":"electronic","value":"9783319614670"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61467-0_4","type":"book-chapter","created":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T04:33:58Z","timestamp":1497674038000},"page":"59-76","source":"Crossref","is-referenced-by-count":1,"title":["Unit Testing of Database-Driven Java Enterprise Edition Applications"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47106-8_1","volume-title":"Search Based Software Engineering","author":"A Arcuri","year":"2016","unstructured":"Arcuri, A., Fraser, G.: Java enterprise edition support in search-Based JUnit test generation. In: Sarro, F., Deb, K. (eds.) SSBSE 2016. LNCS, vol. 9962, pp. 3\u201317. Springer, Cham (2016). doi: 10.1007\/978-3-319-47106-8_1"},{"key":"4_CR3","unstructured":"Diakopoulos, N., Cass, S.: Interactive: The Top Programming Languages 2016. IEEE Spectrum (2016). http:\/\/spectrum.ieee.org\/static\/interactive-the-top-programming-languages-2016"},{"key":"4_CR4","unstructured":"Ebersole, S.: Semantic Query Model and Interpreter for HQL\/JPQL and JPA Criteria Queries. Hibernate (2017). https:\/\/github.com\/hibernate\/hibernate-semantic-query"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: Proceedings of the 2007 International Symposium on Software Testing and Analysis, pp. 151\u2013162. ACM (2007)","DOI":"10.1145\/1273463.1273484"},{"key":"4_CR6","first-page":"271","volume-title":"6th International Conference on Theoretical Aspects of Software Engineering","author":"M Ernsting","year":"2012","unstructured":"Ernsting, M., Majchrzak, T.A., Kuchen, H.: Dynamic solution of linear constraints for test case generation. In: Margaria, T., Qiu, Z., Yang, H. (eds.) 6th International Conference on Theoretical Aspects of Software Engineering, pp. 271\u2013274. IEEE, Beijing (2012)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Gould, C., Su, Z., Devanbu, P.: Static checking of dynamically generated queries in database applications. In: Proceedings of the 26th International Conference on Software Engineering, pp. 645\u2013654. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317486"},{"issue":"7","key":"4_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"4_CR10","unstructured":"Kuchcinski, K., Szymanek, R.: Jacop - Java constraint programming solver. In: Proceedings of of CP Solvers: Modeling, Applications, Integration, and Standardization (2013)"},{"key":"4_CR11","volume-title":"The Java Virtual Machine Specification, Java SE 8 Edion","author":"T Lindholm","year":"2014","unstructured":"Lindholm, T., Yelln, F., Bracha, G., Buckley, A.: The Java Virtual Machine Specification, Java SE 8 Edion. Addison Wesley, Boston (2014)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Majchrzak, T.A., Kuchen, H.: Automated test case generation based on coverage analysis. In: Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 259\u2013266. Tianjin, China (2009)","DOI":"10.1109\/TASE.2009.33"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: Proceedings of the 29th International Conference on Software Engineering, pp. 75\u201384. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.37"},{"key":"4_CR14","volume-title":"The Definitive ANTLR 4 Reference","author":"T Parr","year":"2013","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, Raleigh (2013)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Prasetya, I.: T3i: a tool for generating and querying test suites for Java. In: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp. 950\u2013953. ACM (2015)","DOI":"10.1145\/2786805.2803182"},{"issue":"3","key":"4_CR16","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/TSE.2014.2363479","volume":"41","author":"A Sakti","year":"2015","unstructured":"Sakti, A., Pesant, G., Gu\u00e9h\u00e9neuc, Y.G.: Instance generator and problem representation to improve object oriented code coverage. IEEE Trans. Softw. Eng. 41(3), 294\u2013313 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Taneja, K., Zhang, Y., Xie, T.: MODA: automated test generation for database applications via mock objects. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 289\u2013292. ACM (2010)","DOI":"10.1145\/1858996.1859053"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Yi, Q., Yang, Z., Guo, S., Wang, C., Liu, J., Zhao, C.: Postconditioned symbolic execution. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102601"}],"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-61467-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T06:51:43Z","timestamp":1569480703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61467-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614663","9783319614670"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61467-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}