Volume 21, Issue 1

March 2013

Special Section on Tests and Proofs

Issue Editors:

9 articles in this issue

In this issue
Rachel Harrison
EditorialNotes 08 January 2013 Pages: 1 - 2
Automated measurement of models of requirements
M. Monperrus
B. Baudry
J. M. Jézéquel
OriginalPaper 25 September 2011 Pages: 3 - 22
A streamlined, cost-effective database approach to manage requirements traceability
Hossein Saiedian
Andrew Kannenberg
Serhiy Morozov
OriginalPaper 05 October 2011 Pages: 23 - 38
The bug report duplication problem: an exploratory study
Yguaratã Cerqueira Cavalcanti
Paulo Anselmo da Mota Silveira Neto
Silvio Romero de Lemos Meira
OriginalPaper 01 October 2011 Pages: 39 - 66
Taxonomy of quality metrics for assessing assurance of security correctness
Moussa Ouedraogo
Reijo M. Savola
Eric Dubois
OriginalPaper 30 November 2011 Pages: 67 - 97
Guest editor’s introduction to the special section on tests and proofs
Gordon Fraser
Angelo Gargantini
EditorialNotes 09 January 2013 Pages: 99 - 100
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions
Jasmin Christian Blanchette
OriginalPaper 28 June 2011 Pages: 101 - 126
B model slicing and predicate abstraction to generate tests
J. Julliand
N. Stouls
P.-A. Masson
OriginalPaper 20 September 2011 Pages: 127 - 158
A framework for testing first-order logic axioms in program verification
Ki Yung Ahn
Ewen Denney
OriginalPaper 16 November 2011 Pages: 159 - 200

Search