Elke Salecker

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Testing Process

Top Venues

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Elke Salecker, Sabine Glesner
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. ICST (2012)
Ingo Stürmer, Elke Salecker, Hartmut Pohlheim
Reviewing Software Models in Compliance with ISO 26262. SAFECOMP (2012)
Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner
MeMo - Methods of Model Quality. MBEES (2011)
Elke Salecker, Robert Reicherdt, Sabine Glesner
Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops (2011)
Elke Salecker, Sabine Glesner
Pairwise test set calculation using k-partite graphs. ICSM (2010)
Lars Gesellensetter, Sabine Glesner, Elke Salecker
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS (2007)