Validating system properties exhibited in execution traces

Abstract

Execution traces produced by software systems during their operation can capture important runtime information, and thus are valuable sources for validating software functional properties. Automating the validation of such properties is currently achieved by writing test scripts, where most of the effort focuses on programming operations rather than specifying properties clearly. Improving this practice calls for domain-specific languages that can capture properties exhibited in traces at a higher abstract level.

BibTeX

@inproceedings{Chang-Ren:ASE07,
  author    = {Fangzhe Chang and
               Jennifer Ren},
  title     = {Validating system properties exhibited in execution traces},
  booktitle = {ASE},
  pages     = {517--520},
  publisher = {{ACM}},
  year      = {2007},
}

Validating system properties exhibited in execution traces

Abstract

Related papers