kirancodes.me
To Proof Maintenance & Beyond!

SMutant: a tool for type-sensitive mutation testing in a dynamic language

Milos Gligoric, Sandro Badame, Ralph Johnson

Abstract

A mutation testing tool takes as input a system under test and a test suite and produces as output the mutation score of the test suite. The tool systematically creates mutants by making small syntactic changes to the system under test and executes the test suite to determine which mutants give different results from the original system. Almost all mutation testing tools have been developed for statically typed languages. The lack of tools for dynamically typed languages may be rooted in additional challenges that are caused by the lack of precise type information until the program is executed. Existing tools for dynamically typed languages mostly focus on mutation of literals because the type of literals are known statically.

BibTeX
@inproceedings{Gligoric-al:FSE11,
  author    = {Milos Gligoric and
               Sandro Badame and
               Ralph Johnson},
  title     = {{SMutant:} a tool for type-sensitive mutation testing in a dynamic language},
  booktitle = {FSE},
  pages     = {424--427},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers