Volume 21, Issue 1, March 2013

Special Section on Tests and Proofs

ISSN: 0963-9314 (Print) 1573-1367 (Online)

In this issue (9 articles)

  1. EditorialNotes

    In this issue

    Rachel Harrison Pages 1-2
    Download PDF (85KB) View Article

  2. No Access

    OriginalPaper

    Automated measurement of models of requirements

    M. Monperrus, B. Baudry, J. Champeau, B. Hoeltzener… Pages 3-22
    Look Inside Get Access

  3. No Access

    OriginalPaper

    A streamlined, cost-effective database approach to manage requirements traceability

    Hossein Saiedian, Andrew Kannenberg, Serhiy Morozov Pages 23-38
    Look Inside Get Access

  4. No Access

    OriginalPaper

    The bug report duplication problem: an exploratory study

    Yguaratã Cerqueira Cavalcanti… Pages 39-66
    Look Inside Get Access

  5. No Access

    OriginalPaper

    Taxonomy of quality metrics for assessing assurance of security correctness

    Moussa Ouedraogo, Reijo M. Savola, Haralambos Mouratidis… Pages 67-97
    Look Inside Get Access

  6. EditorialNotes

    Guest editor’s introduction to the special section on tests and proofs

    Gordon Fraser, Angelo Gargantini Pages 99-100
    Download PDF (85KB) View Article

  7. No Access

    OriginalPaper

    Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions

    Jasmin Christian Blanchette Pages 101-126
    Look Inside Get Access

  8. No Access

    OriginalPaper

    B model slicing and predicate abstraction to generate tests

    J. Julliand, N. Stouls, P.-C. Bué, P.-A. Masson Pages 127-158
    Look Inside Get Access

  9. No Access

    OriginalPaper

    A framework for testing first-order logic axioms in program verification

    Ki Yung Ahn, Ewen Denney Pages 159-200
    Look Inside Get Access