@phdthesis{Ricken2011,
  title = {A Framework for Testing Concurrent Programs},
  author = {Mathias Ricken},
  year = {2011},
  month = {April},
  tags = {control systems, optimization, rule-based, Java, synchronization, operating system, meta programming, model checking, meta-model, testing, model-driven development, debugging, random testing, compiler, programming, program optimization, Meta-Environment, process modeling, systematic-approach},
  researchr = {https://researchr.org/publication/Ricken2011},
  cites = {0},
  citedby = {0},
  school = {Rice University},
}