@TechReport{Franke15,
  author      = "Dominik Franke",
  title       = "Testing Life Cycle-related Properties of Mobile Applications",
  institution = "RWTH Aachen",
  keywords    = "testing, mobile, software quality",
  year        = "2015",
  number      = "AIB-2015-02",
  month       = may,
  url         = "http://aib.informatik.rwth-aachen.de/2015/2015-02.ps.gz"
}