{"id":"https://openalex.org/W3172442858","doi":"https://doi.org/10.18420/se2019-11","title":"Inferring Visual Contracts from Java Programs","display_name":"Inferring Visual Contracts from Java Programs","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W3172442858","doi":"https://doi.org/10.18420/se2019-11","mag":"3172442858"},"language":"en","primary_location":{"id":"pmh:oai:figshare.com:article/10226624","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Inferring_visual_contracts_from_Java_programs/10226624","pdf_url":null,"source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Inferring_visual_contracts_from_Java_programs/10226624","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010928963","display_name":"Abdullah Alshanqiti","orcid":"https://orcid.org/0000-0002-6080-5236"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alshanqiti, Abdullah","raw_affiliation_strings":["Department of Computer Sciences, University of Leicester, Leicester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, University of Leicester, Leicester, UK","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079512613","display_name":"Reiko Heckel","orcid":"https://orcid.org/0000-0003-4719-0772"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Heckel, Reiko","raw_affiliation_strings":["Department of Computer Sciences, University of Leicester, Leicester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, University of Leicester, Leicester, UK","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078065547","display_name":"Timo Kehrer","orcid":"https://orcid.org/0000-0002-2582-5557"},"institutions":[{"id":"https://openalex.org/I39343248","display_name":"Humboldt-Universit\u00e4t zu Berlin","ror":"https://ror.org/01hcx6992","country_code":"DE","type":"education","lineage":["https://openalex.org/I39343248"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kehrer, Timo","raw_affiliation_strings":["Institut f\u00fcr Informatik, Humboldt Universit\u00e4t zu Berlin, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Humboldt Universit\u00e4t zu Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I39343248"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.45712299,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"53","last_page":"54"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"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/computer-science","display_name":"Computer science","score":0.8139827847480774},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7525970935821533},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7102422118186951},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6968978643417358},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.6711786985397339},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6081784963607788},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.524816632270813},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4886351227760315},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.48321712017059326},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4454616904258728},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.43400514125823975},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36307573318481445},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27023980021476746},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.2676423192024231},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.16623422503471375}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8139827847480774},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7525970935821533},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7102422118186951},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6968978643417358},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.6711786985397339},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6081784963607788},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.524816632270813},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4886351227760315},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.48321712017059326},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4454616904258728},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.43400514125823975},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36307573318481445},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27023980021476746},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.2676423192024231},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.16623422503471375},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:figshare.com:article/10226624","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Inferring_visual_contracts_from_Java_programs/10226624","pdf_url":null,"source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.18420/se2019-11","is_oa":true,"landing_page_url":"https://doi.org/10.18420/se2019-11","pdf_url":null,"source":{"id":"https://openalex.org/S7407052918","display_name":"Gesellschaft f\u00fcr Informatik (GI)","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3172442858","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/se/se2019.html#AlshanqitiHK19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/10226624","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Inferring_visual_contracts_from_Java_programs/10226624","pdf_url":null,"source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4000000059604645,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2165695253","https://openalex.org/W2150116064","https://openalex.org/W1773158586","https://openalex.org/W1158483327","https://openalex.org/W2951471989","https://openalex.org/W1580291561","https://openalex.org/W2344620854","https://openalex.org/W2141221060","https://openalex.org/W2172046358","https://openalex.org/W2085557045","https://openalex.org/W2058571314","https://openalex.org/W1976006462","https://openalex.org/W2946615110","https://openalex.org/W2126899995","https://openalex.org/W90325728","https://openalex.org/W1605658996","https://openalex.org/W2738801735","https://openalex.org/W2406333776","https://openalex.org/W1600665217","https://openalex.org/W2131422115"],"abstract_inverted_index":{"In":[0,19],"this":[1,20],"work,":[2],"we":[3,22,94],"report":[4,95],"about":[5],"recent":[6],"research":[7],"results":[8,98],"on":[9,36,96],"\u00d2Inferring":[10],"Visual":[11],"Contracts":[12],"from":[13,32],"Java":[14,33,41],"Programs\u00d3,":[15],"published":[16],"in":[17,59,84,88],"[1].":[18],"paper,":[21],"propose":[23],"a":[24],"dynamic":[25],"approach":[26],"to":[27],"reverse":[28],"engineering":[29],"visual":[30],"contracts":[31,45],"programs":[34],"based":[35],"tracing":[37],"the":[38,51],"execution":[39],"of":[40,50,61,105],"operations.":[42],"The":[43],"resulting":[44],"give":[46],"an":[47],"accurate":[48],"description":[49],"observed":[52],"object":[53,62],"transformations,":[54],"their":[55,69],"effects":[56],"and":[57,65,68,78,91,93,102],"preconditions":[58],"terms":[60],"structures,":[63],"parameter":[64],"attribute":[66],"values,":[67],"generalised":[70],"specification":[71],"by":[72],"universally":[73],"quantified":[74],"(multi)":[75],"objects,":[76],"patterns,":[77],"invariants.":[79],"We":[80],"explore":[81],"potential":[82],"uses":[83],"our":[85],"evaluation,":[86],"including":[87],"program":[89],"understanding":[90],"testing,":[92],"experimental":[97],"w.r.t.":[99],"completeness":[100],"(recall)":[101],"correctness":[103],"(precision)":[104],"extracted":[106],"contracts.":[107]},"counts_by_year":[],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}