{"id":"https://openalex.org/W2804125737","doi":"https://doi.org/10.1109/access.2018.2836342","title":"Verification of Program by Inspecting Internal Relations Relying on User Requirements","display_name":"Verification of Program by Inspecting Internal Relations Relying on User Requirements","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2804125737","doi":"https://doi.org/10.1109/access.2018.2836342","mag":"2804125737"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2836342","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2836342","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2836342","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101800006","display_name":"Yuzhou Liu","orcid":"https://orcid.org/0000-0003-2765-4074"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuzhou Liu","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107410499","display_name":"Lei Liu","orcid":"https://orcid.org/0000-0003-3724-0596"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Liu","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068911596","display_name":"Huaxiao Liu","orcid":"https://orcid.org/0000-0002-8151-1413"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huaxiao Liu","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025568264","display_name":"Hongji Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hongji Yang","raw_affiliation_strings":["Department of Informatics, Leicester University, Leicester, U.K"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Leicester University, Leicester, U.K","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101800006"],"corresponding_institution_ids":["https://openalex.org/I194450716"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05501596,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"30737","last_page":"30757"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991000294685364,"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.9991000294685364,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"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/computer-science","display_name":"Computer science","score":0.8182625770568848},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5393111705780029},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4851416051387787},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4391217529773712},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.43813666701316833},{"id":"https://openalex.org/keywords/user-requirements-document","display_name":"User requirements document","score":0.4186393618583679},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41841191053390503},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41765671968460083},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4175170660018921},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40401458740234375},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3820858597755432},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3199840486049652},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28814950585365295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8182625770568848},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5393111705780029},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4851416051387787},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4391217529773712},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.43813666701316833},{"id":"https://openalex.org/C143267671","wikidata":"https://www.wikidata.org/wiki/Q7901856","display_name":"User requirements document","level":2,"score":0.4186393618583679},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41841191053390503},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41765671968460083},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4175170660018921},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40401458740234375},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3820858597755432},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3199840486049652},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28814950585365295},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2018.2836342","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2836342","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a5b34e5a4aa849ceb73091073d125280","is_oa":true,"landing_page_url":"https://doaj.org/article/a5b34e5a4aa849ceb73091073d125280","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 30737-30757 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2836342","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2836342","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1220216664","display_name":null,"funder_award_id":"2017YFB1003103","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W70032344","https://openalex.org/W170959631","https://openalex.org/W1537355613","https://openalex.org/W1540515952","https://openalex.org/W1549146503","https://openalex.org/W1641829348","https://openalex.org/W1653494080","https://openalex.org/W1829993443","https://openalex.org/W1889756448","https://openalex.org/W1969659770","https://openalex.org/W1972085995","https://openalex.org/W1979247714","https://openalex.org/W1981129239","https://openalex.org/W1988543732","https://openalex.org/W1994843883","https://openalex.org/W1995128353","https://openalex.org/W2020209480","https://openalex.org/W2023035194","https://openalex.org/W2024768789","https://openalex.org/W2026575038","https://openalex.org/W2029825845","https://openalex.org/W2030879196","https://openalex.org/W2050033680","https://openalex.org/W2062543991","https://openalex.org/W2069520832","https://openalex.org/W2078162013","https://openalex.org/W2095853321","https://openalex.org/W2097857136","https://openalex.org/W2104415344","https://openalex.org/W2112172944","https://openalex.org/W2134969296","https://openalex.org/W2150189917","https://openalex.org/W2163130130","https://openalex.org/W2163347957","https://openalex.org/W2240822658","https://openalex.org/W2261809236","https://openalex.org/W2287304610","https://openalex.org/W2333204801","https://openalex.org/W2767819494","https://openalex.org/W3019119050","https://openalex.org/W4230236249","https://openalex.org/W4233503810","https://openalex.org/W4234727328","https://openalex.org/W4248646522","https://openalex.org/W4292017045","https://openalex.org/W6631969072","https://openalex.org/W6632872250","https://openalex.org/W6674443708","https://openalex.org/W6690344359","https://openalex.org/W6696063842","https://openalex.org/W6734901286"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2343496192","https://openalex.org/W4307177191","https://openalex.org/W3171879404","https://openalex.org/W2487050754","https://openalex.org/W2291120548","https://openalex.org/W1693422805","https://openalex.org/W3084925267","https://openalex.org/W1497560829","https://openalex.org/W163452052"],"abstract_inverted_index":{"Software":[0],"verification":[1,18,96,161,171,175],"can":[2,25,105,177,191],"ensure":[3],"the":[4,9,23,31,45,49,53,57,59,62,80,103,107,111,140,151,168,174,183,186,188,197],"software":[5,17,24],"quality":[6],"by":[7,47,66,75],"inspecting":[8,48],"properties":[10],"of":[11,83,95,119,125,128,160,170,199],"program.":[12],"A":[13],"key":[14],"issue":[15],"for":[16,109],"is":[19,98,148,164],"to":[20,43,100,138,143,153,166,194],"check":[21],"whether":[22,102],"meet":[26],"user":[27,54],"requirements":[28,32,63,184,200],"especially":[29],"when":[30],"change":[33,198],"frequently.":[34],"To":[35],"tackle":[36],"this":[37,120],"problem,":[38],"we":[39],"propose":[40],"an":[41],"approach":[42,190],"verify":[44],"program":[46,84,104,129],"internal":[50,81,126],"relations":[51,82,127],"with":[52,113,196],"requirements.":[55],"In":[56],"approach,":[58],"constraints":[60,108],"in":[61,71,185],"are":[64,85,130,136],"represented":[65],"a":[67,93,144],"concern-based":[68],"model":[69],"defined":[70,99,131],"our":[72],"previous":[73],"work":[74],"Liu":[76],"et":[77],"al.":[78],"and":[79,132,156],"extracted":[86],"based":[87,181],"on":[88,182],"static":[89],"analysis":[90],"methods;":[91],"then,":[92],"framework":[94,163],"system":[97,162],"inspect":[101],"satisfy":[106],"discovering":[110],"errors":[112],"their":[114,133],"locations.":[115],"The":[116],"main":[117],"contribution":[118],"paper":[121],"includes:":[122],"1)":[123],"kinds":[124],"calculation":[134],"methods":[135],"given":[137,165],"transform":[139],"source":[141],"codes":[142],"formalized":[145],"model,":[146],"which":[147],"taken":[149],"as":[150],"object":[152],"be":[154,178],"verified":[155],"2)":[157],"formal":[158],"description":[159],"support":[167],"automation":[169],"process.":[172],"Since":[173],"tasks":[176],"set":[179],"freely":[180],"system,":[187],"proposed":[189],"help":[192],"developers":[193],"cope":[195],"better.":[201]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}