Concolic testing with static analysis for JavaScript applications

JavaScript has given a great deal of impacts on the software industry. However, developers test JavaScript applications only with manually constructed test cases, which makes it difficult and time-consuming to obtain reasonable test coverage. Because of the loosely-typed and extremely dynamic features of JavaScript, generating nontrivial test inputs of certain forms only with existing testing algorithms has been challenging. Until recently, available assistance tools for testing JavaScript applications are relatively little compared to static languages such as Java and C#. In this paper, we introduce an automatic test generation tool, which combines concolic testing with static analysis. Using the static analysis results, our tool can generate nontrivial test inputs for JavaScript applications. We implement the tool on top of the SAFE framework using its static analyzer and a concolic test generation approach.