Showing 1–19 of 19 results
/ Date/ Name
Jun 9, 2025Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language ModelsJun 7, 2021QFuzz: Quantitative Fuzzing for Side ChannelsMay 7, 2024Codexity: Secure AI-assisted Code GenerationNov 16, 2018DifFuzz: Differential Fuzzing for Side-Channel AnalysisOct 9, 2023Software Engineering Educational Experience in Building an Intelligent Tutoring SystemJan 16, 2025Simulated Interactive DebuggingJun 8, 2018Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionAug 30, 2021Trust Enhancement Issues in Program RepairFeb 5, 2018Shadow Symbolic Execution with Java PathFinderFeb 2, 2026Before Autonomy Takes Control: Software Testing in RoboticsJun 3, 2025Exploring Generalizable Automated Program Repair with Large Language ModelsAug 3, 2020Evolutionary Grammar-Based FuzzingNov 4, 2025Risk Estimation in Differential Fuzzing via Extreme Value TheoryFeb 11, 2026Kill it with FIRE: On Leveraging Latent Space Directions for Runtime Backdoor Mitigation in Deep Neural NetworksFeb 27, 2021NEUROSPF: A tool for the Symbolic Analysis of Neural NetworksNov 23, 2022Program RepairMar 23, 2021NNrepair: Constraint-based Repair of Neural Network ClassifiersJan 20, 2022VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for PythonSep 25, 2025Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool