{"id":"https://openalex.org/W3140737535","doi":"https://doi.org/10.1109/topi.2012.6229808","title":"TacoPlug: An Eclipse plug-in for TACO","display_name":"TacoPlug: An Eclipse plug-in for TACO","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3140737535","doi":"https://doi.org/10.1109/topi.2012.6229808","mag":"3140737535"},"language":"en","primary_location":{"id":"doi:10.1109/topi.2012.6229808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/topi.2012.6229808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)","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/A5021067207","display_name":"Marcos Chicote","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marcos Chicote","raw_affiliation_strings":["Departamento de Computaci\u00f3n, FCEyN, UBA, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEyN, UBA, Buenos Aires, Argentina","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041433839","display_name":"Juan Pablo Galeotti","orcid":"https://orcid.org/0000-0002-0747-8205"},"institutions":[{"id":"https://openalex.org/I151201029","display_name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","ror":"https://ror.org/03cqe8w59","country_code":"AR","type":"funder","lineage":["https://openalex.org/I151201029","https://openalex.org/I4210123736","https://openalex.org/I4387155568"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Juan Pablo Galeotti","raw_affiliation_strings":["CONICET, Argentina","Departamento de Computaci\u00f3n, FCEyN, UBA, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"CONICET, Argentina","institution_ids":["https://openalex.org/I151201029"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n, FCEyN, UBA, Buenos Aires, Argentina","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021067207"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7837,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78800313,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2988","issue":null,"first_page":"37","last_page":"42"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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/debugger","display_name":"Debugger","score":0.9193792939186096},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8942675590515137},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.8393268585205078},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8048193454742432},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.7109601497650146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6551895141601562},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5990287065505981},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5344981551170349},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4975033104419708},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4944772720336914},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4933141767978668},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.41470232605934143},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3938111364841461},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2655686140060425}],"concepts":[{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.9193792939186096},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8942675590515137},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.8393268585205078},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8048193454742432},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.7109601497650146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6551895141601562},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5990287065505981},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5344981551170349},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4975033104419708},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4944772720336914},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4933141767978668},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.41470232605934143},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3938111364841461},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2655686140060425},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"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/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/topi.2012.6229808","is_oa":false,"landing_page_url":"https://doi.org/10.1109/topi.2012.6229808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1533964197","https://openalex.org/W1543287511","https://openalex.org/W1557470769","https://openalex.org/W1928992408","https://openalex.org/W1988537734","https://openalex.org/W2012997183","https://openalex.org/W2094160561","https://openalex.org/W2115900163","https://openalex.org/W2124377830","https://openalex.org/W2129538349","https://openalex.org/W2155621670","https://openalex.org/W4229621802","https://openalex.org/W4246219036","https://openalex.org/W6630973549","https://openalex.org/W6632707322","https://openalex.org/W6679495168"],"related_works":["https://openalex.org/W2800641345","https://openalex.org/W2886673879","https://openalex.org/W564953056","https://openalex.org/W2061184006","https://openalex.org/W2381239448","https://openalex.org/W4236910510","https://openalex.org/W2092932442","https://openalex.org/W2543963479","https://openalex.org/W1751798423","https://openalex.org/W2583000271"],"abstract_inverted_index":{"In":[0],"this":[1],"work":[2],"we":[3],"present":[4],"TacoPlug,":[5],"an":[6,39],"Eclipse":[7],"plugin":[8],"that":[9],"lets":[10],"users":[11],"explore":[12],"error":[13,70],"traces":[14],"output":[15],"by":[16,97],"the":[17,35,43,52,60,69,82,88,92],"bounded":[18],"verifier":[19],"TACO.":[20],"TacoPlug":[21,32,54,64],"uses":[22],"and":[23],"extends":[24],"TACO":[25,44,47],"to":[26,37,51,72],"provide":[27],"a":[28,49,100,105],"better":[29],"debugging":[30,83],"experience.":[31],"interface":[33],"allows":[34],"user":[36],"verify":[38],"annotated":[40,61],"software":[41,79,107],"using":[42],"verifier.":[45],"If":[46],"finds":[48],"violation":[50],"specification,":[53],"presents":[55],"it":[56],"in":[57],"terms":[58],"of":[59,68,94,99],"source":[62],"code.":[63],"features":[65],"several":[66],"views":[67],"trace":[71],"facilitate":[73],"fault":[74],"understanding.":[75],"It":[76],"resembles":[77],"any":[78],"debugger,":[80],"but":[81],"occurs":[84],"statically":[85],"without":[86],"executing":[87],"program.":[89],"We":[90],"show":[91],"usability":[93],"our":[95],"tool":[96],"means":[98],"motivational":[101],"example":[102],"taken":[103],"from":[104],"real-life":[106],"error.":[108]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}