Directed test generation to detect loop inefficiencies

Abstract

Redundant traversal of loops in the context of other loops has been recently identified as a source of performance bugs in many Java libraries. This has resulted in the design of static and dynamic analysis techniques to detect these performance bugs automatically. However, while the effectiveness of dynamic analyses is dependent on the analyzed input tests, static analyses are less effective in automatically validating the presence of these problems, validating the fixes and avoiding regressions in future versions. This necessitates the design of an approach to automatically generate tests for exposing redundant traversal of loops.

BibTeX

@inproceedings{Dhok-Ramanathan:FSE16,
  author    = {Monika Dhok and
               Murali Krishna Ramanathan},
  title     = {Directed test generation to detect loop inefficiencies},
  booktitle = {FSE},
  pages     = {895--907},
  publisher = {{ACM}},
  year      = {2016},
}

Directed test generation to detect loop inefficiencies

Abstract

Related papers