"au:"Myra B. Cohen"" — arXiv2 Search

/ Date/ Name

/ Date/ Name

"au:"Myra B. Cohen"" — arXiv2 Search

Showing 1–8 of 8 results

/ Date/ Name

Aug 27, 2021HyperGI: Automated Detection and Repair of Information Flow Leakage Jul 31, 2020Genetic Improvement @ ICSE 2020 Feb 1, 2025A Taxonomy of Real-World Defeaters in Safety Assurance Cases Oct 18, 2023HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles Feb 4, 2025A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems Jan 14, 2024Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations Jul 18, 2024CoDefeater: Using LLMs To Find Defeaters in Assurance Cases Aug 1, 2024Design and Implementation of ARA Wireless Living Lab for Rural Broadband and Applications