summary

# Introduction and Contents

To summarize my understanding of current researches on symbolic execution after reading some significantly formal publications.

*  Symbolic Execution

*  Current Development

*  Tools

*  Future Works

*  Conclusion

*  Reference

## Symbolic Execution

Symbolic execution was proposed by [JK] three decades before, ...

## Current Development

### Traditional symbolic execution

### Concolic execution

### Compared with dynamic analysis

### Compared with testing techniques

## Tools

### KLEE

### DART

### PEX 

## Future Works

### Path explosion

Reduce path by removing infeasible paths

Guided/Driven path exploration (Heuristic techniques)

### Constraint solving

Optimize constriant solver

Incremental solving

## Conclusion

## Reference 

 No newline at end of file