Sciweavers

1001 search results - page 15 / 201
» Testing Formal Dialectic
Sort
View
156
Voted
ICFEM
2003
Springer
15 years 11 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu
ICNP
2002
IEEE
15 years 11 months ago
A Formal Approach for Passive Testing of Protocol Data Portions
David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...
132
Voted
CASSIS
2004
Springer
15 years 10 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
134
Voted
INFOCOM
1997
IEEE
15 years 10 months ago
Toward Formal TTCN-Based Test Execution
Ruibing Hao, Jianping Wu
131
Voted
AMAST
1991
Springer
15 years 10 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre