Elke Salecker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2012
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICST | Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. | Elke Salecker, Sabine Glesner |
| 2012 | SAFECOMP | Reviewing Software Models in Compliance with ISO 26262. | Ingo Strmer, Elke Salecker, Hartmut Pohlheim |
| 2011 | ICST | Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. | Elke Salecker, Robert Reicherdt, Sabine Glesner |
| 2007 | FMICS | Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. | Lars Gesellensetter, Sabine Glesner, Elke Salecker |