{"id":"https://openalex.org/W4388327344","doi":"https://doi.org/10.48550/arxiv.2311.01164","title":"Insight Into SEER","display_name":"Insight Into SEER","publication_year":2023,"publication_date":"2023-11-02","ids":{"openalex":"https://openalex.org/W4388327344","doi":"https://doi.org/10.48550/arxiv.2311.01164"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2311.01164","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.01164","pdf_url":"https://arxiv.org/pdf/2311.01164","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.01164","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012484634","display_name":"Kasra Lekan","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lekan, Kasra","raw_affiliation_strings":["Computer Science Department University of Virginia Charlottesville , VA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department University of Virginia Charlottesville , VA , USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042531325","display_name":"Nicki Choquette","orcid":"https://orcid.org/0009-0006-0371-3147","observed_orcids":["https://orcid.org/0009-0006-0371-3147"]},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Choquette, Nicki","raw_affiliation_strings":["Computer Science Department University of Virginia Charlottesville , VA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department University of Virginia Charlottesville , VA , USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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":1.0,"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.0,"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.0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/seer","display_name":"SEER","score":0.9549999833106995},{"id":"https://openalex.org/keywords/test-automation","display_name":"test automation","score":0.6110000014305115},{"id":"https://openalex.org/keywords/test-oracles","display_name":"test oracles","score":0.578000009059906},{"id":"https://openalex.org/keywords/reproducibility","display_name":"reproducibility","score":0.6690000295639038},{"id":"https://openalex.org/keywords/generalization","display_name":"generalization","score":0.6840000152587891},{"id":"https://openalex.org/keywords/robustness","display_name":"robustness","score":0.8510000109672546},{"id":"https://openalex.org/keywords/model-perturbation","display_name":"model perturbation","score":0.39500001072883606}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7371476292610168},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6651830673217773},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.6488325595855713},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.6273617148399353},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5769002437591553},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5672084093093872},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5310918092727661},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32788580656051636},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2321610152721405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11634957790374756},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.06590139865875244},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2311.01164","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.01164","pdf_url":"https://arxiv.org/pdf/2311.01164","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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.2311.01164","doi":"https://doi.org/10.48550/arxiv.2311.01164","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2311.01164","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.01164","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.01164","pdf_url":"https://arxiv.org/pdf/2311.01164","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.44999998807907104}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388327344.pdf","grobid_xml":"https://content.openalex.org/works/W4388327344.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W1968067090","https://openalex.org/W2345942070","https://openalex.org/W2141398161","https://openalex.org/W2016410697","https://openalex.org/W39611005","https://openalex.org/W653076280"],"abstract_inverted_index":{"Developing":[0],"test":[1,48],"oracles":[2,8,25],"can":[3],"be":[4],"inefficient:":[5],"developer":[6],"generative":[7],"are":[9,82],"time-intensive":[10],"and":[11,73,93,116],"thus":[12],"costly":[13],"while":[14],"automatic":[15],"oracle":[16],"generation":[17],"in":[18,102],"the":[19,28,35,41,59,95,103,120],"form":[20],"of":[21,38,56,65,68,71,77,105,114],"regression":[22],"or":[23],"exception":[24],"assumes":[26],"that":[27],"underlying":[29],"code":[30],"is":[31,91],"correct.":[32],"To":[33],"mitigate":[34],"high":[36],"cost":[37],"testing":[39],"oracles,":[40],"SEER":[42,57,90,115],"tool":[43,60],"was":[44],"developed":[45],"to":[46,118],"predict":[47],"outcomes":[49],"without":[50],"needing":[51],"assertion":[52],"statements.":[53],"The":[54],"creators":[55],"introduced":[58],"with":[61,87],"an":[62,74],"overall":[63],"accuracy":[64],"93%,":[66],"precision":[67],"86%,":[69],"recall":[70],"94%,":[72],"F1":[75],"score":[76],"90%.":[78],"If":[79],"these":[80],"results":[81,122],"replicable":[83],"on":[84,123],"new":[85,125],"data":[86],"perturbations,":[88],"i.e.":[89],"generalizable":[92],"robust,":[94],"model":[96],"would":[97],"represent":[98],"a":[99,111,124],"significant":[100],"advancement":[101],"field":[104],"automated":[106],"testing.":[107],"Consequently,":[108],"we":[109],"conducted":[110],"comprehensive":[112],"reproduction":[113],"attempted":[117],"verify":[119],"model's":[121],"dataset.":[126]},"counts_by_year":[],"updated_date":"2026-10-01T08:54:57.152042","created_date":"2023-11-04T00:00:00"}