Works matching IS 09639314 AND DT 2013 AND VI 21 AND IP 1
Results: 9
Taxonomy of quality metrics for assessing assurance of security correctness.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 67, doi. 10.1007/s11219-011-9169-0
- By:
- Publication type:
- Article
Automated measurement of models of requirements.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 3, doi. 10.1007/s11219-011-9163-6
- By:
- Publication type:
- Article
In this issue.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
B model slicing and predicate abstraction to generate tests.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 127, doi. 10.1007/s11219-011-9161-8
- By:
- Publication type:
- Article
Guest editor's introduction to the special section on tests and proofs.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
A framework for testing first-order logic axioms in program verification.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 159, doi. 10.1007/s11219-011-9168-1
- By:
- Publication type:
- Article
A streamlined, cost-effective database approach to manage requirements traceability.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 23, doi. 10.1007/s11219-011-9166-3
- By:
- Publication type:
- Article
The bug report duplication problem: an exploratory study.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 39, doi. 10.1007/s11219-011-9164-5
- By:
- Publication type:
- Article
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 101, doi. 10.1007/s11219-011-9148-5
- By:
- Publication type:
- Article