{"id":"https:\/\/openalex.org\/W2603700459","doi":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_3","title":"Bucketing Failing Tests via Symbolic Analysis","display_name":"Bucketing Failing Tests via Symbolic Analysis","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https:\/\/openalex.org\/W2603700459","doi":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_3","mag":"2603700459"},"language":"en","primary_location":{"id":"doi:10.1007\/978-3-662-54494-5_3","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_3","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https:\/\/openalex.org\/P4310319900","https:\/\/openalex.org\/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https:\/\/openalex.org\/A5056177929","display_name":"Van-Thuan Pham","orcid":"https:\/\/orcid.org\/0000-0002-9871-3695"},"institutions":[{"id":"https:\/\/openalex.org\/I165932596","display_name":"National University of Singapore","ror":"https:\/\/ror.org\/01tgyzw49","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Van-Thuan Pham","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https:\/\/openalex.org\/I165932596"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5052765103","display_name":"Sakaar Khurana","orcid":null},"institutions":[{"id":"https:\/\/openalex.org\/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https:\/\/ror.org\/05pjsgx75","country_code":"IN","type":"education","lineage":["https:\/\/openalex.org\/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sakaar Khurana","raw_affiliation_strings":["Indian Institute of Technology Kanpur, Kanpur, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kanpur, Kanpur, India","institution_ids":["https:\/\/openalex.org\/I94234084"]}]},{"author_position":"middle","author":{"id":"https:\/\/openalex.org\/A5014601092","display_name":"Subhajit Roy","orcid":"https:\/\/orcid.org\/0000-0002-3394-023X"},"institutions":[{"id":"https:\/\/openalex.org\/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https:\/\/ror.org\/05pjsgx75","country_code":"IN","type":"education","lineage":["https:\/\/openalex.org\/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subhajit Roy","raw_affiliation_strings":["Indian Institute of Technology Kanpur, Kanpur, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Kanpur, Kanpur, India","institution_ids":["https:\/\/openalex.org\/I94234084"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5060115298","display_name":"Abhik Roychoudhury","orcid":"https:\/\/orcid.org\/0000-0002-7127-1137"},"institutions":[{"id":"https:\/\/openalex.org\/I165932596","display_name":"National University of Singapore","ror":"https:\/\/ror.org\/01tgyzw49","country_code":"SG","type":"education","lineage":["https:\/\/openalex.org\/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Abhik Roychoudhury","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https:\/\/openalex.org\/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https:\/\/openalex.org\/A5056177929"],"corresponding_institution_ids":["https:\/\/openalex.org\/I165932596"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.4576,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86084142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10202","issue":null,"first_page":"43","last_page":"59"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https:\/\/openalex.org\/T10743","display_name":"Software Testing and Debugging Techniques","score":1,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1712","display_name":"Software"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},"topics":[{"id":"https:\/\/openalex.org\/T10743","display_name":"Software Testing and Debugging Techniques","score":1,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1712","display_name":"Software"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T10260","display_name":"Software Engineering Research","score":0.9986000061035156,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1710","display_name":"Information Systems"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1712","display_name":"Software"},"field":{"id":"https:\/\/openalex.org\/fields\/17","display_name":"Computer Science"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https:\/\/openalex.org\/keywords\/computer-science","display_name":"Computer science","score":0.8527291417121887},{"id":"https:\/\/openalex.org\/keywords\/cluster-analysis","display_name":"Cluster analysis","score":0.7746965885162354},{"id":"https:\/\/openalex.org\/keywords\/debugging","display_name":"Debugging","score":0.7555200457572937},{"id":"https:\/\/openalex.org\/keywords\/symbolic-execution","display_name":"Symbolic execution","score":0.6510947346687317},{"id":"https:\/\/openalex.org\/keywords\/benchmark","display_name":"Benchmark (surveying)","score":0.5572023391723633},{"id":"https:\/\/openalex.org\/keywords\/test-case","display_name":"Test case","score":0.4895535409450531},{"id":"https:\/\/openalex.org\/keywords\/programming-language","display_name":"Programming language","score":0.45156386494636536},{"id":"https:\/\/openalex.org\/keywords\/data-mining","display_name":"Data mining","score":0.37370240688323975},{"id":"https:\/\/openalex.org\/keywords\/artificial-intelligence","display_name":"Artificial intelligence","score":0.1714693009853363},{"id":"https:\/\/openalex.org\/keywords\/software","display_name":"Software","score":0.1422852873802185},{"id":"https:\/\/openalex.org\/keywords\/machine-learning","display_name":"Machine learning","score":0.1360897719860077}],"concepts":[{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.8527291417121887},{"id":"https:\/\/openalex.org\/C73555534","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q622825","display_name":"Cluster analysis","level":2,"score":0.7746965885162354},{"id":"https:\/\/openalex.org\/C168065819","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q845566","display_name":"Debugging","level":2,"score":0.7555200457572937},{"id":"https:\/\/openalex.org\/C2779639559","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6510947346687317},{"id":"https:\/\/openalex.org\/C185798385","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5572023391723633},{"id":"https:\/\/openalex.org\/C128942645","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1568346","display_name":"Test case","level":3,"score":0.4895535409450531},{"id":"https:\/\/openalex.org\/C199360897","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q9143","display_name":"Programming language","level":1,"score":0.45156386494636536},{"id":"https:\/\/openalex.org\/C124101348","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q172491","display_name":"Data mining","level":1,"score":0.37370240688323975},{"id":"https:\/\/openalex.org\/C154945302","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1714693009853363},{"id":"https:\/\/openalex.org\/C2777904410","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q7397","display_name":"Software","level":2,"score":0.1422852873802185},{"id":"https:\/\/openalex.org\/C119857082","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2539","display_name":"Machine learning","level":1,"score":0.1360897719860077},{"id":"https:\/\/openalex.org\/C13280743","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q131089","display_name":"Geodesy","level":1,"score":0},{"id":"https:\/\/openalex.org\/C205649164","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q1071","display_name":"Geography","level":0,"score":0},{"id":"https:\/\/openalex.org\/C152877465","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q208042","display_name":"Regression analysis","level":2,"score":0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007\/978-3-662-54494-5_3","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_3","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https:\/\/openalex.org\/P4310319900","https:\/\/openalex.org\/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"mag:3044967078","is_oa":false,"landing_page_url":"https:\/\/findanexpert.unimelb.edu.au\/scholarlywork\/1455100-bucketing-failing-tests-via-symbolic-analysis","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https:\/\/openalex.org\/P4310319900","https:\/\/openalex.org\/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Lecture notes in computer science","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4099999964237213,"id":"https:\/\/metadata.un.org\/sdg\/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https:\/\/openalex.org\/W841012168","https:\/\/openalex.org\/W1506510492","https:\/\/openalex.org\/W1710734607","https:\/\/openalex.org\/W1970005004","https:\/\/openalex.org\/W1971137495","https:\/\/openalex.org\/W1979693894","https:\/\/openalex.org\/W2033472898","https:\/\/openalex.org\/W2042033151","https:\/\/openalex.org\/W2062154010","https:\/\/openalex.org\/W2074250593","https:\/\/openalex.org\/W2107316307","https:\/\/openalex.org\/W2137530017","https:\/\/openalex.org\/W2138889007","https:\/\/openalex.org\/W2139664301","https:\/\/openalex.org\/W2149234515","https:\/\/openalex.org\/W2153185479","https:\/\/openalex.org\/W2165022036","https:\/\/openalex.org\/W2169597130","https:\/\/openalex.org\/W2480912033","https:\/\/openalex.org\/W3008276449","https:\/\/openalex.org\/W3149901392","https:\/\/openalex.org\/W4246166885","https:\/\/openalex.org\/W4253722282"],"related_works":["https:\/\/openalex.org\/W4321442002","https:\/\/openalex.org\/W3194833114","https:\/\/openalex.org\/W4205868343","https:\/\/openalex.org\/W2364496964","https:\/\/openalex.org\/W2009637593","https:\/\/openalex.org\/W2955263613","https:\/\/openalex.org\/W3094496039","https:\/\/openalex.org\/W2527390967","https:\/\/openalex.org\/W2025176186","https:\/\/openalex.org\/W1937808449"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}