Academic Notes

[ISER] [FM] Scalable multiline program patch synthesis via symbolic analysis

Posted on 2020-07-25 Edited on 2021-04-12 In paper

Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. Angelix: Scalable multiline program patch synthesis via symbolic analysis. ICSE'16

[ISER] [FM] KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

Posted on 2020-07-25 Edited on 2021-04-12 In paper

Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI'08

由pipeline和重定向引发的血案

Posted on 2020-07-20 Edited on 2021-04-12 In os , os lecture

一个有趣的并发问题

[ISER] [FM] Model Checking for Programming Languages using VeriSoft

Posted on 2020-07-19 Edited on 2021-04-12 In paper

Patrice Godefroid. Model checking for programming languages using VeriSoft. POPL'97

[ISER] [FM] Symbolic execution and program testing

Posted on 2020-07-17 Edited on 2021-04-12 In paper

James C. King. Symbolic execution and program testing, 1976

[课堂笔记] 操作系统

Posted on 2020-07-05 Edited on 2021-04-12 In os , os lecture

操作系统课堂笔记

Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts

Posted on 2020-07-05 Edited on 2021-04-12 In paper

Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts

JVM习题

Posted on 2020-07-03 Edited on 2021-04-12 In jvm

绝密档案

GUI-report

Posted on 2020-07-02 Edited on 2021-04-12 In report

CCF软件前沿进展线上报告会—“看清”和“看懂”Graphical User Interface的那些事

mobileperf

Posted on 2020-06-30 Edited on 2021-04-12 In code

a android profiler from alibaba