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: | Kaddoura, Yara (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!
|
Similar Items
-
Assessing test suites of extended finite state machines against model and code based faults
by: El-Fakih, Khaled
Published: (2021) -
Mutation testing of web services. (c2004)
by: Reda M. Siblini
Published: (2004) -
Formal Verification of a Security Protocol in Vehicular Communication
by: Almaazmi, Mohamed Adel
Published: (2025) -
Privacy-Preserving Distributed IDS Using Incremental Learning for IoT Health Systems
by: Aliya Tabassum (16896486)
Published: (2021) -
Edge intelligence for network intrusion prevention in IoT ecosystem
by: Mansura, Habiba
Published: (2023)