{"id":"https://openalex.org/W7045587679","doi":null,"title":"Automated Generation of Test Cases in Safety-Critical Applications Using Language Models","display_name":"Automated Generation of Test Cases in Safety-Critical Applications Using Language Models","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7045587679"},"language":"en","primary_location":{"id":"pmh:oai:DiVA.org:mdh-72383","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72383","pdf_url":"https://mdh.diva-portal.org/smash/get/diva2:1975760/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I86987016","host_organization_name":"KTH Royal Institute of Technology","host_organization_lineage":["https://openalex.org/I86987016"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bachelorThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mdh.diva-portal.org/smash/get/diva2:1975760/FULLTEXT01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Adrian, Mosqueda","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adrian, Mosqueda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Lindholm, Johan","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Lindholm, Johan","raw_affiliation_strings":["M\u00e4lardalen University School of Innovation Design and Engineering V\u00e4ster\u00e5s , Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University School of Innovation Design and Engineering V\u00e4ster\u00e5s , Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8866999745368958,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8866999745368958,"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/T10260","display_name":"Software Engineering Research","score":0.09870000183582306,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.004000000189989805,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automatic-test-generation","display_name":"automated test generation","score":0.8899999856948853},{"id":"https://openalex.org/keywords/safety-critical-software","display_name":"safety-critical software","score":0.902999997138977},{"id":"https://openalex.org/keywords/language-models","display_name":"language models","score":0.8410000205039978},{"id":"https://openalex.org/keywords/test-code-generation","display_name":"test code generation","score":0.7239999771118164},{"id":"https://openalex.org/keywords/knowledge-distillation","display_name":"knowledge distillation","score":0.8610000014305115},{"id":"https://openalex.org/keywords/synthetic-data","display_name":"synthetic data","score":0.5019999742507935},{"id":"https://openalex.org/keywords/fine-tuning","display_name":"fine-tuning","score":0.6959999799728394},{"id":"https://openalex.org/keywords/safety-requirements","display_name":"safety requirements","score":0.7350000143051147},{"id":"https://openalex.org/keywords/small-language-models","display_name":"small language models","score":0.609000027179718},{"id":"https://openalex.org/keywords/copilot","display_name":"Copilot","score":0.4959999918937683}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7821000218391418},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.6600000262260437},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6068999767303467},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.559499979019165},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5318999886512756},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.519599974155426},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.47749999165534973},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4361000061035156},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.39629998803138733},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.3671000003814697},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3628000020980835},{"id":"https://openalex.org/C94922259","wikidata":"https://www.wikidata.org/wiki/Q33215","display_name":"Constructed language","level":2,"score":0.32339999079704285},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3222000002861023},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.29319998621940613},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.2750000059604645},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25619998574256897},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.25429999828338623}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:DiVA.org:mdh-72383","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72383","pdf_url":"https://mdh.diva-portal.org/smash/get/diva2:1975760/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I86987016","host_organization_name":"KTH Royal Institute of Technology","host_organization_lineage":["https://openalex.org/I86987016"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bachelorThesis"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:mdh-72383","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72383","pdf_url":"https://mdh.diva-portal.org/smash/get/diva2:1975760/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I86987016","host_organization_name":"KTH Royal Institute of Technology","host_organization_lineage":["https://openalex.org/I86987016"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bachelorThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7045587679.pdf","grobid_xml":"https://content.openalex.org/works/W7045587679.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W2194321275","https://openalex.org/W2242083635","https://openalex.org/W2783386352","https://openalex.org/W2936695845","https://openalex.org/W3001279689","https://openalex.org/W3030163527","https://openalex.org/W3034942609","https://openalex.org/W3081454995","https://openalex.org/W3168867926","https://openalex.org/W3177813494","https://openalex.org/W3211686893","https://openalex.org/W4224060952","https://openalex.org/W4226112058","https://openalex.org/W4283026156","https://openalex.org/W4286750487","https://openalex.org/W4319653585","https://openalex.org/W4327810158","https://openalex.org/W4376988980","https://openalex.org/W4377866268","https://openalex.org/W4385571944","https://openalex.org/W4385572757","https://openalex.org/W4385573618","https://openalex.org/W4388184238","https://openalex.org/W4391136507","https://openalex.org/W4391262680","https://openalex.org/W4391766565","https://openalex.org/W4392538595","https://openalex.org/W4393138529","https://openalex.org/W4394947057","https://openalex.org/W4401719639","https://openalex.org/W4403048355","https://openalex.org/W4403221502","https://openalex.org/W4405903187","https://openalex.org/W4406983345","https://openalex.org/W4408146288","https://openalex.org/W4411403346","https://openalex.org/W4411630065","https://openalex.org/W4412444947","https://openalex.org/W4414281281","https://openalex.org/W4414320956","https://openalex.org/W4415222863","https://openalex.org/W4415796795","https://openalex.org/W4416296080","https://openalex.org/W7120088840","https://openalex.org/W7125799258","https://openalex.org/W7133233472","https://openalex.org/W7155906632"],"related_works":["https://openalex.org/W4391262680","https://openalex.org/W4388483238","https://openalex.org/W4411087241","https://openalex.org/W4413371072","https://openalex.org/W7171638543","https://openalex.org/W4415067817","https://openalex.org/W4416033298","https://openalex.org/W4388717463","https://openalex.org/W4401720965","https://openalex.org/W4404783393"],"abstract_inverted_index":{"Testing":[0],"is":[1,23,119,129],"a":[2,35,110,184],"vital":[3],"part":[4],"in":[5,64,117,166,198],"software-":[6],"and":[7,60,82,87,152,175,194],"hardware":[8],"development":[9],"to":[10,45,109,113,121,124,145,202],"ensure":[11],"that":[12,157],"requirements":[13],"are":[14,77,88],"met.":[15],"Use":[16],"of":[17,38,131],"language":[18,69,150,160,170,181],"models":[19,41,161,182],"within":[20],"Safety-critical":[21],"testing":[22],"an":[24],"under-studied":[25],"field,":[26],"with":[27,50,90,168],"previous":[28],"work":[29,204],"focusing":[30],"on":[31,72,79,140],"automated":[32],"tools":[33],"requiring":[34],"large":[36,169],"number":[37],"documents,":[39],"whereas":[40],"may":[42],"be":[43],"able":[44],"produce":[46],"the":[47,146,173],"same":[48],"output":[49],"far":[51],"less":[52],"data.":[53,75],"This":[54],"thesis":[55],"covers":[56],"generating":[57,199],"code,":[58],"pseudo-code":[59,127,133,176],"summaries":[61,83,141],"fortest":[62],"cases":[63],"safety-critical":[65],"applications":[66],"using":[67],"small":[68],"models,":[70],"fine-tuned":[71,78,139,159],"task":[73],"specific":[74],"Models":[76,138],"test":[80,174,191,206],"code":[81,93,192,201],"provided":[84],"by":[85,100],"ABB":[86],"tasked":[89],"producing":[91],"newtest":[92],"from":[94,134,136],"requirements.":[95],"Additionally,":[96],"synthetic":[97],"data":[98],"produced":[99],"Claude":[101],"3.7":[102],"Sonnet":[103],"Thinking":[104],"isused":[105],"for":[106,188,205],"knowledge":[107],"distillation":[108],"smaller":[111],"model":[112,123],"generate":[114],"pseudo-code,":[115],"which":[116,128],"turn":[118],"used":[120],"traina":[122],"create":[125],"new":[126],"capable":[130],"outputting":[132],"directly":[135],"safetyrequirements.":[137],"gave":[142],"results":[143,178],"equivalent":[144],"much":[147],"larger":[148],"Copilot":[149],"model,":[151],"at":[153],"times":[154],"better,":[155],"showing":[156],"small,":[158],"can":[162],"perform":[163],"similar,or":[164],"better":[165],"comparison":[167],"models.":[171],"For":[172],"cases,":[177],"point":[179],"tosmall":[180],"being":[183],"promising":[185],"path":[186],"forward":[187],"both":[189],"complete":[190],"generation":[193],"as":[195],"ahelpful":[196],"tool":[197],"pseudo":[200],"speed-up":[203],"developers.":[207]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2025-10-10T00:00:00"}