Type-aware concolic testing of JavaScript programs

Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha

Abstract

Conventional concolic testing has been used to provide high coverage of paths in statically typed languages. While it has also been applied in the context of JavaScript (JS) programs, we observe that applying concolic testing to dynamically-typed JS programs involves tackling unique problems to ensure scalability. In particular, a naive type-agnostic extension of concolic testing to JS programs causes generation of large number of inputs. Consequently, many executions operate on undefined values and repeatedly explore same paths resulting in redundant tests, thus diminishing the scalability of testing drastically.

BibTeX

@inproceedings{Dhok-al:ICSE16,
  author    = {Monika Dhok and
               Murali Krishna Ramanathan and
               Nishant Sinha},
  title     = {Type-aware concolic testing of {JavaScript} programs},
  booktitle = {ICSE},
  pages     = {168--179},
  publisher = {{ACM}},
  year      = {2016},
}

Type-aware concolic testing of JavaScript programs

Abstract

Related papers