Progress of Software Vulnerability Identification and Automatic Test Cases Generation

With the development of computers and computer networks, software security is getting more and more attention. And in recent years, techniques of software vulnerability identification and automatic test cases generation get great progress. Based on advanced technologies, such as taint analysis and symbolic execution, there're lots of projects which play important roles in the practice of automatic test cases generation. This paper introduces the key technologies of them firstly. Then we introduce some relate competitions, current research programs and their corresponding tools which can generate test cases automatically.