{"id":"https://openalex.org/W1973468708","doi":"https://doi.org/10.1145/1297846.1297964","title":"Understanding the value of program analysis tools","display_name":"Understanding the value of program analysis tools","publication_year":2007,"publication_date":"2007-10-20","ids":{"openalex":"https://openalex.org/W1973468708","doi":"https://doi.org/10.1145/1297846.1297964","mag":"1973468708"},"language":"en","primary_location":{"id":"doi:10.1145/1297846.1297964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297846.1297964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion","raw_type":"proceedings-article"},"type":"article","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/A5010687341","display_name":"Ciera Jaspan","orcid":"https://orcid.org/0000-0003-4500-1392"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ciera Jaspan","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA","Carnegie-Mellon University, Pittsburgh, PA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie-Mellon University, Pittsburgh, PA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000918887","display_name":"I-Chin Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I1321826891","display_name":"eBay (Ireland)","ror":"https://ror.org/02b00s810","country_code":"IE","type":"company","lineage":["https://openalex.org/I1321826891","https://openalex.org/I4210150719"]},{"id":"https://openalex.org/I4210150719","display_name":"eBay (United States)","ror":"https://ror.org/05cnabr44","country_code":"US","type":"company","lineage":["https://openalex.org/I4210150719"]}],"countries":["IE","US"],"is_corresponding":false,"raw_author_name":"I-Chin Chen","raw_affiliation_strings":["eBay: Inc., San Jose, CA","eBay, Inc., San Jose, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"eBay: Inc., San Jose, CA","institution_ids":["https://openalex.org/I4210150719"]},{"raw_affiliation_string":"eBay, Inc., San Jose, CA#TAB#","institution_ids":["https://openalex.org/I1321826891"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085666682","display_name":"Anoop Sharma","orcid":null},"institutions":[{"id":"https://openalex.org/I4210150719","display_name":"eBay (United States)","ror":"https://ror.org/05cnabr44","country_code":"US","type":"company","lineage":["https://openalex.org/I4210150719"]},{"id":"https://openalex.org/I1321826891","display_name":"eBay (Ireland)","ror":"https://ror.org/02b00s810","country_code":"IE","type":"company","lineage":["https://openalex.org/I1321826891","https://openalex.org/I4210150719"]}],"countries":["IE","US"],"is_corresponding":false,"raw_author_name":"Anoop Sharma","raw_affiliation_strings":["eBay: Inc., San Jose, CA","eBay, Inc., San Jose, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"eBay: Inc., San Jose, CA","institution_ids":["https://openalex.org/I4210150719"]},{"raw_affiliation_string":"eBay, Inc., San Jose, CA#TAB#","institution_ids":["https://openalex.org/I1321826891"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010687341"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":3.3474,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.91742919,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"963","last_page":"970"},"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.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7973384857177734},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.6680043935775757},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.586324155330658},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5080850124359131},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4964595437049866},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.48206478357315063},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4767085909843445},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4725344479084015},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4537305533885956},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.4472348988056183},{"id":"https://openalex.org/keywords/software-tool","display_name":"Software tool","score":0.4280228018760681},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21447092294692993},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.19846421480178833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7973384857177734},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.6680043935775757},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.586324155330658},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5080850124359131},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4964595437049866},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.48206478357315063},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4767085909843445},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4725344479084015},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4537305533885956},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.4472348988056183},{"id":"https://openalex.org/C2984968299","wikidata":"https://www.wikidata.org/wiki/Q1077784","display_name":"Software tool","level":3,"score":0.4280228018760681},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21447092294692993},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.19846421480178833},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1297846.1297964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1297846.1297964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.88.4731","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.4731","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~cchristo/docs/jaspan-OOPSLA07-ERT.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1493503820","https://openalex.org/W1541063262","https://openalex.org/W1574462897","https://openalex.org/W2011958337","https://openalex.org/W2107024044","https://openalex.org/W2171816001"],"related_works":["https://openalex.org/W4297908618","https://openalex.org/W2765641823","https://openalex.org/W2867457158","https://openalex.org/W2354385412","https://openalex.org/W3111646971","https://openalex.org/W1277328974","https://openalex.org/W2964175311","https://openalex.org/W3186878187","https://openalex.org/W3134609580","https://openalex.org/W2895825088"],"abstract_inverted_index":{"It":[0],"is":[1],"difficult":[2],"to":[3,58,72,105,120,134,145,149],"determine":[4],"the":[5,18,26,64,67,73,77,92,107,118,136,165,178],"cost":[6],"effectiveness":[7],"of":[8,66,76,117,159,177],"program":[9,44,81],"analysis":[10,45,82,138],"tools":[11,46,55,152],"because":[12],"we":[13,22,96,102,124,128,162],"cannot":[14],"evaluate":[15,125],"them":[16],"in":[17,183],"same":[19],"environment":[20],"where":[21],"will":[23],"be":[24,121],"using":[25],"tool.":[27,78],"Tool":[28],"evaluations":[29,84,108],"are":[30,47,56,69],"usually":[31,48,89],"run":[32,49,59],"on":[33,50,91],"mature,":[34],"stable":[35],"code":[36],"after":[37,61],"it":[38,181],"has":[39],"passed":[40],"developer":[41],"testing.":[42],"However,":[43],"unstable":[51],"code,":[52],"and":[53,88],"some":[54],"meant":[57],"right":[60],"compilation.":[62],"Naturally,":[63],"results":[65],"evaluation":[68,132,176],"not":[70,98],"comparable":[71],"true":[74],"contribution":[75],"This":[79],"leaves":[80],"tool":[83,119,166,179],"being":[85],"very":[86],"subjective":[87],"dependent":[90],"evaluators":[93],"intuition.":[94],"While":[95],"could":[97],"solve":[99],"this":[100],"problem,":[101],"suggest":[103,163],"techniques":[104],"make":[106,135],"more":[109,139],"objective.":[110,140],"We":[111,141],"started":[112],"by":[113],"making":[114],"enforcement-based":[115],"customizations":[116],"evaluated.":[122],"When":[123],"a":[126,130,174],"tool,":[127],"used":[129],"comparative":[131],"technique":[133],"ROI":[137],"also":[142],"show":[143],"how":[144],"use":[146],"coverage":[147],"models":[148],"select":[150],"several":[151],"when":[153],"they":[154],"each":[155],"find":[156],"different":[157],"kinds":[158],"issues.":[160],"Finally,":[161],"that":[164,170],"vendors":[167],"include":[168],"features":[169],"assist":[171],"us":[172],"with":[173],"continuous":[175],"as":[180],"runs":[182],"our":[184],"software":[185],"process.":[186]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}