Search Sciweavers | Sciweavers

1001 search results - page 15 / 201

» Testing Formal Dialectic

click to vote

ICFEM
2003
Springer

103views Software Engineering» more ICFEM 2003»

Formalization, Testing and Execution of a Use Case Diagram

14 years 27 days ago

Download cis.k.hosei.ac.jp

Abstract. Errors in a requirements model have prolonged detrimental eﬀects on reliability, cost, and safety of a software system. It is very costly to ﬁx these errors in later ...

Wuwei Shen, Shaoying Liu

claim paper

Read More »

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

14 years 19 days ago

Download www.ieee-icnp.org

David Lee, Dongluo Chen, Ruibing Hao, Raymond E. M...

claim paper

Read More »

click to vote

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

13 years 11 months ago

Download www-sop.inria.fr

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...

claim paper

Read More »

click to vote

INFOCOM
1997
IEEE

118views Communications» more INFOCOM 1997»

Toward Formal TTCN-Based Test Execution

13 years 11 months ago

Download www.jos.org.cn

Ruibing Hao, Jianping Wu

claim paper

Read More »

click to vote

AMAST
1991
Springer

90views Software Engineering» more AMAST 1991»

A Formal Approach to Software Testing

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers