{"id":"https://openalex.org/W341234694","doi":null,"title":"Coverage Maximization Using Dynamic Taint Tracing","display_name":"Coverage Maximization Using Dynamic Taint Tracing","publication_year":2007,"publication_date":"2007-03-28","ids":{"openalex":"https://openalex.org/W341234694","mag":"341234694"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.295.3321","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.3321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ll.mit.edu/mission/communications/ist/publications/07-03-02_Leek_TR-1112.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5110258569","display_name":"Timothy R. Leek","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Timothy R. Leek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041842918","display_name":"Graham Z. Baker","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Graham Z. Baker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066532887","display_name":"Robert Ernest Brown","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Ernest Brown","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079547369","display_name":"Michael Zhivich","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Zhivich","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043314383","display_name":"Richard P. Lippmann","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard P. Lippmann","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5577,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.95670503,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":97},"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/T11424","display_name":"Security and Verification in Computing","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/line-coverage","display_name":"line coverage","score":0.7020000219345093},{"id":"https://openalex.org/keywords/c-programs","display_name":"C programs","score":0.5379999876022339},{"id":"https://openalex.org/keywords/test-corpus","display_name":"test corpus","score":0.3109999895095825},{"id":"https://openalex.org/keywords/random-testing","display_name":"random testing","score":0.38600000739097595}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7920106053352356},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.6128709316253662},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.5041557550430298},{"id":"https://openalex.org/C94081185","wikidata":"https://www.wikidata.org/wiki/Q3559","display_name":"Comet","level":2,"score":0.49202224612236023},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48935192823410034},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.4769648313522339},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.4405900835990906},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.4340501129627228},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.43279320001602173},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.41543421149253845},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.404549241065979},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2510353922843933},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2123682200908661},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08427780866622925},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.295.3321","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.3321","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ll.mit.edu/mission/communications/ist/publications/07-03-02_Leek_TR-1112.pdf","raw_type":"text"},{"id":"pmh:ADA465167","doi":null,"is_oa":false,"landing_page_url":"http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA465167","pdf_url":null,"source":{"id":"https://openalex.org/S4406923043","display_name":"Defense Technical Information Center (DTIC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DTIC","raw_type":"Text"},{"id":"mag:341234694","doi":null,"is_oa":false,"landing_page_url":"http://www.ll.mit.edu/mission/cybersec/publications/publication-files/full_papers/07-03-02_Leek_TR-1112.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1499241274","https://openalex.org/W1499992849","https://openalex.org/W1511560695","https://openalex.org/W1514171102","https://openalex.org/W1535713556","https://openalex.org/W1582331515","https://openalex.org/W1839576640","https://openalex.org/W1986447758","https://openalex.org/W2009489720","https://openalex.org/W2025304834","https://openalex.org/W2029254184","https://openalex.org/W2031142974","https://openalex.org/W2046699259","https://openalex.org/W2059942119","https://openalex.org/W2096449544","https://openalex.org/W2102970979","https://openalex.org/W2107089133","https://openalex.org/W2107794009","https://openalex.org/W2116125833","https://openalex.org/W2117058582","https://openalex.org/W2120713211","https://openalex.org/W2122049982","https://openalex.org/W2128705399","https://openalex.org/W2132897303","https://openalex.org/W2137726309","https://openalex.org/W2146343552","https://openalex.org/W2150684130","https://openalex.org/W2155786233","https://openalex.org/W2159614205","https://openalex.org/W2170120409","https://openalex.org/W2171074980","https://openalex.org/W2613359208","https://openalex.org/W2799127318"],"related_works":["https://openalex.org/W2966948583","https://openalex.org/W2011146531","https://openalex.org/W7154618178","https://openalex.org/W2735918848","https://openalex.org/W2575742388","https://openalex.org/W2151352916","https://openalex.org/W1998716597","https://openalex.org/W7006553150","https://openalex.org/W2906875436","https://openalex.org/W4386615525"],"abstract_inverted_index":{"We":[0],"present":[1],"COMET,":[2],"a":[3,8,12,24,34,39,124,156],"system":[4],"that":[5,42],"automatically":[6],"assembles":[7],"test":[9,125],"suite":[10],"for":[11,23],"C":[13],"program":[14,32,83],"to":[15,46,59,86,98,119,164],"improve":[16],"line":[17],"coverage,":[18],"and":[19,77,154],"give":[20],"initial":[21,48],"results":[22],"prototype":[25],"implementation.":[26],"COMET":[27,97,131],"works":[28],"dynamically,":[29],"running":[30],"the":[31,60,74,82,88,106,114,134,152,160],"under":[33],"variety":[35],"of":[36,62,90,103,127,136,145,159,162],"instrumentations":[37],"in":[38,55,81,108,139],"feedback":[40],"loop":[41],"adds":[43],"new":[44,121],"inputs":[45,105,117,163],"an":[47,143],"corpus":[49],"with":[50],"each":[51],"iteration.":[52],"One":[53],"instrumentation":[54],"particular":[56],"is":[57],"crucial":[58],"success":[61],"this":[63],"approach:":[64],"dynamic":[65],"taint":[66,91],"tracing.":[67],"Inputs":[68],"are":[69,84],"labeled":[70],"as":[71],"tainted":[72],"at":[73],"byte":[75],"level":[76,135],"all":[78],"read/write":[79],"pairs":[80],"augmented":[85],"track":[87],"flow":[89],"between":[92],"memory":[93],"objects.":[94],"This":[95],"allows":[96],"determine":[99],"from":[100],"which":[101,104],"bytes":[102],"variables":[107],"conditions":[109],"derive,":[110],"thereby":[111],"dramatically":[112],"narrowing":[113],"search":[115],"over":[116],"necessary":[118],"expose":[120],"code.":[122],"On":[123],"set":[126],"13":[128],"example":[129],"programs,":[130],"improves":[132],"upon":[133],"coverage":[137],"reached":[138],"random":[140],"testing":[141],"by":[142],"average":[144],"23%":[146],"relative,":[147],"takes":[148],"only":[149],"about":[150],"twice":[151],"time,":[153],"requires":[155],"tiny":[157],"fraction":[158],"number":[161],"do":[165],"so.":[166]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}