Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. - Lars Gesellensetter; Sabine Glesner; Elke Salecker (FMICS, 2007)

Pairwise test set calculation using k-partite graphs. - Elke Salecker; Sabine Glesner (ICSM, 2010)

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. - Elke Salecker; Robert Reicherdt; Sabine Glesner (ICST Workshops, 2011)

MeMo - Methods of Model Quality. - Wei Hu; Joachim Wegener; Ingo Stürmer; Robert Reicherdt; Elke Salecker; Sabine Glesner (MBEES, 2011)

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. - Elke Salecker; Sabine Glesner (ICST, 2012)

Reviewing Software Models in Compliance with ISO 26262. - Ingo Stürmer; Elke Salecker; Hartmut Pohlheim (SAFECOMP, 2012)

Test and verification of compiler back ends with a cost-benefit analysis. - Elke Salecker (2012)