Show simple item record

Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning

dc.contributor.advisorEl Fakih, Khaled
dc.contributor.advisorZualkernan, Imran
dc.contributor.authorKaddoura, Yara
dc.date.accessioned2024-03-12T08:50:22Z
dc.date.available2024-03-12T08:50:22Z
dc.date.issued2023-01
dc.identifier.other35.232-2023.80
dc.identifier.urihttp://hdl.handle.net/11073/25499
dc.descriptionA Master of Science thesis in Computer Engineering by Yara Kaddoura entitled, “Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning”, submitted in January 2023. Thesis advisors are Dr. Khaled El-Fakih and Dr. Imran Zualkernan. Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and AUS Archives Consent Form).en_US
dc.description.sponsorshipCollege of Engineeringen_US
dc.description.sponsorshipDepartment of Computer Science and Engineeringen_US
dc.language.isoen_USen_US
dc.relation.ispartofseriesMaster of Science in Computer Engineering (MSCoE)en_US
dc.subjectIntrusion detection systems in IoTen_US
dc.subjectMutation testingen_US
dc.subjectFormal modellingen_US
dc.subjectDeep Learningen_US
dc.titleFault Classification Using Formal Modeling and Mutation Testing with Deep Learningen_US
dc.typeThesisen_US


Files in this item

Thumbnail
Name:
35.232-2023.80a Yara Kaddoura.pdf
Size:
2.582Mb
Format:
PDF
View/ Open

This item appears in the following Collection(s)

Show simple item record