Elke Salecker

According to our database, Elke Salecker authored at least 7 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Test and verification of compiler back ends with a cost-benefit analysis.

Elke Salecker

PhD thesis, 2012

Reviewing Software Models in Compliance with ISO 26262.

Ingo Stürmer, Elke Salecker, Hartmut Pohlheim

Proceedings of the Computer Safety, Reliability, and Security, 2012

Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing.

Elke Salecker, Sabine Glesner

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

MeMo - Methods of Model Quality.

Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.

Elke Salecker, Robert Reicherdt, Sabine Glesner

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Pairwise test set calculation using k-partite graphs.

Elke Salecker, Sabine Glesner

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2007

Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler.

Lars Gesellensetter, Sabine Glesner, Elke Salecker

Proceedings of the Formal Methods for Industrial Critical Systems, 2007