{"id":"https://openalex.org/W2069161129","doi":"https://doi.org/10.1109/rivf.2015.7049890","title":"Interaction analysis of annotated specification and program codes in Extended Static Checking","display_name":"Interaction analysis of annotated specification and program codes in Extended Static Checking","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2069161129","doi":"https://doi.org/10.1109/rivf.2015.7049890","mag":"2069161129"},"language":"en","primary_location":{"id":"doi:10.1109/rivf.2015.7049890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rivf.2015.7049890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5013461012","display_name":"Truong-Thang Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I70349855","display_name":"Vietnam Academy of Science and Technology","ror":"https://ror.org/02wsd5p50","country_code":"VN","type":"government","lineage":["https://openalex.org/I70349855"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Truong-Thang Nguyen","raw_affiliation_strings":["Institute of Information Technology, Vietnam Academy of Science and Technology","Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Technology, Vietnam Academy of Science and Technology","institution_ids":["https://openalex.org/I70349855"]},{"raw_affiliation_string":"Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam","institution_ids":["https://openalex.org/I70349855"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072071063","display_name":"Manh-Dong Tran","orcid":null},"institutions":[{"id":"https://openalex.org/I70349855","display_name":"Vietnam Academy of Science and Technology","ror":"https://ror.org/02wsd5p50","country_code":"VN","type":"government","lineage":["https://openalex.org/I70349855"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Manh-Dong Tran","raw_affiliation_strings":["Institute of Information Technology, Vietnam Academy of Science and Technology","Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Technology, Vietnam Academy of Science and Technology","institution_ids":["https://openalex.org/I70349855"]},{"raw_affiliation_string":"Institute of Information Technology, Vietnam Academy of Science and Technology, Vietnam","institution_ids":["https://openalex.org/I70349855"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I70349855"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10023095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"144","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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/programming-language","display_name":"Programming language","score":0.8509134650230408},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.845483660697937},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.6441693305969238},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5106778740882874},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.49638277292251587},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.49475520849227905},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.48041465878486633},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4663395583629608},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3302880823612213},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.171030193567276},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15950626134872437}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8509134650230408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.845483660697937},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.6441693305969238},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5106778740882874},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.49638277292251587},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.49475520849227905},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.48041465878486633},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4663395583629608},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3302880823612213},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.171030193567276},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15950626134872437},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rivf.2015.7049890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rivf.2015.7049890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 2015 IEEE RIVF International Conference on Computing & Communication Technologies - Research, Innovation, and Vision for Future (RIVF)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313223","display_name":"Vietnam Academy of Science and Technology","ror":"https://ror.org/02wsd5p50"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1492252392","https://openalex.org/W1503973138","https://openalex.org/W1606177908","https://openalex.org/W1966571454","https://openalex.org/W1981390603","https://openalex.org/W1990183105","https://openalex.org/W1992431017","https://openalex.org/W1993836075","https://openalex.org/W2066210260","https://openalex.org/W2084974764","https://openalex.org/W2131619545","https://openalex.org/W2504100651","https://openalex.org/W3046946143","https://openalex.org/W6629435944"],"related_works":["https://openalex.org/W2592399342","https://openalex.org/W794225219","https://openalex.org/W2898425611","https://openalex.org/W2350068048","https://openalex.org/W2347363247","https://openalex.org/W2047524021","https://openalex.org/W2313419847","https://openalex.org/W2071986313","https://openalex.org/W2034589735","https://openalex.org/W1520778375"],"abstract_inverted_index":{"Software":[0],"cost":[1],"can":[2],"be":[3],"reduced":[4],"if":[5],"more":[6],"software":[7],"defects":[8],"are":[9,84,160],"detected":[10],"earlier":[11],"in":[12,45,107,162],"the":[13,18,38,72,82,88,111,131,154],"development":[14],"phase.":[15],"Motivated":[16],"by":[17,30],"Extended":[19],"Static":[20],"Checking":[21],"(ESC)":[22],"technique,":[23],"many":[24],"programming":[25,48],"errors":[26],"have":[27],"been":[28],"discovered":[29],"ESC":[31,36,108,164,172],"tools.":[32],"In":[33],"a":[34,42,46,117,137],"typical":[35],"procedure,":[37,165],"source":[39],"code":[40],"of":[41,81,99,130,141,156],"program":[43,83,147],"written":[44],"high-level":[47],"language,":[49,63],"e.g.":[50],"Java":[51],"[1]":[52,67],"or":[53,68],"C#,":[54],"Spec#":[55],"[2],":[56],"is":[57,116],"translated":[58,86,123],"into":[59,87],"some":[60],"logical":[61,90,120],"imperative-style":[62],"resp.":[64],"Guarded":[65],"Commands":[66],"BoogiePL":[69],"[2].":[70],"At":[71],"same":[73,89],"time,":[74],"associated":[75],"annotated":[76,100,125],"specifications":[77],"which":[78,159],"state":[79],"constraints":[80],"also":[85,167],"language.":[91],"This":[92,134],"two-fold":[93],"translation":[94],"phase":[95],"induces":[96],"code-interleaving":[97],"phenomenon":[98],"specification":[101,126,145,157],"and":[102,146],"program.":[103,133],"The":[104],"subsequent":[105],"phases":[106],"relies":[109],"on":[110],"interleaving":[112],"codes":[113,122],"while":[114],"there":[115],"possibility":[118],"that":[119],"imperative":[121],"from":[124],"may":[127],"change":[128],"behavior":[129],"original":[132],"paper":[135],"proposes":[136],"formal":[138],"analysis":[139],"approach":[140],"possible":[142],"interaction":[143],"between":[144],"codes.":[148],"It":[149],"does":[150],"not":[151],"only":[152],"show":[153],"range":[155],"categories":[158],"safe":[161],"this":[163],"but":[166],"presents":[168],"cases":[169],"for":[170],"potential":[171],"unsoundness.":[173]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}