{"id":"https://openalex.org/W2188063232","doi":"https://doi.org/10.1109/ic3.2015.7346742","title":"Consistency of Java run-time behavior with design-time specifications","display_name":"Consistency of Java run-time behavior with design-time specifications","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W2188063232","doi":"https://doi.org/10.1109/ic3.2015.7346742","mag":"2188063232"},"language":"en","primary_location":{"id":"doi:10.1109/ic3.2015.7346742","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ic3.2015.7346742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 Eighth International Conference on Contemporary Computing (IC3)","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/A5103429521","display_name":"Bharat Jayaraman","orcid":"https://orcid.org/0000-0001-5646-3213"},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Swaminathan Jayaraman","raw_affiliation_strings":["Department of Computer Science & Engineering, Amrita Vishwa Vidyapeetham, Kollam, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Amrita Vishwa Vidyapeetham, Kollam, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064708707","display_name":"Dinoop Hari","orcid":null},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Dinoop Hari","raw_affiliation_strings":["Department of Computer Science & Engineering, Amrita Vishwa Vidyapeetham, Kollam, India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Amrita Vishwa Vidyapeetham, Kollam, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103429521","display_name":"Bharat Jayaraman","orcid":"https://orcid.org/0000-0001-5646-3213"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bharat Jayaraman","raw_affiliation_strings":["Department of Computer Science & Engineering, State University of New York at Buffalo, Buffalo, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, State University of New York at Buffalo, Buffalo, USA","institution_ids":["https://openalex.org/I63190737"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103429521"],"corresponding_institution_ids":["https://openalex.org/I81556334"],"apc_list":null,"apc_paid":null,"fwci":1.8614,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.86239503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"4111","issue":null,"first_page":"548","last_page":"554"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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.9990000128746033,"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/java","display_name":"Java","score":0.8005210161209106},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7688949108123779},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6044942140579224},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.43631476163864136},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.3925524055957794},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3446362018585205},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.19413793087005615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.05842232704162598}],"concepts":[{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.8005210161209106},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7688949108123779},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6044942140579224},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.43631476163864136},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.3925524055957794},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3446362018585205},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.19413793087005615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.05842232704162598}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ic3.2015.7346742","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ic3.2015.7346742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 Eighth International Conference on Contemporary Computing (IC3)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W89508990","https://openalex.org/W1556669894","https://openalex.org/W1574030932","https://openalex.org/W2002691587","https://openalex.org/W2007465156","https://openalex.org/W2082000355","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2139555094","https://openalex.org/W2171480813","https://openalex.org/W2594048750","https://openalex.org/W4256144738"],"related_works":["https://openalex.org/W2949499328","https://openalex.org/W2123855908","https://openalex.org/W4301894417","https://openalex.org/W2497440208","https://openalex.org/W2971748376","https://openalex.org/W2275529935","https://openalex.org/W3010022189","https://openalex.org/W2374240972","https://openalex.org/W2150223718","https://openalex.org/W1555579555"],"abstract_inverted_index":{"We":[0,14,96,149],"present":[1],"a":[2,22,67,72,110,155],"novel":[3],"framework":[4,100],"for":[5,40,124,135,143],"formal":[6],"verification":[7],"of":[8,11,19,56,66,79,104,146,157,178],"run-time":[9,64,87],"behaviour":[10],"Java":[12,68,81,125,179],"programs.":[13,180],"focus":[15],"on":[16,154],"the":[17,54,63,76,80,86,93,140,171,174],"class":[18],"programs":[20,32,42],"with":[21,92],"repetitive":[23],"behaviour,":[24],"such":[25,41],"as":[26,46,101,131],"servers":[27],"and":[28,35,83,114,121,137,159,176],"interactive":[29],"programs,":[30,158],"including":[31],"exhibiting":[33],"concurrency":[34],"non-determinism.":[36],"The":[37],"design-time":[38,94],"specifications":[39],"can":[43],"be":[44],"specified":[45],"UML-like":[47],"finite-state":[48],"diagrams,":[49],"or":[50],"Kripke":[51],"structures,":[52],"in":[53,168],"terminology":[55],"model":[57],"checking.":[58],"In":[59],"order":[60],"to":[61],"verify":[62],"behavior":[65],"program,":[69],"we":[70],"extract":[71],"state":[73,88,122],"diagram":[74,89],"from":[75],"execution":[77,141],"trace":[78,142],"program":[82,126,147],"check":[84],"whether":[85],"is":[90,129,166],"consistent":[91],"diagram.":[95],"have":[97,150],"implemented":[98],"this":[99],"an":[102,132],"extension":[103,153],"JIVE":[105,128],"(Java":[106],"Interactive":[107],"Visualization":[108],"Environment),":[109],"state-of-the-art":[111],"dynamic":[112],"analysis":[113],"visualization":[115],"tool":[116],"which":[117],"constructs":[118],"object,":[119],"sequence,":[120],"diagrams":[123],"executions.":[127,148],"available":[130,139],"open-source":[133],"plugin":[134],"Eclipse":[136],"makes":[138],"facilitating":[144],"analyses":[145],"tested":[151],"our":[152,160,164],"number":[156],"experiments":[161],"show":[162],"that":[163],"methodology":[165],"effective":[167],"helping":[169],"close":[170],"gap":[172],"between":[173],"design":[175],"implementation":[177]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}