@inproceedings{andjelkovic-jpf11,
  author    = {I. Andjelkovic and C. Artho},
  title     = {Trace Server: A Tool for Storing, Querying and Analyzing Execution Traces},
  booktitle = {Proc.\ {JPF} Workshop 2011},
  year      = {2011},
  address   = {Lawrence, USA},
}