{"id":"https://openalex.org/W2787362079","doi":"https://doi.org/10.1142/s0218194017400162","title":"Formal Approach to Assertion-Based Code Generation","display_name":"Formal Approach to Assertion-Based Code Generation","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2787362079","doi":"https://doi.org/10.1142/s0218194017400162","mag":"2787362079"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194017400162","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194017400162","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-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/A5024387874","display_name":"Pengyi Li","orcid":"https://orcid.org/0000-0003-0092-2710"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Pengyi Li","raw_affiliation_strings":["Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000934031","display_name":"Jing Sun","orcid":"https://orcid.org/0000-0002-1979-6622"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jing Sun","raw_affiliation_strings":["Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011766117","display_name":"Hai Wang","orcid":"https://orcid.org/0000-0002-4192-5363"},"institutions":[{"id":"https://openalex.org/I169199633","display_name":"Aston University","ror":"https://ror.org/05j0ve876","country_code":"GB","type":"education","lineage":["https://openalex.org/I169199633"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hai Wang","raw_affiliation_strings":["School of Engineering and Applied Science, Aston University, Birmingham B4 7ET, UK"],"affiliations":[{"raw_affiliation_string":"School of Engineering and Applied Science, Aston University, Birmingham B4 7ET, UK","institution_ids":["https://openalex.org/I169199633"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024387874"],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.27473621,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"27","issue":"09n10","first_page":"1637","last_page":"1662"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998000264167786,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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.9991000294685364,"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.7597774267196655},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.759212851524353},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7076835036277771},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5857980847358704},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5699105858802795},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4823581576347351},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.47467851638793945},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42323732376098633},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4153367280960083},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4142942726612091},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3930753469467163},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.17359280586242676},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1090993583202362}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7597774267196655},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.759212851524353},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7076835036277771},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5857980847358704},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5699105858802795},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4823581576347351},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.47467851638793945},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42323732376098633},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4153367280960083},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4142942726612091},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3930753469467163},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.17359280586242676},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1090993583202362},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218194017400162","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194017400162","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},{"id":"pmh:oai:researchspace.auckland.ac.nz:2292/43431","is_oa":false,"landing_page_url":"https://hdl.handle.net/2292/43431","pdf_url":null,"source":{"id":"https://openalex.org/S7407055463","display_name":"ResearchSpace (University of Auckland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I154130895","host_organization_name":"University of Auckland","host_organization_lineage":["https://openalex.org/I154130895"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1486448317","https://openalex.org/W1919408037","https://openalex.org/W2052690664","https://openalex.org/W2073544622","https://openalex.org/W2111445678","https://openalex.org/W2121984483","https://openalex.org/W2242483896","https://openalex.org/W4229884746","https://openalex.org/W4232056016","https://openalex.org/W4247047932"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W2035655557","https://openalex.org/W4230849338","https://openalex.org/W1968067090","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W2090313512","https://openalex.org/W2345942070","https://openalex.org/W2016410697","https://openalex.org/W2012220159"],"abstract_inverted_index":{"With":[0,97],"the":[1,11,15,41,45,49,59,66,83,98],"growing":[2],"in":[3,58],"size":[4],"and":[5,71,78,94],"complexity":[6],"of":[7,20,56,68,100],"modern":[8],"computer":[9],"systems,":[10],"need":[12],"for":[13],"improving":[14],"quality":[16],"at":[17,107],"all":[18],"stages":[19],"software":[21,30,61],"development":[22,43],"has":[23,32],"become":[24],"a":[25,53],"critical":[26],"issue.":[27],"The":[28],"current":[29],"production":[31],"been":[33],"largely":[34],"dependent":[35],"on":[36],"manual":[37],"code":[38,70],"development.":[39],"Despite":[40],"slow":[42],"process,":[44],"errors":[46],"introduced":[47],"by":[48],"programmers":[50],"contribute":[51],"to":[52,81,110],"substantial":[54],"portion":[55],"defects":[57],"final":[60],"product.":[62],"This":[63],"paper":[64],"investigates":[65],"synergy":[67],"generating":[69],"assertion":[72],"constraints":[73],"from":[74],"formal":[75,88],"design":[76],"models":[77,89],"use":[79],"them":[80],"verify":[82],"implementation.":[84],"We":[85],"translate":[86],"Z":[87],"into":[90],"their":[91],"OCL":[92],"counterparts":[93],"Java":[95],"assertions.":[96],"help":[99],"existing":[101],"tools,":[102],"we":[103],"demonstrate":[104],"various":[105],"checkings":[106],"different":[108],"levels":[109],"enhance":[111],"correctness.":[112]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}