Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Angela Wallenburg home page
My interests are in software engineering and formal methods, in particular
in ways to combine formal verification and software testing.
I am a member of
the KeY project (in collaboration
with
Karlsruhe University)
and also a member of
the
Formal Methods Group
at the department.
Reiner Hähnle is my Ph.D.
advisor.
Publications
Reiner Hähnle and
Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving,
3rd International Workshop on Formal Approaches to Testing of Software
(FATES'03), LNCS 2931/2004,
pages 30-41,
Montreal, Canada, October 2003. Springer Verlag.
[Abstract]
[PDF]
[PostScript]
[BibTeX]
[FATES 2003 at Springer]
Angela Wallenburg:
Induction Rules for Proving Correctness of Imperative Programs,
Licentiate Thesis, Chalmers University of Technology and Göteborg
University, December 2004
[PDF]
[PostScript]
[BibTeX]