Toggle navigation
Xiaoran Blog
Home
About
Tags
Tags
keep hungry keep foolish
生活
网络
数据库
软件测试
读paper笔记
软件工程
读书笔记
编译器
硬件驱动
数据挖掘
算法
运维
软件开发
历史
生活
Hello 2018
"Hello World "
网络
web背景知识
互联网的底层协议
I/O模型
阻塞、非阻塞、I/O复用、信号驱动、异步
数据库
SQL笔记
上学期database课的笔记
软件测试
iDiscovery
Feedback-Driven Dynamic Invariant Discovery
DySy
Dynamic Symbolic Execution
JPF安装
Java Pathfinder on Ubuntu 16.04
DscvSpec
Discovering Likely Method Specifications
单元测试+JUnit
基础的背景知识
CUTE
Concolic Unit Testing Engine
DART
Directed Automated Random Testing
GSE
Generalized Symbolic Execution
Daikon安装
Install on Ubuntu 16.04
Daikon 2001 paper
程序不变量推断工具
Software Testing
软件测试领域 近些年的学术发展
读paper笔记
敏捷开发与传统开发
传统企业如何使用 Agile Development?
iDiscovery
Feedback-Driven Dynamic Invariant Discovery
DySy
Dynamic Symbolic Execution
DscvSpec
Discovering Likely Method Specifications
CUTE
Concolic Unit Testing Engine
DART
Directed Automated Random Testing
GSE
Generalized Symbolic Execution
Daikon 2001 paper
程序不变量推断工具
Software Testing
软件测试领域 近些年的学术发展
软件工程
软工读书笔记(3)
Chap 12-17:软件设计
Code Review
代码走查
敏捷开发与传统开发
传统企业如何使用 Agile Development?
软工读书笔记(2)
Chap 7-10:软件需求
软工读书笔记(1)
Chap 3-6:软件过程
软工读书笔记(0)
Chap 1-2:软件工程介绍
读书笔记
西周史
杨宽《西周史》
DDIA读书笔记
系统设计
web背景知识
互联网的底层协议
软工读书笔记(3)
Chap 12-17:软件设计
软工读书笔记(2)
Chap 7-10:软件需求
软工读书笔记(1)
Chap 3-6:软件过程
软工读书笔记(0)
Chap 1-2:软件工程介绍
编译器
内存垃圾回收
Java
object 的底层实现
OOP 语言的底层数据结构
硬件驱动
NVIDIA GPU driver
在 Ubuntu 16.04 上安装英伟达驱动
数据挖掘
MapReduce
Hadoop 的算法
Elasticsearch
弹性搜索
数据库索引
聚集索引,非聚集索引,反向索引
TF-IDF
资讯检索与资讯勘探
算法
树状数组
Binary Indexed Tree
运维
负载均衡Java实现
load balancing
负载均衡原理
load balancing
分布式基础知识
distributed system
软件开发
回调函数与匿名类
callback
web背景知识
互联网的底层协议
历史
西周史
杨宽《西周史》