{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:35:42Z","timestamp":1742384142212},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471051"},{"type":"electronic","value":"9783319471068"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47106-8_21","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:53:34Z","timestamp":1474617214000},"page":"259-266","source":"Crossref","is-referenced-by-count":7,"title":["AVMf: An Open-Source Framework and Implementation of the Alternating Variable Method"],"prefix":"10.1007","author":[{"given":"Phil","family":"McMinn","sequence":"first","affiliation":[]},{"given":"Gregory M.","family":"Kapfhammer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Afshan, S., McMinn, P., Stevenson, M.: Evolving readable string test inputs using a natural language model to reduce human oracle cost. In: Proceedings of ICST (2013)","DOI":"10.1109\/ICST.2013.11"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Arrieta, A., Wang, S., Sagardui, G., Etxeberria, L.: Test case prioritization of configurable cyber-physical systems with weight-based search algorithms. In: Proceedings of GECCO (2016)","DOI":"10.1145\/2908812.2908871"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A., McMinn, P.: Test suite generation with memetic algorithms. In: Proceedings of GECCO (2013)","DOI":"10.1145\/2463372.2463548"},{"key":"21_CR4","first-page":"311","volume":"103","author":"G Fraser","year":"2015","unstructured":"Fraser, G., Arcuri, A., McMinn, P.: A memetic algorithm for whole test suite generation. JSS 103, 311\u2013327 (2015)","journal-title":"JSS"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Fraser, G., Staats, M., McMinn, P., Arcuri, A., Padberg, F.: Does automated white-box test generation really help software testers? In: Proceedings of ISSTA (2013)","DOI":"10.1145\/2483760.2483774"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/2699688","volume":"24","author":"G Fraser","year":"2015","unstructured":"Fraser, G., Staats, M., McMinn, P., Arcuri, A., Padberg, F.: Does automated unit test generation really help software testers? a controlled empirical study. ACM TOSEM 24, 23 (2015)","journal-title":"ACM TOSEM"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Harman, M., McMinn, P.: A theoretical and empirical analysis of evolutionary testing and hill climbing for structural test data generation. In: Proceedings of ISSTA (2007)","DOI":"10.1145\/1273463.1273475"},{"key":"21_CR8","first-page":"226","volume":"36","author":"M Harman","year":"2010","unstructured":"Harman, M., McMinn, P.: A theoretical and empirical study of search based testing: local, global and hybrid search. IEEE TSE 36, 226\u2013247 (2010)","journal-title":"IEEE TSE"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Kapfhammer, G.M., McMinn, P., Wright, C.J.: Search-based testing of relational schema integrity constraints across multiple database management systems. In: Proceedings of ICST (2013)","DOI":"10.1109\/ICST.2013.47"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kempka, J., McMinn, P., Sudholt, D.: A theoretical runtime and empirical analysis of different alternating variable searches for search-based testing. In: Proceedings of GECCO (2013)","DOI":"10.1145\/2463372.2463549"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2014.12.009","volume":"605","author":"J Kempka","year":"2015","unstructured":"Kempka, J., McMinn, P., Sudholt, D.: Design and analysis of different alternating variable searches for search-based software testing. TCS 605, 1\u201320 (2015)","journal-title":"TCS"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Korel, B.: Automated software test data generation. IEEE TSE (1990)","DOI":"10.1109\/32.57624"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Kukunas, J., Cupper, R.D., Kapfhammer, G.M.: A genetic algorithm to improve Linux kernel performance on resource-constrained devices. In: Proc. GECCO (2010)","DOI":"10.1145\/1830761.1830879"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Lakhotia, K., Harman, M., Gross, H.: AUSTIN: A tool for search based software testing for the C language and its evaluation on deployed automotive systems. In: SSBSE (2010)","DOI":"10.1109\/SSBSE.2010.21"},{"key":"21_CR15","first-page":"112","volume":"55","author":"K Lakhotia","year":"2013","unstructured":"Lakhotia, K., Harman, M., Gross, H.: AUSTIN: An open source tool for search based software testing of C programs. IST 55, 112\u2013125 (2013)","journal-title":"IST"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-16573-3_11","volume-title":"Testing Software and Systems","author":"K Lakhotia","year":"2010","unstructured":"Lakhotia, K., Tillmann, N., Harman, M., de Halleux, J.: FloPSy - search-based floating point constraint solving for symbolic execution. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 142\u2013157. Springer, Heidelberg (2010)"},{"key":"21_CR17","unstructured":"McMinn, P.: IGUANA: Input generation using automated novel algorithms. A plug and play research tool. Technical Report CS-07-14, Dept. Computer Science, University of Sheffield, UK (2007)"},{"key":"21_CR18","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2818639","volume":"25","author":"P McMinn","year":"2015","unstructured":"McMinn, P., Wright, C.J., Kapfhammer, G.M.: The effectiveness of test coverage criteria for relational database schema integrity constraints. ACM TOSEM 25, 8:1\u20138:49 (2015)","journal-title":"ACM TOSEM"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Pradhan, D., Wang, S., Ali, S., Yue, T.: Search-based cost-effective test case selection for manual execution within time budget: an empirical study. In: Proceedings of GECCO (2016)","DOI":"10.1145\/2908812.2908850"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Qiu, X., Ali, S., Yue, T., Zhang, L.: Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques. IST (2016, to appear)","DOI":"10.1016\/j.infsof.2016.09.010"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S.: Applying search algorithms for optimizing stakeholders familiarity and balancing workload in requirements assignment. In: Proceedings of GECCO (2014)","DOI":"10.1145\/2576768.2598309"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Lu, H., Nie, K.: Search-based decision ordering to facilitate product line engineering of cyber-physical system. In: Proceedings of MODELSWARD (2016)","DOI":"10.5220\/0005717006910703"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Zhong, H., Su, Z.: An empirical study on real bug fixes. In: Proceedings of ICSE (2015)","DOI":"10.1109\/ICSE.2015.101"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47106-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:18:12Z","timestamp":1568402292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47106-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471051","9783319471068"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47106-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}