publications:
- title: "Axiom-based testing for C++"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449829"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449829"
  tags:
  - "rule-based"
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/BaggeDH08"
  cites: 0
  citedby: 0
  pages: "721-722"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BaggeDH08"
- title: "Testing with concepts and axioms in C++"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449855"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449855"
  tags:
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/BaggeDH08a"
  cites: 0
  citedby: 0
  pages: "773-774"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BaggeDH08a"
- title: "Stayin  alert: moulding failure and exceptions to your needs"
  author:
  - name: "Anya Helene Bagge"
    link: "http://www.ii.uib.no/~anya/"
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  - name: "Magne Haveraaen"
    link: "http://www.ii.uib.no/~magne/"
  - name: "Karl Trygve Kalleberg"
    link: "http://www.ii.uib.no/~karltk/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1173706.1173747"
  links:
    doi: "http://doi.acm.org/10.1145/1173706.1173747"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/BaggeDHK06"
  cites: 0
  citedby: 0
  pages: "265-274"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "BaggeDHK06"
- title: "Preparing for C++0x"
  author:
  - name: "Valentin David"
    link: "http://www.valentindavid.com/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449814.1449853"
  links:
    doi: "http://doi.acm.org/10.1145/1449814.1449853"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/David08"
  cites: 0
  citedby: 0
  pages: "769-770"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "David08"