{"id":"https://openalex.org/W4407951908","doi":"https://doi.org/10.1109/fie61694.2024.10893333","title":"Use of Generative Artificial Intelligence in the Education of Software Verification and Validation","display_name":"Use of Generative Artificial Intelligence in the Education of Software Verification and Validation","publication_year":2024,"publication_date":"2024-10-13","ids":{"openalex":"https://openalex.org/W4407951908","doi":"https://doi.org/10.1109/fie61694.2024.10893333"},"language":"en","primary_location":{"id":"doi:10.1109/fie61694.2024.10893333","doi":"https://doi.org/10.1109/fie61694.2024.10893333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie61694.2024.10893333","pdf_url":null,"source":{"id":"https://openalex.org/S4363607793","display_name":"2022 IEEE Frontiers in Education Conference (FIE)","issn_l":"0190-5848","issn":["0190-5848","2377-634X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Frontiers in Education Conference (FIE)","raw_type":"proceedings-article"},"volume":null,"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/A5045360008","display_name":"Ay\u00e7a T\u00fczmen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ayca Tuzmen","raw_affiliation_strings":["Ira A. Fulton Schools of Engineering, Arizona State University,Tempe,Arizona"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ira A. Fulton Schools of Engineering, Arizona State University,Tempe,Arizona","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045360008"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.8019,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7646852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.4961000084877014,"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/T14414","display_name":"Artificial Intelligence in Education","score":0.4961000084877014,"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/T10533","display_name":"Teaching and Learning Programming","score":0.38179999589920044,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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.04659999907016754,"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/generative-ai","display_name":"generative AI","score":0.8970000147819519},{"id":"https://openalex.org/keywords/software-verification-and-validation","display_name":"software verification and validation","score":0.9769999980926514},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.7639999985694885},{"id":"https://openalex.org/keywords/unit-testing","display_name":"unit testing","score":0.9570000171661377},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.9300000071525574},{"id":"https://openalex.org/keywords/software-quality-assurance","display_name":"software quality assurance","score":0.9039999842643738},{"id":"https://openalex.org/keywords/ai-assisted-learning","display_name":"AI-assisted learning","score":0.5929999947547913},{"id":"https://openalex.org/keywords/human-ai-collaboration","display_name":"human-AI collaboration","score":0.7160000205039978},{"id":"https://openalex.org/keywords/corner-cases","display_name":"corner cases","score":0.5690000057220459}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6832859516143799},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.5582124590873718},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5183919072151184},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.48559755086898804},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4847649931907654},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4631136953830719},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.4474749267101288},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.39124488830566406},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38168489933013916},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.219181090593338},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.19389382004737854},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15838336944580078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14352771639823914},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fie61694.2024.10893333","doi":"https://doi.org/10.1109/fie61694.2024.10893333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie61694.2024.10893333","pdf_url":null,"source":{"id":"https://openalex.org/S4363607793","display_name":"2022 IEEE Frontiers in Education Conference (FIE)","issn_l":"0190-5848","issn":["0190-5848","2377-634X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Frontiers in Education Conference (FIE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality education","score":0.975600004196167}],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1789624439","https://openalex.org/W2985411978","https://openalex.org/W4220891756","https://openalex.org/W4294975778","https://openalex.org/W4360793310","https://openalex.org/W4360980141","https://openalex.org/W4366783381","https://openalex.org/W4383312437","https://openalex.org/W4385455730","https://openalex.org/W4385733584","https://openalex.org/W4392447866","https://openalex.org/W4407761542"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2392362176","https://openalex.org/W2343496192","https://openalex.org/W2149330497","https://openalex.org/W377532801","https://openalex.org/W1519652642","https://openalex.org/W2505129019","https://openalex.org/W3027371154","https://openalex.org/W4250616538","https://openalex.org/W4244794002"],"abstract_inverted_index":{"Since":[0],"the":[1,19,42,62,115,121,129,149,154,168,171,177,181,188,194,205,218,229,238,267,298,304,319,350],"introduction":[2],"of":[3,37,68,78,88,92,118,123,131,148,151,156,170,180,191,198,207,220,242,250,297,306,344,347,353],"generative":[4],"artificial":[5],"intelligence":[6],"(GenAI),":[7],"education":[8,76],"in":[9,53,71,110,153,217,253,290,292,308,314,339],"computer":[10],"science":[11],"has":[12],"prompted":[13],"efforts":[14],"to":[15,33,44,98,101,138,166,210,265,302,327,349],"incorporate":[16],"it":[17,261],"into":[18,30,47,228,237],"educational":[20,63,230],"curriculum.":[21],"This":[22,183,323],"innovative":[23],"practice":[24],"full":[25],"paper":[26,60,112,127,258],"presents":[27,61],"a":[28,48,85,248,341],"study":[29,108],"using":[31],"GenAI":[32,46,119,135,152,192,227,272,281,307],"enhance":[34,328],"student":[35],"learning":[36,252],"software":[38,50,93,221,254,274,354],"engineering.":[39],"It":[40],"outlines":[41],"initiatives":[43],"introduce":[45,99],"graduate-level":[49],"engineering":[51],"course":[52,80],"Software":[54],"Verification":[55],"and":[56,66,90,96,196,215,223,240],"Validation":[57],"(SV&V).":[58],"The":[59,74,107,126,145,202,257,295],"goals,":[64],"methodologies":[65,216],"findings":[67,130,203],"these":[69],"endeavors":[70],"this":[72,79,111,243],"course.":[73],"primary":[75],"goal":[77],"is":[81,262,337],"that":[82,260],"students":[83,100,209,232,299,326],"have":[84],"solid":[86],"understanding":[87],"principles":[89],"practices":[91],"quality":[94,255],"assurance":[95],"seek":[97],"diverse":[102],"techniques":[103],"employed":[104],"for":[105,142,159,175,273,318],"SV&V.":[106],"presented":[109],"centers":[113],"on":[114,187,193],"practical":[116],"application":[117],"within":[120],"domain":[122],"testing":[124,140,200],"strategies.":[125],"introduces":[128],"an":[132,160],"exercise":[133,146,324],"where":[134],"was":[136],"used":[137],"apply":[139],"strategies":[141],"unit":[143,157,172,199,293],"testing.":[144,294],"consisted":[147],"use":[150,266],"development":[155],"tests":[158,173],"algorithm.":[161,182],"Rigorous":[162],"assessments":[163],"were":[164,300],"conducted":[165],"gauge":[167],"effectiveness":[169],"developed":[174,270],"validating":[176],"accurate":[178],"implementation":[179],"exploration":[184],"shed":[185],"light":[186],"tangible":[189],"impact":[190],"precision":[195],"efficiency":[197],"procedures.":[201],"underscore":[204],"significance":[206],"encouraging":[208],"actively":[211],"explore":[212],"emerging":[213],"trends":[214],"realm":[219],"verification":[222],"validation.":[224],"By":[225],"incorporating":[226],"framework,":[231],"not":[233,263,283],"only":[234],"gain":[235],"insights":[236],"capabilities":[239],"limitations":[241],"technology":[244],"but":[245,310],"also":[246],"foster":[247],"mindset":[249],"continuous":[251],"assurance.":[256],"demonstrates":[259],"sufficient":[264],"test":[268,277,316],"cases":[269,278,286,317],"by":[271,280],"validation":[275],"since":[276],"recommended":[279],"do":[282],"cover":[284],"corner":[285],"which":[287,336],"causes":[288],"gaps":[289],"coverage":[291],"majority":[296],"able":[301],"understand":[303],"limitation":[305],"SV&V":[309],"appreciated":[311],"its":[312],"support":[313],"suggesting":[315],"most":[320],"common":[321],"cases.":[322],"allowed":[325],"their":[329],"creative":[330],"problem-solving":[331],"through":[332],"human-guided":[333],"AI":[334],"partnership":[335],"pivotal":[338],"cultivating":[340],"new":[342],"generation":[343],"professionals":[345],"capable":[346],"contributing":[348],"ongoing":[351],"evolution":[352],"quality.":[355]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-10-06T10:28:23.643775","created_date":"2025-10-10T00:00:00"}