{"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie61694.2024.10893333","pdf_url":null,"source":null,"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"},"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/A5045360008","display_name":"Ay\u00e7a T\u00fczmen","orcid":null},"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"],"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.8592,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.83802294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"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/T13482","display_name":"Engineering Education and Technology","score":0.8147000074386597,"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/T13482","display_name":"Engineering Education and Technology","score":0.8147000074386597,"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/T14470","display_name":"Advanced Data Processing Techniques","score":0.7781999707221985,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.7336000204086304,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6832859516143799},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.5582124590873718},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5183919072151184},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.48559755086898804},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4847649931907654},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4631136953830719},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.4474749267101288},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.39124488830566406},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38168489933013916},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.219181090593338},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.19389382004737854},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15838336944580078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14352771639823914}],"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fie61694.2024.10893333","pdf_url":null,"source":null,"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":[],"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":2025,"cited_by_count":1}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}