Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning
A 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...
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/25499 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513432971116544 |
|---|---|
| author | Kaddoura, Yara |
| author_facet | Kaddoura, Yara |
| author_role | author |
| dc.contributor.none.fl_str_mv | El Fakih, Khaled Zualkernan, Imran |
| dc.creator.none.fl_str_mv | Kaddoura, Yara |
| dc.date.none.fl_str_mv | 2023-01 2024-03-12T08:50:22Z 2024-03-12T08:50:22Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | 35.232-2023.80 http://hdl.handle.net/11073/25499 |
| dc.language.none.fl_str_mv | en_US |
| dc.subject.none.fl_str_mv | Intrusion detection systems in IoT Mutation testing Formal modelling Deep Learning |
| dc.title.none.fl_str_mv | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis |
| description | A 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). |
| format | doctoralThesis |
| id | aus_798f9b38bdfa2103f5bf2441787a79c6 |
| identifier_str_mv | 35.232-2023.80 |
| language_invalid_str_mv | en_US |
| network_acronym_str | aus |
| network_name_str | aus |
| oai_identifier_str | oai:repository.aus.edu:11073/25499 |
| publishDate | 2023 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Fault Classification Using Formal Modeling and Mutation Testing with Deep LearningKaddoura, YaraIntrusion detection systems in IoTMutation testingFormal modellingDeep LearningA 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).College of EngineeringDepartment of Computer Science and EngineeringMaster of Science in Computer Engineering (MSCoE)El Fakih, KhaledZualkernan, Imran2024-03-12T08:50:22Z2024-03-12T08:50:22Z2023-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf35.232-2023.80http://hdl.handle.net/11073/25499en_USoai:repository.aus.edu:11073/254992025-06-26T12:24:05Z |
| spellingShingle | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning Kaddoura, Yara Intrusion detection systems in IoT Mutation testing Formal modelling Deep Learning |
| status_str | publishedVersion |
| title | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| title_full | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| title_fullStr | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| title_full_unstemmed | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| title_short | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| title_sort | Fault Classification Using Formal Modeling and Mutation Testing with Deep Learning |
| topic | Intrusion detection systems in IoT Mutation testing Formal modelling Deep Learning |
| url | http://hdl.handle.net/11073/25499 |