我的随笔

Proj CMI Paper Reading: Finding and understanding bugs in C compilers

雪溯 2022-07-26 16:31 阅读:37 评论:0 推荐:0

Proj CMI Paper Reading: Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty

雪溯 2022-06-03 14:36 阅读:35 评论:0 推荐:0

Proj CMI Paper Reading: V-Shuttle: Scalable and Semantics-Aware Hypervisor Virtual Device Fuzzing

雪溯 2022-06-03 14:31 阅读:100 评论:0 推荐:0

Proj CMI Paper Reading: Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing

雪溯 2022-06-03 14:24 阅读:28 评论:0 推荐:0

Proj CMI Paper Reading: Training Automated Test Oracles to Identify Semantic Bugs

雪溯 2022-06-03 14:20 阅读:29 评论:0 推荐:0

Proj CMI Paper Reading: The use of man in space

雪溯 2022-06-03 14:16 阅读:22 评论:0 推荐:0

Proj CMI Paper Reading: Time-travel Testing of Android Apps

雪溯 2022-06-03 14:02 阅读:46 评论:0 推荐:0

Proj CMI Paper Reading: The Living Review on Automated Program Repair

雪溯 2022-06-03 13:54 阅读:27 评论:0 推荐:0

Proj CMI Paper Reading: TargetFuzz: Using DARTs to Guide Directed Greybox Fuzzers

雪溯 2022-06-03 13:22 阅读:83 评论:0 推荐:0

Proj CMI Paper Reading: Reinforcement Learning-based Hierarchical Seed Scheduling for Greybox Fuzzing

雪溯 2022-06-03 12:27 阅读:56 评论:0 推荐:0