Skip to content

Maples Wiki

0. Preparation

Initializing search

HOME
CSTAR
学习笔记
后端学习
课程笔记
日报记录
生活拾遗
草稿箱

Maples Wiki

HOME
CSTAR
CSTAR
- Kotlin测试生成
  Kotlin测试生成
  - 调研报告
    调研报告
    
    静态分析工具
    
    Kotlin测试生成调研
  - 问题反馈跟踪
    问题反馈跟踪
    
    KotSuite 问题反馈跟踪 v1.0.1 (4.19)
    
    KotSuite 问题反馈跟踪 5.19
    
    KotSuite 问题反馈跟踪 6.19
  - 进度同步
    进度同步
    
    进度同步 20230512
    
    进度同步 20230519
    
    进度同步 20231013
  - 开发记录
    开发记录
    
    记录
    
    Ideas
    
    Record 202303
    
    Record 202304
    
    Record 202305
    
    Record 202306
    
    Record 202307
    
    Record 202309
    
    Record 202310
    
    Record 202311
    
    Record 202312
  - 技术文档
  - 系分文档
- 会议记录
  会议记录
- 组会记录
  组会记录
- 本科毕设-TestSuite
  本科毕设-TestSuite
  - 毕设论文修改
  - 答辩稿
  - 答辩修改意见
  - 架构图
  - 进度记录
  - 实验部分
  - Sketch
  - Evolutionary Algorithm
    Evolutionary Algorithm
    
    Evolutionary Algorithm
    
    NSGA-Ⅲ
  - JDart
    JDart
    
    JDart 环境搭建
  - Symbolic Execution
    Symbolic Execution
    
    Symbolic Execution 学习笔记
  - 本科毕设图表
    本科毕设图表
    
    系统架构图
    
    系统架构图1
    
    系统流程图
    
    执行树
    
    NSGA-II 算法流程图
    
    PPT 系统模块流程图
    
    PPT 选题背景与意义
- EvoSuite
  EvoSuite
- Diff Algorithm
  Diff Algorithm
- Paper Review
  Paper Review
  - How to Review a Paper
    How to Review a Paper
    
    [Read] How to Review a Journal Article
    
    [Read] HOW TO REVIEW A PAPER
    
    [Read] How to Review a Technical Paper
  - [2021.12.25] TauPad: Test Data Augmentation of Point Clouds by Adversarial Mutation
- Paper Reading
  Paper Reading
  - Software Engineer
    Software Engineer
    
    Fault Localization
    Fault Localization
    
    Fault Localization via Efficient Probabilistic Modeling of Program Semantics
  - Paper Reading List
- Study Notes
  Study Notes
- 其它
  其它
  - OPPO 论文解读
  - 论文解读221005
- 研讨会
  研讨会
  - [2021.12.15] 华为-爱丁堡联合实验室 2021 年度 Workshop — 编程语言专场
  - [2021.12.23] CS 体系结构方向科研文章写作
- 学习路线
- 🔥 Ideas
学习笔记
学习笔记
- 拾遗
  拾遗
  - Translating Java to Kotlin at Scale
- Soot
  Soot
- Android
  Android
  - Activity
  - Android
- 前端学习
  前端学习
- 其它
  其它
- 如何做学术
- 学习路线
- 22年春招
- 🌟 New Things
后端学习
后端学习
- GO
  GO
  - GO NOTE
- JAVA
  JAVA
  - JAVA NOTE
- SOFABoot
  SOFABoot
  - SOFABoot
- HTTP 框架
- 打开抖音会发生什么
- Go 框架三件套详解
- 消息队列
课程笔记
课程笔记
- Computational Intelligence
- Logic in Computer Science
  Logic in Computer Science
- Software Testing and Reliability
- Static Program Analysis
  Static Program Analysis
  - 0. Preparation 0. Preparation
    Table of contents
    
    Links
  - 1. Course Introduction
  - 2. Intermediate Representation
  - 3. Data Flow Analysis - Applications
  - 4. Data Flow Analysis - Foundation
- 计算机网络
  计算机网络
  - Computer Networking: A Top-Down Approach
  - CS144 Lab
    CS144 Lab
    
    Preparation
    
    Related Links
    
    调试方法论
    
    Lab Checkpoint 0: networking warmup
    
    Lab Checkpoint 1: stitching substrings into a byte stream
- 软件质量保障与测试
  软件质量保障与测试
  - 1. 测试概论
- MIT 6.824
  MIT 6.824
  - 1. Overview
- 课程学习
日报记录
日报记录
- 每日安排
- 2021
  2021
- 2022
  2022
  - 📅 02月日程表
  - 📅 暑假日程表
生活拾遗
生活拾遗
- 寂静之城
  寂静之城
- 🎦 Movie & Book
- 英文邮件模板
草稿箱
草稿箱
- HCI
  HCI
- 预推免
  预推免
  - 预推免填报
  - WHU 预推免
- 2022.03.07 党会
- 辩论技巧（误）
- 动物园守则
- AST 转 CFG
- Hugo Widgets
- JPF Core 架构图
- Kotlin 测试生成技术文档修改
- Self Introduction

Table of contents

Links

0. Preparation

Links¶

课程官网
Static Program Analysis Book
课程视频
补充材料 (CS 6340)
1. CS 6340: Software Analysis

Copyright © 2022 - 2025 Feng Yang

Made with Material for MkDocs