Maples Wiki
JPF Core 架构图
Initializing search
Maple-pro/wiki
HOME
CSTAR
学习笔记
后端学习
课程笔记
日报记录
生活拾遗
草稿箱
Maples Wiki
Maple-pro/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
技术文档
系分文档
会议记录
会议记录
2021.11.04 会议记录
2021.11.11 会议记录
2021.11.18 会议记录
2021.12.23 会议记录
2022.02.25 会议记录
2022.03.05 会议记录（演化算法）
2022.03.12 会议记录
2022.04.30 会议记录
2022.05.21 会议记录（基于缺陷度实验）
2023.12.22 会议记录（KotSuite 进度）
组会记录
组会记录
2021.11.11 组会（程序分析的基本原理）
2021.11.18 组会（Simple Guidance to Spoon）
2021.12.02 组会（前期调研 & 写作相关）
2021.12.16 组会（前期调研 & 写作相关）
2022.03.19 组会（写作相关）
2022.09.17 组会（写作）
2022.10.08 组会（写作）
2022.12.10 组会（代码生成）
2023.03.18 组会（写作）
2023.04.22 组会（程序自动修复）
本科毕设-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
[Read] (2011) EvoSuite: Automatic Test Suite Generation for Object-Oriented Software
evosuite 代码结构
evosuite 代码研读
Diff Algorithm
Diff Algorithm
[Read] An O(ND) Difference Algorithm and Its Variations
[Read] Fine-grained and Accurate Source Code Differencing
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
[Read] Seven Principles of Software Testing
[Read] Understanding Reproducibility and Characteristics of Flaky Test Through Test Reruns in Java Projects
Maven Notes
Spoon Notes
其它
其它
OPPO 论文解读
论文解读221005
研讨会
研讨会
[2021.12.15] 华为-爱丁堡联合实验室 2021 年度 Workshop — 编程语言专场
[2021.12.23] CS 体系结构方向科研文章写作
学习路线
🔥 Ideas
学习笔记
学习笔记
拾遗
拾遗
Translating Java to Kotlin at Scale
Soot
Soot
Soot
Call Graph Generation
Pack and Phases in Soot
Android
Android
Activity
Android
前端学习
前端学习
短链接生成算法
小程序
javascript 面试问题
JS 中判断一个函数是否为一个类
V8 垃圾回收机制
其它
其它
English Article Sentences
GIT 分支模型进化史
Kotlin
Vim
如何做学术
学习路线
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
0 Preparation
1 Propositional Logic
2 Predicate Logic
3 Verification by Model Checking
Software Testing and Reliability
Static Program Analysis
Static Program Analysis
0. Preparation
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
🎯 10月月报
📅 09月日程表
📅 10月日程表
📅 11月日程表
2022
2022
📅 02月日程表
📅 暑假日程表
生活拾遗
生活拾遗
寂静之城
寂静之城
寂静之城-上
寂静之城-中
寂静之城-下
🎦 Movie & Book
英文邮件模板
草稿箱
草稿箱
HCI
HCI
HCI final project
HCI Homework 2
HCI Results
Heuristic Evaluation
预推免
预推免
预推免填报
WHU 预推免
2022.03.07 党会
辩论技巧（误）
动物园守则
AST 转 CFG
Hugo Widgets
JPF Core 架构图
Kotlin 测试生成技术文档修改
Self Introduction
JPF Core 架构图
Back to top
