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: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  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: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  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: "Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings"
  editor:
  - name: "Stan Jarzabek"
    link: "https://researchr.org/alias/stan-jarzabek"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Todd L. Veldhuizen"
    link: "https://researchr.org/alias/todd-l.-veldhuizen"
  publisher: "ACM"
  isbn: "1-59593-237-2"
  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: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA"
  editor:
  - name: "Gail E. Harris"
    link: "https://researchr.org/alias/gail-e.-harris"
  publisher: "ACM"
  isbn: "978-1-60558-220-7"
  kind: "inproceedings"
  key: "David08"