{"id":"https://openalex.org/W4323076409","doi":"https://doi.org/10.48550/arxiv.2303.01302","title":"Reasoning-Based Software Testing","display_name":"Reasoning-Based Software Testing","publication_year":2023,"publication_date":"2023-03-02","ids":{"openalex":"https://openalex.org/W4323076409","doi":"https://doi.org/10.48550/arxiv.2303.01302"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2303.01302","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.01302","pdf_url":"https://arxiv.org/pdf/2303.01302","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2303.01302","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085590355","display_name":"Luca Giamattei","orcid":"https://orcid.org/0000-0003-3767-4036"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Giamattei, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072680843","display_name":"Roberto Pietrantuono","orcid":"https://orcid.org/0000-0003-2449-1724"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pietrantuono, Roberto","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5002197803","display_name":"Stefano Russo","orcid":"https://orcid.org/0000-0002-8747-3446"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Russo, Stefano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5085590355"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987000226974487,"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":0.9987000226974487,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.7450805902481079},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.6625436544418335},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6481623649597168},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5267683267593384},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.48679015040397644},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43551746010780334},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4262903332710266},{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.410581111907959},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.1895880103111267},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17591378092765808}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7450805902481079},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.6625436544418335},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6481623649597168},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5267683267593384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48679015040397644},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43551746010780334},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4262903332710266},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.410581111907959},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.1895880103111267},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17591378092765808},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2303.01302","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.01302","pdf_url":"https://arxiv.org/pdf/2303.01302","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2303.01302","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2303.01302","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2303.01302","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2303.01302","pdf_url":"https://arxiv.org/pdf/2303.01302","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7231650214","display_name":null,"funder_award_id":"871342","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4323076409.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W4312814274","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2290805569"],"abstract_inverted_index":{"With":[0],"software":[1],"systems":[2,19],"becoming":[3],"increasingly":[4],"pervasive":[5],"and":[6,26,175,214],"autonomous,":[7],"our":[8],"ability":[9],"to":[10,22,32,46,55,75,86,120,144,166,173,191],"test":[11],"for":[12,110,211],"their":[13],"quality":[14],"is":[15],"severely":[16],"challenged.":[17],"Many":[18],"are":[20,222],"called":[21],"operate":[23],"in":[24,41,114,219],"uncertain":[25],"highly-changing":[27],"environment,":[28],"not":[29],"rarely":[30],"required":[31],"make":[33],"intelligent":[34],"decisions":[35],"by":[36,60,206],"themselves.":[37],"This":[38],"easily":[39],"results":[40,217],"an":[42],"intractable":[43],"state":[44],"space":[45,78,118],"explore":[47],"at":[48,134],"testing":[49,136],"time.":[50],"The":[51,184],"state-of-the-art":[52,148],"techniques":[53],"try":[54],"keep":[56],"the":[57,62,88,94,105,108,112,135,159,169,178,189,203,208],"pace,":[58],"e.g.,":[59],"augmenting":[61],"tester's":[63],"intuition":[64],"with":[65,177],"some":[66],"form":[67],"of":[68,132,180,195],"(explicit":[69],"or":[70,93,101,147],"implicit)":[71],"learning":[72],"from":[73,202],"observations":[74],"search":[76,89,113,168],"this":[77,182,220],"efficiently.":[79],"For":[80],"instance,":[81],"they":[82],"exploit":[83],"historical":[84],"data":[85,97],"drive":[87],"(e.g.,":[90,99],"ML-driven":[91],"testing)":[92],"tests":[95],"execution":[96],"itself":[98],"adaptive":[100],"search-based":[102],"testing).":[103],"Despite":[104],"indubitable":[106],"advances,":[107],"need":[109],"smartening":[111],"such":[115],"a":[116,129,139,162,192],"huge":[117],"keeps":[119],"be":[121,199],"pressing.":[122],"We":[123],"introduce":[124],"Reasoning-Based":[125],"Software":[126],"Testing":[127],"(RBST),":[128],"new":[130,193],"way":[131],"thinking":[133],"problem":[137],"as":[138],"causal":[140,154,212],"reasoning":[141,155],"task.":[142],"Compared":[143],"mere":[145],"intuition-based":[146],"learning-based":[149],"strategies,":[150],"we":[151],"claim":[152],"that":[153,161],"more":[156],"naturally":[157],"emulates":[158],"process":[160],"human":[163],"would":[164],"do":[165],"''smartly\"":[167],"space.":[170],"RBST":[171],"aims":[172],"mimic":[174],"amplify,":[176],"power":[179],"computation,":[181],"ability.":[183],"conceptual":[185],"leap":[186],"can":[187,198],"pave":[188],"ground":[190],"trend":[194],"techniques,":[196],"which":[197],"variously":[200],"instantiated":[201],"proposed":[204],"framework,":[205],"exploiting":[207],"numerous":[209],"tools":[210],"discovery":[213],"inference.":[215],"Preliminary":[216],"reported":[218],"paper":[221],"promising.":[223]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-12T08:28:47.272897","created_date":"2025-10-10T00:00:00"}