NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Software Quality Journal, Tập 21, Số 1, 2013
Mục lục:
DòngNội dung
1Automated measurement of models of requirements / M. Monperrus and others
2A streamlined, cost-effective database approach to manage requirements traceability / Hossein Saiedian, Andrew Kannenberg, Serhiy Morozov
3The bug report duplication problem: an exploratory study / Yguarata Cerqueira Cavalcanti and others
4Taxonomy of quality metrics for assessing assurance of security correctness / Moussa Ouedraogo and others
5Guest editor’s introduction to the special section on tests and proofs / Gordon Fraser, Angelo Gargantini
6Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions / Jasmin Christian Blanchette
7B model slicing and predicate abstraction to generate tests / J. Julliand and others
8A framework for testing first-order logic axioms in program verification / Ki Yung Ahn, Ewen Denney