1. Detect and Repair Errors for DNN-based Software Tian, Yuchi 2021 Theses Computer scienceArtificial intelligenceNeural networks (Computer science)--Industrial applicationsAutonomous vehiclesComputer software--TestingNeural networks (Computer science)--Mathematical models
2. Effective Randomized Concurrency Testing with Partial Order Methods Yuan, Xinhao 2020 Theses Computer scienceComputer multitaskingComputer software--TestingPartially ordered sets
3. Compiler-assisted Adaptive Software Testing Petsios, Theofilos 2018 Theses Computer scienceCompilers (Computer programs)Computer software--Testing
4. Making Software More Reliable by Uncovering Hidden Dependencies Bell, Jonathan Schaffer 2016 Theses Computer software--DevelopmentComputer software--TestingComputer science