CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems

@inproceedings{Kim2017CABFuzzPC,
  title={CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems},
  author={Su Yong Kim and Sangho Lee and Insu Yun and Wen Xu and Byoungyoung Lee and Youngtae Yun and Taesoo Kim},
  booktitle={USENIX Annual Technical Conference},
  year={2017}
}
Discovering the security vulnerabilities of commercial off-the-shelf (COTS) operating systems (OSes) is challenging because they not only are huge and complex, but also lack detailed debug information. Concolic testing, which generates all feasible inputs of a program by using symbolic execution and tests the program with the generated inputs, is one of the most promising approaches to solve this problem. Unfortunately, the state-of-the-art concolic testing tools do not scale well for testing… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 59 references

Similar Papers

Loading similar papers…