Logo des Repositoriums

Auflistung nach Autor:in "Podelski, Andreas"

1 - 3 von 3
  • Zeitschriftenartikel
    Automatische Validierung von Anforderungen
    (Softwaretechnik-Trends Band 31, Heft 1, 2011) Post, Amalinda; Podelski, Andreas
  • Konferenzbeitrag
    Shape-based barrier estimation for RNAs
    (German Conference on Bioinformatics 2010, 2010) Bogomolov, Sergiy; Mann, Martin; Voß, Björn; Podelski, Andreas; Backofen, Rolf
    The ability of some RNA molecules to switch between different metastable conformations plays an important role in cellular processes. In order to identify such molecules and to predict their conformational changes one has to investigate the refolding pathways. As a qualitative measure of these transitions, the barrier height marks the energy peak along such refolding paths. We introduce a meta-heuristic to estimate such barriers, which is an NP-complete problem. To guide an arbitrary path heuristic, the method uses RNA shape representative structures as intermediate checkpoints for detours. This enables a broad but efficient search for refolding pathways. The resulting Shape Triples meta-heuristic enables a close to optimal estimation of the barrier height that outperforms the precision of the employed path heuristic.
  • Konferenzbeitrag
    System testing and program verification
    (Software-engineering and management 2015, 2015) Arlt, Stephan; Arenis, Sergio Feo; Podelski, Andreas; Wehrle, Martin
    The effectiveness of black-box system testing can be increased by automatic program verification techniques. For example, the redundancy of a test case can be detected by static analysis; the analysis must be applied to a program in the `whitebox' layer of the system under test (e.g., in the setting of GUI testing, to the program which defines the event handlers). We will investigate the question of how automatic program verification techniques can be used to reduce the cost of testing and at the same time provide a guarantee for test coverage.