{"id":"https://openalex.org/W29348749","doi":null,"title":"Modeling Java Programs for Diagnosis","display_name":"Modeling Java Programs for Diagnosis","publication_year":null,"publication_date":null,"ids":{"openalex":"https://openalex.org/W29348749","mag":"29348749"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.8937","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dbai.tuwien.ac.at/staff/wotawa/ecai2000.ps.gz","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/A5021055277","display_name":"Cristinel Mateis","orcid":"https://orcid.org/0000-0001-7502-0688","observed_orcids":["https://orcid.org/0000-0001-7502-0688"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Cristinel Mateis","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019515177","display_name":"Markus Stumptner","orcid":"https://orcid.org/0000-0002-7125-3289","observed_orcids":["https://orcid.org/0000-0002-7125-3289"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Markus Stumptner","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011388533","display_name":"Franz Wotawa","orcid":"https://orcid.org/0000-0002-0462-2283","observed_orcids":["https://orcid.org/0000-0002-0462-2283"]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Franz Wotawa","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Institut f\u00fcr Informationssysteme and Ludwig Wittgenstein Laboratory for Information Systems, Wien#TAB#","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":43,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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":0.9613999724388123,"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.9613999724388123,"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/T10126","display_name":"Logic, programming, and type systems","score":0.013100000098347664,"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.003800000064074993,"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/model-based-diagnosis","display_name":"model-based diagnosis","score":0.996999979019165},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.8619999885559082},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.6330000162124634},{"id":"https://openalex.org/keywords/value-based-approach","display_name":"value-based approach","score":0.8799999952316284},{"id":"https://openalex.org/keywords/program-slicing","display_name":"program slicing","score":0.7239999771118164},{"id":"https://openalex.org/keywords/system-description","display_name":"system description","score":0.5809999704360962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8651268482208252},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7494729161262512},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7321959137916565},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.7321512699127197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7004877924919128},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.4719998836517334},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.42714840173721313},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4046333432197571},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.344118595123291},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.3313244581222534}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.8937","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.8937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dbai.tuwien.ac.at/staff/wotawa/ecai2000.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.306","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dbai.tuwien.ac.at/staff/mateis/./gz/ecai2000.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W27070454","https://openalex.org/W97847386","https://openalex.org/W178087257","https://openalex.org/W194442520","https://openalex.org/W289669055","https://openalex.org/W1482651513","https://openalex.org/W1496523200","https://openalex.org/W1514468887","https://openalex.org/W1562135786","https://openalex.org/W1596732274","https://openalex.org/W1875062412","https://openalex.org/W1968814228","https://openalex.org/W1979277605","https://openalex.org/W2073241739","https://openalex.org/W2108309071","https://openalex.org/W2117681788","https://openalex.org/W2141109493","https://openalex.org/W2143012831","https://openalex.org/W2144386448","https://openalex.org/W2293624369","https://openalex.org/W3152779315","https://openalex.org/W4296536903"],"related_works":["https://openalex.org/W7098247159","https://openalex.org/W7098886054","https://openalex.org/W1563724406","https://openalex.org/W74506535","https://openalex.org/W7100205293","https://openalex.org/W1513173952","https://openalex.org/W133293642","https://openalex.org/W7095790381","https://openalex.org/W1569919618","https://openalex.org/W1500435003"],"abstract_inverted_index":{".":[0],"A":[1,127],"key":[2,128],"advantage":[3,37,129],"of":[4,18,130,144],"model-based":[5,131],"diagnosis":[6,47,132],"is":[7,38,133],"the":[8,16,44,101,114,134,142],"ability":[9,135],"to":[10,25,75,89,103,136,151],"use":[11,137],"a":[12,34,53,80,110,119,138],"generic":[13,139],"model":[14,82,122,140],"for":[15,28,67,83,123,141],"production":[17,143],"system":[19,55,145],"descriptions":[20,56,146],"that":[21,86,147],"can":[22,57,148],"be":[23,58,149],"used":[24,150],"derive":[26],"diagnoses":[27],"differently":[29],"structured":[30],"individual":[31],"systems":[32],"from":[33,61,113],"domain.":[35],"This":[36],"nowhere":[39],"more":[40],"apparent":[41],"than":[42],"in":[43],"software":[45,115],"error":[46],"(or":[48],"debugging)":[49],"area,":[50],"where":[51],"given":[52],"model,":[54],"automatically":[59],"derived":[60],"source":[62],"code.":[63],"However,":[64],"effective":[65],"models":[66],"diagnosing":[68],"programs":[69,85],"have":[70],"so":[71],"far":[72],"been":[73],"limited":[74],"special-purpose":[76],"languages.":[77],"We":[78],"describe":[79],"value-based":[81],"Java":[84],"enables":[87],"us":[88],"explicitly":[90],"deal":[91],"with":[92],"imperative":[93],"program":[94,108],"execution":[95],"(including":[96],"loop":[97],"execution),":[98],"and":[99,118],"compare":[100],"results":[102],"those":[104],"obtained":[105],"by":[106],"using":[107],"slicing,":[109],"traditional":[111],"technique":[112],"debugging":[116],"community,":[117],"simple":[120],"dependency-based":[121],"Java.":[124],"1":[125],"Introduction":[126],"derive...":[152]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}