{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:06:48Z","timestamp":1726042008864},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030274542"},{"type":"electronic","value":"9783030274559"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-27455-9_3","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T19:12:33Z","timestamp":1566501153000},"page":"27-41","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Search Spaces for Search-Based Software Testing Using Neural Networks"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Joffe","sequence":"first","affiliation":[]},{"given":"David","family":"Clark","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,3]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/s10515-016-0197-7","volume":"24","author":"A Aleti","year":"2017","unstructured":"Aleti, A., Moser, I., Grunske, L.: Analysing the fitness landscape of search-based software testing problems. Autom. Softw. Eng. 24(3), 603\u2013621 (2017)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Coverage and fault detection of the output-uniqueness test selection criteria. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis, pp. 181\u2013192. ACM (2014)","DOI":"10.1145\/2610384.2610413"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TSE.2017.2785841","volume":"45","author":"M B\u00f6hme","year":"2017","unstructured":"B\u00f6hme, M., Pham, V.T., Roychoudhury, A.: Coverage-based greybox fuzzing as Markov chain. IEEE Trans. Softw. Eng. 45, 489\u2013506 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR4","unstructured":"Bonzini, P.: sed(1) - Linux man page (2019). \n                      https:\/\/linux.die.net\/man\/1\/sed"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-30502-6_23","volume-title":"Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making","author":"TY Chen","year":"2004","unstructured":"Chen, T.Y., Leung, H., Mak, I.K.: Adaptive random testing. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 320\u2013329. Springer, Heidelberg (2004). \n                      https:\/\/doi.org\/10.1007\/978-3-540-30502-6_23"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: ARTOO: adaptive random testing for object-oriented software. In: Proceedings of the 30th International Conference on Software Engineering, pp. 71\u201380. ACM (2008)","DOI":"10.1109\/ICST.2008.20"},{"key":"3_CR7","unstructured":"Cortes, C., Mohri, M.: AUC optimization vs. error rate minimization. In: Advances in Neural Information Processing Systems, pp. 313\u2013320 (2004)"},{"key":"3_CR8","unstructured":"Doersch, C.: Tutorial on variational autoencoders. arXiv preprint \n                      arXiv:1606.05908\n                      \n                     (2016)"},{"key":"3_CR9","unstructured":"Dumoulin, V., Visin, F.: A guide to convolution arithmetic for deep learning. arXiv preprint \n                      arXiv:1603.07285\n                      \n                     (2016)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S., Clark, D., Yoo, S.: Test set diameter: quantifying the diversity of sets of test cases. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 223\u2013233. IEEE (2016)","DOI":"10.1109\/ICST.2016.33"},{"issue":"8","key":"3_CR11","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M., Heimdahl, M.P.: The risks of coverage-directed test case generation. IEEE Trans. Softw. Eng. 41(8), 803\u2013819 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR12","unstructured":"Glasmachers, T.: Limits of end-to-end learning. arXiv preprint \n                      arXiv:1704.08305\n                      \n                     (2017)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BFb0105404","volume-title":"Theorem Proving in Higher Order Logics","author":"AD Gordon","year":"1996","unstructured":"Gordon, A.D., Melham, T.: Five axioms of alpha-conversion. In: Goos, G., Hartmanis, J., van Leeuwen, J., von Wright, J., Grundy, J., Harrison, J. (eds.) TPHOLs 1996. LNCS, vol. 1125, pp. 173\u2013190. Springer, Heidelberg (1996). \n                      https:\/\/doi.org\/10.1007\/BFb0105404"},{"key":"3_CR14","unstructured":"Harman, M., Clark, J.: Metrics are fitness functions too. In: Proceedings of 10th International Symposium on Software Metrics, pp. 58\u201369. IEEE (2004)"},{"issue":"14","key":"3_CR15","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman, M., Mansouri, S.A., Zhang, Y.: Search-based software engineering: trends, techniques and applications. ACM Comput. Surv. (CSUR) 45(1), 11 (2012)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"3_CR17","unstructured":"Heimdahl, M.P.E., George, D., Weber, R.: Specification test coverage adequacy criteria = specification test generation inadequacy criteria. In: Proceedings of Eighth IEEE International Symposium on High Assurance Systems Engineering, pp. 178\u2013186. IEEE (2004)"},{"issue":"8","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"S Hochreiter","year":"1997","unstructured":"Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Comput. 9(8), 1735\u20131780 (1997)","journal-title":"Neural Comput."},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/TKDE.2005.50","volume":"17","author":"J Huang","year":"2005","unstructured":"Huang, J., Ling, C.X.: Using auc and accuracy in evaluating learning algorithms. IEEE Trans. Knowl. Data Eng. 17(3), 299\u2013310 (2005)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Inozemtseva, L., Holmes, R.: Coverage is not strongly correlated with test suite effectiveness. In: Proceedings of the 36th International Conference on Software Engineering, pp. 435\u2013445. ACM (2014)","DOI":"10.1145\/2568225.2568271"},{"key":"3_CR21","unstructured":"Jones, D.: Sparse - a semantic parser for C (2019). \n                      https:\/\/sparse.wiki.kernel.org\/index.php\/Main_Page"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Kalchbrenner, N., Grefenstette, E., Blunsom, P.: A convolutional neural network for modelling sentences. arXiv preprint \n                      arXiv:1404.2188\n                      \n                     (2014)","DOI":"10.3115\/v1\/P14-1062"},{"key":"3_CR23","unstructured":"Karpathy, A.: Cs231n convolutional neural networks for visual recognition (2016). \n                      http:\/\/cs231n.github.io\/neural-networks-1\/"},{"key":"3_CR24","unstructured":"Kawaguchi, K.: Deep learning without poor local minima. In: Advances in Neural Information Processing Systems, pp. 586\u2013594 (2016)"},{"key":"3_CR25","unstructured":"Kingma, D.P., Ba, J.: Adam: a method for stochastic optimization. arXiv preprint \n                      arXiv:1412.6980\n                      \n                     (2014)"},{"key":"3_CR26","unstructured":"Kingma, D.P., Welling, M.: Auto-encoding variational bayes. arXiv preprint \n                      arXiv:1312.6114\n                      \n                     (2013)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Kochhar, P.S., Thung, F., Lo, D.: Code coverage and test suite effectiveness: empirical study with real bugs in large systems. In: 2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 560\u2013564. IEEE (2015)","DOI":"10.1109\/SANER.2015.7081877"},{"key":"3_CR28","unstructured":"Lane, T., et al.: libjpeg 6b (1998). \n                      http:\/\/libjpeg.sourceforge.net\/"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Luk, C.K., et al.: Pin: building customized program analysis tools with dynamic instrumentation. In: ACM SIGPLAN Notices, vol. 40, pp. 190\u2013200. ACM (2005)","DOI":"10.1145\/1064978.1065034"},{"issue":"2","key":"3_CR30","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. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"3_CR31","unstructured":"Meyering, J., Gordon, A.: GNU sed (2019). \n                      https:\/\/www.gnu.org\/software\/sed\/"},{"key":"3_CR32","unstructured":"Mikolov, T., Chen, K., Corrado, G., Dean, J.: Efficient estimation of word representations in vector space. arXiv preprint \n                      arXiv:1301.3781\n                      \n                     (2013)"},{"issue":"12","key":"3_CR33","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/96267.96279","volume":"33","author":"BP Miller","year":"1990","unstructured":"Miller, B.P., Fredriksen, L., So, B.: An empirical study of the reliability of unix utilities. Commun. ACM 33(12), 32\u201344 (1990)","journal-title":"Commun. ACM"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: ACM SIGPLAN Notices, vol. 42, pp. 89\u2013100. ACM (2007)","DOI":"10.1145\/1273442.1250746"},{"key":"3_CR35","unstructured":"Nguyen, Q., Hein, M.: The loss surface of deep and wide neural networks. arXiv preprint \n                      arXiv:1704.08045\n                      \n                     (2017)"},{"key":"3_CR36","unstructured":"Nguyen, Q., Hein, M.: Optimization landscape and expressivity of deep CNNs. In: International Conference on Machine Learning, pp. 3727\u20133736 (2018)"},{"key":"3_CR37","unstructured":"Salimans, T., Kingma, D.P.: Weight normalization: a simple reparameterization to accelerate training of deep neural networks. In: Advances in Neural Information Processing Systems, pp. 901\u2013909 (2016)"},{"key":"3_CR38","volume-title":"Fundamentals of Software Measurement","author":"M Shepperd","year":"1995","unstructured":"Shepperd, M.: Fundamentals of Software Measurement. Prentice-Hall, Upper Saddle River (1995)"},{"issue":"1","key":"3_CR39","first-page":"1929","volume":"15","author":"N Srivastava","year":"2014","unstructured":"Srivastava, N., Hinton, G., Krizhevsky, A., Sutskever, I., Salakhutdinov, R.: Dropout: a simple way to prevent neural networks from overfitting. J. Mach. Learn. Res. 15(1), 1929\u20131958 (2014)","journal-title":"J. Mach. Learn. Res."},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-28872-2_28","volume-title":"Fundamental Approaches to Software Engineering","author":"M Staats","year":"2012","unstructured":"Staats, M., Gay, G., Whalen, M., Heimdahl, M.: On the danger of coverage directed test case generation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 409\u2013424. Springer, Heidelberg (2012). \n                      https:\/\/doi.org\/10.1007\/978-3-642-28872-2_28"},{"key":"3_CR41","unstructured":"Swirszcz, G., Czarnecki, W.M., Pascanu, R.: Local minima in training of neural networks. arXiv preprint \n                      arXiv:1611.06310\n                      \n                     (2016)"},{"key":"3_CR42","unstructured":"Tan, S.H., Yi, J., Mechtaev, S., Roychoudhury, A., et al.: Codeflaws: a programming competition benchmark for evaluating automated program repair tools. In: Proceedings of the 39th International Conference on Software Engineering Companion, pp. 180\u2013182. IEEE Press (2017)"},{"key":"3_CR43","unstructured":"VP Users (2017). \n                      http:\/\/valgrind.org\/gallery\/users.html"},{"key":"3_CR44","unstructured":"Veillard, D.: The XML C parser and toolkit of Gnome (2019). \n                      http:\/\/xmlsoft.org\/"},{"issue":"14","key":"3_CR45","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Inf. Softw. Technol. 43(14), 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR46","unstructured":"Zalewski, M.: American fuzzy lop (2007). \n                      http:\/\/lcamtuf.coredump.cx\/afl\/"}],"container-title":["Lecture Notes in Computer Science","Search-Based Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27455-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T19:23:19Z","timestamp":1566501799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27455-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030274542","9783030274559"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27455-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SSBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Search Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tallinn","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Estonia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ssbse2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ssbse19.mines-albi.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easy chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}