{"id":"https://openalex.org/W2261928075","doi":"https://doi.org/10.1145/2830719.2830730","title":"A Case Study on Executing Instrumented Code in Java PathFinder","display_name":"A Case Study on Executing Instrumented Code in Java PathFinder","publication_year":2015,"publication_date":"2015-11-11","ids":{"openalex":"https://openalex.org/W2261928075","doi":"https://doi.org/10.1145/2830719.2830730","mag":"2261928075"},"language":"en","primary_location":{"id":"doi:10.1145/2830719.2830730","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2830719.2830730","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-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/A5015320417","display_name":"Karl Palmskog","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karl Palmskog","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028388085","display_name":"Farah Hariri","orcid":"https://orcid.org/0000-0001-8486-7151"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Farah Hariri","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081289583","display_name":"Darko Marinov","orcid":"https://orcid.org/0000-0001-5023-3492"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Darko Marinov","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.556,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74098057,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"40","issue":"6","first_page":"1","last_page":"5"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"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/instrumentation","display_name":"Instrumentation (computer programming)","score":0.8423006534576416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7652051448822021},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7364288568496704},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.579933226108551},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5797668695449829},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.528490424156189},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5087292790412903},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.497974157333374},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4307631850242615},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4272151589393616},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.41646450757980347},{"id":"https://openalex.org/keywords/pathfinder","display_name":"Pathfinder","score":0.4124818444252014},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37994417548179626},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3615485429763794},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.11496305465698242}],"concepts":[{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.8423006534576416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7652051448822021},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7364288568496704},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.579933226108551},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5797668695449829},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.528490424156189},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5087292790412903},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.497974157333374},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4307631850242615},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4272151589393616},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.41646450757980347},{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.4124818444252014},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37994417548179626},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3615485429763794},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.11496305465698242},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2830719.2830730","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2830719.2830730","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1492344864","https://openalex.org/W1579672442","https://openalex.org/W2016167891","https://openalex.org/W2029588056","https://openalex.org/W2048327004","https://openalex.org/W2139107230","https://openalex.org/W2156858199","https://openalex.org/W2171480813"],"related_works":["https://openalex.org/W2104654077","https://openalex.org/W2064747932","https://openalex.org/W2022689150","https://openalex.org/W4235336797","https://openalex.org/W1557280686","https://openalex.org/W3111646971","https://openalex.org/W2049461947","https://openalex.org/W1558363615","https://openalex.org/W2132450494","https://openalex.org/W2901225818"],"abstract_inverted_index":{"Dynamic":[0,12],"program":[1],"analysis":[2,13],"is":[3],"widely":[4],"used":[5],"for":[6],"detecting":[7],"faults":[8],"in":[9,96,167],"software":[10],"systems.":[11],"tools":[14,62,164],"conceptually":[15],"either":[16],"use":[17],"a":[18,35,57,100],"modified":[19,36],"execution":[20],"environment":[21],"or":[22],"inject":[23],"instrumentation":[24,116],"code":[25,124],"into":[26],"the":[27,47,50,54,68,115,123,127,130,141,147],"system":[28],"under":[29],"test":[30],"(SUT).":[31],"Tools":[32],"based":[33],"on":[34],"environment,":[37],"such":[38,76],"as":[39,77],"Java":[40],"PathFinder":[41],"(JPF),":[42],"have":[43,63,92],"full":[44],"access":[45],"to":[46,89,109,122,138,159,165],"state":[48,143],"of":[49,56,70,74,81,103],"SUT":[51],"but":[52,66],"at":[53,67],"cost":[55,69],"higher":[58],"runtime":[59,75],"overhead.":[60],"Instrumentation-based":[61],"lower":[64],"overhead":[65],"less":[71],"convenient":[72],"control":[73],"thread":[78],"schedules.":[79],"Combinations":[80],"these":[82],"two":[83],"approaches":[84],"are":[85],"largely":[86],"unexplored,":[87],"and":[88,135,144,149],"our":[90,120,157],"knowledge,":[91],"never":[93],"been":[94],"done":[95],"JPF.":[97,112,168],"We":[98],"present":[99],"case":[101],"study":[102],"adapting":[104],"an":[105],"existing":[106],"instrumentation-based":[107,163],"tool":[108],"run":[110,166],"inside":[111],"To":[113],"keep":[114],"unchanged,":[117],"we":[118],"limited":[119],"changes":[121,132],"invoked":[125],"by":[126],"instrumentation.":[128],"Ultimately,":[129],"required":[131],"were":[133],"few":[134],"essentially":[136],"reduce":[137],"properly":[139],"dividing":[140],"analysis-related":[142],"logic":[145],"between":[146],"JPF":[148],"host":[150],"JVM":[151],"levels.":[152],"Others":[153],"can":[154],"benefit":[155],"from":[156],"experience":[158],"quicker":[160],"adapt":[161],"their":[162]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}