| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for testing first-order logic axioms in program verification
|
Ahn, Ki Yung
|
|
2011
|
21 |
1 |
p. 159-200
|
artikel
|
| 2 |
A streamlined, cost-effective database approach to manage requirements traceability
|
Saiedian, Hossein
|
|
2011
|
21 |
1 |
p. 23-38
|
artikel
|
| 3 |
Automated measurement of models of requirements
|
Monperrus, M.
|
|
2011
|
21 |
1 |
p. 3-22
|
artikel
|
| 4 |
B model slicing and predicate abstraction to generate tests
|
Julliand, J.
|
|
2011
|
21 |
1 |
p. 127-158
|
artikel
|
| 5 |
Guest editor’s introduction to the special section on tests and proofs
|
Fraser, Gordon
|
|
2013
|
21 |
1 |
p. 99-100
|
artikel
|
| 6 |
In this issue
|
Harrison, Rachel
|
|
2013
|
21 |
1 |
p. 1-2
|
artikel
|
| 7 |
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions
|
Blanchette, Jasmin Christian
|
|
2011
|
21 |
1 |
p. 101-126
|
artikel
|
| 8 |
Taxonomy of quality metrics for assessing assurance of security correctness
|
Ouedraogo, Moussa
|
|
2011
|
21 |
1 |
p. 67-97
|
artikel
|
| 9 |
The bug report duplication problem: an exploratory study
|
Cavalcanti, Yguaratã Cerqueira
|
|
2011
|
21 |
1 |
p. 39-66
|
artikel
|
Tijdschrift beschrijving