 | 2009 |
|---|
| 5 |       | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
The axioms strike back: testing with concepts and axioms in C++.
GPCE 2009: 15-24 |
| 4 | | Anya Helene Bagge,
Magne Haveraaen:
Axiom-Based Transformations: Optimisation and Testing.
Electr. Notes Theor. Comput. Sci. 238(5): 17-33 (2009) |
| 2008 |
|---|
| 3 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Axiom-based testing for C++.
OOPSLA Companion 2008: 721-722 |
| 2 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen:
Testing with concepts and axioms in C++.
OOPSLA Companion 2008: 773-774 |
| 2006 |
|---|
| 1 | | Anya Helene Bagge,
Valentin David,
Magne Haveraaen,
Karl Trygve Kalleberg:
Stayin' alert: : moulding failure and exceptions to your needs.
GPCE 2006: 265-274 |
