{"id":"https://openalex.org/W2517483612","doi":"https://doi.org/10.1145/2970276.2970287","title":"Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis","display_name":"Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2517483612","doi":"https://doi.org/10.1145/2970276.2970287","mag":"2517483612"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970287","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970287","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","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/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":true,"raw_author_name":"Abdullah Alshanqiti","raw_affiliation_strings":["University of Leicester, UK"],"affiliations":[{"raw_affiliation_string":"University of 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":"Reiko Heckel","raw_affiliation_strings":["University of Leicester, UK"],"affiliations":[{"raw_affiliation_string":"University of 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/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Timo Kehrer","raw_affiliation_strings":["Politecnico di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010928963"],"corresponding_institution_ids":["https://openalex.org/I153648349"],"apc_list":null,"apc_paid":null,"fwci":0.8569,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.84011896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"816","last_page":"821"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering 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/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.7999792098999023},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6551737785339355},{"id":"https://openalex.org/keywords/extractor","display_name":"Extractor","score":0.6544527411460876},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.596642255783081},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5818853378295898},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5237438678741455},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4821140766143799},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4524584412574768},{"id":"https://openalex.org/keywords/visual-modeling","display_name":"Visual modeling","score":0.4419933557510376},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4280288815498352},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3975336253643036},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2643663287162781},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.21545502543449402},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11228203773498535},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08450332283973694}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7999792098999023},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6551737785339355},{"id":"https://openalex.org/C117978034","wikidata":"https://www.wikidata.org/wiki/Q5422192","display_name":"Extractor","level":2,"score":0.6544527411460876},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.596642255783081},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5818853378295898},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5237438678741455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4821140766143799},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4524584412574768},{"id":"https://openalex.org/C2780330621","wikidata":"https://www.wikidata.org/wiki/Q7936609","display_name":"Visual modeling","level":4,"score":0.4419933557510376},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4280288815498352},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3975336253643036},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2643663287162781},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.21545502543449402},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11228203773498535},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08450332283973694},{"id":"https://openalex.org/C21880701","wikidata":"https://www.wikidata.org/wiki/Q2144042","display_name":"Process engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970287","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970287","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W140239635","https://openalex.org/W204235972","https://openalex.org/W320378117","https://openalex.org/W360440500","https://openalex.org/W1495867315","https://openalex.org/W1548957673","https://openalex.org/W1582255180","https://openalex.org/W1610570299","https://openalex.org/W1884646655","https://openalex.org/W1884898539","https://openalex.org/W1939527131","https://openalex.org/W1962592449","https://openalex.org/W1969929929","https://openalex.org/W1978660636","https://openalex.org/W2027185189","https://openalex.org/W2041713059","https://openalex.org/W2052363833","https://openalex.org/W2082307353","https://openalex.org/W2087305559","https://openalex.org/W2105152771","https://openalex.org/W2110908283","https://openalex.org/W2113641467","https://openalex.org/W2114243230","https://openalex.org/W2114990295","https://openalex.org/W2149349589","https://openalex.org/W2151827032","https://openalex.org/W2165124476","https://openalex.org/W2215238298","https://openalex.org/W2241463115","https://openalex.org/W2488080607","https://openalex.org/W2497387994","https://openalex.org/W2802497260","https://openalex.org/W3083557752","https://openalex.org/W4205916380","https://openalex.org/W6605643140","https://openalex.org/W6632812283","https://openalex.org/W6636323515","https://openalex.org/W6672197710","https://openalex.org/W6713051534"],"related_works":["https://openalex.org/W3196370699","https://openalex.org/W99835880","https://openalex.org/W2165621915","https://openalex.org/W2098686678","https://openalex.org/W2042696379","https://openalex.org/W1990566212","https://openalex.org/W2153899880","https://openalex.org/W2135357891","https://openalex.org/W1994435275","https://openalex.org/W187098689"],"abstract_inverted_index":{"Visual":[0],"contracts":[1],"model":[2],"the":[3],"operations":[4],"of":[5,39,41],"classes,":[6],"components":[7],"or":[8],"services":[9],"by":[10],"pre-":[11],"and":[12,29,44,53],"post-conditions":[13],"formalised":[14],"as":[15],"graph":[16],"transformation":[17],"rules.":[18],"They":[19],"provide":[20],"a":[21,47,51],"precise":[22],"but":[23],"intuitive":[24],"notation":[25],"to":[26,35],"test,":[27],"document":[28],"analyse":[30],"software":[31],"systems.":[32],"However,":[33],"due":[34],"their":[36],"detailed":[37],"level":[38],"specification":[40],"data":[42],"states":[43],"transformations,":[45],"modelling":[46],"real":[48],"application":[49],"is":[50],"complex":[52],"error-prone":[54],"process.":[55]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}