kirancodes.me
To Proof Maintenance & Beyond!

Palus: a hybrid automated test generation tool for java

Sai Zhang

Abstract

In object-oriented programs, a unit test often consists of a sequence of method calls that create and mutate objects. It is challenging to automatically generate sequences that are legal and behaviorally-diverse, that is, reaching as many different program states as possible.

BibTeX
@inproceedings{Zhang:ICSE11,
  author    = {Sai Zhang},
  title     = {Palus: a hybrid automated test generation tool for java},
  booktitle = {ICSE},
  pages     = {1182--1184},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers