{"id":"https://openalex.org/W3150398401","doi":"https://doi.org/10.1109/scam.2007.22","title":"SUDS: An Infrastructure for Creating Bug Detection Tools","display_name":"SUDS: An Infrastructure for Creating Bug Detection Tools","publication_year":2007,"publication_date":"2007-09-01","ids":{"openalex":"https://openalex.org/W3150398401","doi":"https://doi.org/10.1109/scam.2007.22","mag":"3150398401"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/scam.2007.22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5035154676","display_name":"Eric B. Larson","orcid":"https://orcid.org/0000-0003-4782-5360"},"institutions":[{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eric Larson","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Seattle University, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Seattle University, USA","institution_ids":["https://openalex.org/I58610484"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035154676"],"corresponding_institution_ids":["https://openalex.org/I58610484"],"apc_list":null,"apc_paid":null,"fwci":0.194,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.176403,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":63,"max":70},"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"132"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9999,"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.9999,"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.9998,"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.9991,"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/instrumentation","display_name":"Instrumentation","score":0.84963}],"concepts":[{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.84963},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.77916694},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7760069},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6370385},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.43902498},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43358046},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3573575},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18484408},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1589826},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/scam.2007.22","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.63,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":25,"referenced_works":["https://openalex.org/W1499992849","https://openalex.org/W1514171102","https://openalex.org/W1579850852","https://openalex.org/W1996146601","https://openalex.org/W2047226031","https://openalex.org/W2084974764","https://openalex.org/W2088192118","https://openalex.org/W2102970979","https://openalex.org/W2107089133","https://openalex.org/W2107667898","https://openalex.org/W2120138937","https://openalex.org/W2130711572","https://openalex.org/W2141109493","https://openalex.org/W2145568266","https://openalex.org/W2161065509","https://openalex.org/W4230796557","https://openalex.org/W4231021522","https://openalex.org/W4234020632","https://openalex.org/W4236756281","https://openalex.org/W4237492309","https://openalex.org/W4237761268","https://openalex.org/W4239813889","https://openalex.org/W4242377092","https://openalex.org/W4251167975","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2018477250","https://openalex.org/W1875930651","https://openalex.org/W1667647204","https://openalex.org/W1590965489","https://openalex.org/W1508895727"],"abstract_inverted_index":{"SUDS":[0,52,95],"is":[1,64,80,96,102,110,115],"a":[2,67,86],"powerful":[3],"infrastructure":[4],"for":[5,14],"creating":[6],"dynamic":[7,19,46],"bug":[8,47],"detection":[9,48],"tools.":[10,91],"It":[11],"contains":[12],"phases":[13,37],"both":[15,30],"static":[16,35,113],"analysis":[17,36,114],"and":[18,53,107],"instrumentation":[20,62],"allowing":[21],"users":[22,71],"to":[23,41,57,72,82,117],"create":[24,73],"tools":[25,49],"that":[26,69,100,108],"take":[27],"advantage":[28],"of":[29,34,45,85,89,94,104],"paradigms.":[31],"The":[32,61,92],"results":[33],"can":[38],"be":[39,55],"used":[40,116],"improve":[42],"the":[43],"quality":[44],"created":[50],"with":[51],"could":[54],"expanded":[56],"find":[58],"defects":[59],"statically.":[60],"engine":[63],"designed":[65],"in":[66],"manner":[68],"allows":[70],"their":[74],"own":[75],"correctness":[76],"models":[77],"quickly":[78],"but":[79],"flexible":[81],"support":[83],"construction":[84],"wide":[87],"range":[88],"different":[90],"effectiveness":[93],"demonstrated":[97],"by":[98],"showing":[99],"it":[101],"capable":[103],"finding":[105],"bugs":[106],"performance":[109],"improved":[111],"when":[112],"eliminated":[118],"unnecessary":[119],"instrumentation.":[120]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3150398401","counts_by_year":[],"updated_date":"2024-12-11T01:30:15.952625","created_date":"2021-04-13"}