{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:57:50Z","timestamp":1726408670898},"publisher-location":"Cham","reference-count":22,"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_11","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T19:12:33Z","timestamp":1566501153000},"page":"155-163","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Automated Boundary Value Testing with Program Derivatives and Search"],"prefix":"10.1007","author":[{"given":"Robert","family":"Feldt","sequence":"first","affiliation":[]},{"given":"Felix","family":"Dobslaw","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,3]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Augmenting test suites effectiveness by increasing output diversity. In: 2012 34th International Conference on Software Engineering (ICSE), pp. 1345\u20131348. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227083"},{"key":"11_CR2","volume-title":"The Software Test Engineer\u2019s Handbook: A Study Guide for the ISTQB Test Analyst and Technical Analyst Advanced Level Certificates","author":"G Bath","year":"2012","unstructured":"Bath, G., McKay, J.: The Software Test Engineer\u2019s Handbook: A Study Guide for the ISTQB Test Analyst and Technical Analyst Advanced Level Certificates, 2nd edn. Rocky Nook, Santa Barbara (2012)","edition":"2"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1109\/18.681318","volume":"44","author":"CH Bennett","year":"1998","unstructured":"Bennett, C.H., G\u00e1cs, P., Li, M., Vit\u00e1nyi, P.M., Zurek, W.H.: Information distance. IEEE Trans. Inf. Theory 44(4), 1407\u20131423 (1998)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1162\/0148926042728449","volume":"28","author":"R Cilibrasi","year":"2004","unstructured":"Cilibrasi, R., Vit\u00e1nyi, P., De Wolf, R.: Algorithmic clustering of music based on string compression. Comput. Music J. 28(4), 49\u201367 (2004)","journal-title":"Comput. Music J."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1109\/TSE.1982.235572","volume":"4","author":"LA Clarke","year":"1982","unstructured":"Clarke, L.A., Hassell, J., Richardson, D.J.: A close look at domain testing. IEEE Trans. Softw. Eng. 4, 380\u2013390 (1982)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cruciani, E., Miranda, B., Verdecchia, R., Bertolino, A.: Scalable approaches for test suite reduction. In: 41st International Conference on Software Engineering (ICSE). IEEE (2019)","DOI":"10.1109\/ICSE.2019.00055"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S.: Finding test data with specific properties via metaheuristic search. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 350\u2013359. IEEE (2013)","DOI":"10.1109\/ISSRE.2013.6698888"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S.: Broadening the search in search-based software testing: it need not be evolutionary. In: Proceedings of the Eighth International Workshop on Search-Based Software Testing, pp. 1\u20137. IEEE Press (2015)","DOI":"10.1109\/SBST.2015.8"},{"key":"11_CR9","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"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Feldt, R., Torkar, R., Gorschek, T., Afzal, W.: Searching for cognitively diverse tests: towards universal test diversity metrics. In: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 178\u2013186. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.36"},{"key":"11_CR11","first-page":"110","volume":"3","author":"RL Glass","year":"2001","unstructured":"Glass, R.L.: Frequently forgotten fundamental facts about software engineering. IEEE Softw. 3, 110\u2013112 (2001)","journal-title":"IEEE Softw."},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/1151695.1151696","volume":"15","author":"RM Hierons","year":"2006","unstructured":"Hierons, R.M.: Avoiding coincidental correctness in boundary value analysis. ACM Trans. Softw. Eng. Methodol. (TOSEM) 15(3), 227\u2013241 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0164-1212(99)00071-0","volume":"49","author":"B Jeng","year":"1999","unstructured":"Jeng, B., Forg\u00e1cs, I.: An automatic approach of domain test data generation. J. Syst. Softw. 49(1), 97\u2013112 (1999)","journal-title":"J. Syst. Softw."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"L\u00f6scher, A., Sagonas, K.: Targeted property-based testing. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 46\u201356. ACM (2017)","DOI":"10.1145\/3092703.3092711"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Marculescu, B., Feldt, R.: Finding a boundary between valid and invalid regions of the input space. arXiv preprint arXiv:1810.06720 (2018)","DOI":"10.1109\/APSEC.2018.00031"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Might, M., Darais, D., Spiewak, D.: Parsing with derivatives: a functional pearl. In: ACM SIGPLAN Notices, vol. 46, pp. 189\u2013195. ACM (2011)","DOI":"10.1145\/2034574.2034801"},{"key":"11_CR17","volume-title":"Software Testing Foundations: A Study Guide for The Certified Tester Exam","author":"A Spillner","year":"2014","unstructured":"Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations: A Study Guide for The Certified Tester Exam. Rocky Nook Inc., Santa Barbara (2014)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-0-387-84816-7_3","volume-title":"Information Theory and Statistical Learning","author":"PM Vit\u00e1nyi","year":"2009","unstructured":"Vit\u00e1nyi, P.M., Balbach, F.J., Cilibrasi, R.L., Li, M.: Normalized information distance. In: Emmert-Streib, F., Dehmer, M. (eds.) Information Theory and Statistical Learning, pp. 45\u201382. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-84816-7_3"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"7","author":"EJ Weyuker","year":"1991","unstructured":"Weyuker, E.J., Jeng, B.: Analyzing partition testing strategies. IEEE Trans. Softw. Eng. 7, 703\u2013711 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"3","author":"LJ White","year":"1980","unstructured":"White, L.J., Cohen, E.I.: A domain strategy for computer program testing. IEEE Trans. Softw. Eng. 3, 247\u2013257 (1980)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR21","unstructured":"Wikipedia: Difference quotient \u2013 Wikipedia, the free encyclopedia (2019). https:\/\/en.wikipedia.org\/wiki\/Difference_quotient . Accessed 20 June 2019"},{"issue":"3","key":"11_CR22","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1002\/stvr.414","volume":"20","author":"R Zhao","year":"2010","unstructured":"Zhao, R., Lyu, M.R., Min, Y.: Automatic string test data generation for detecting domain errors. Softw. Test. Verif. Reliab. 20(3), 209\u2013236 (2010)","journal-title":"Softw. Test. Verif. Reliab."}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,5]],"date-time":"2019-12-05T18:52:34Z","timestamp":1575571954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27455-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030274542","9783030274559"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27455-9_11","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)"}}]}}