Search Sciweavers | Sciweavers

2419 search results - page 11 / 484

» A Formal Approach to Software Testing

click to vote

ISSRE
2003
IEEE

123views Software Engineering» more ISSRE 2003»

Exploiting Symmetries to Test Programs

14 years 1 months ago

Download www.irisa.fr

Symmetries often appear as properties of many artiﬁcal settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...

Arnaud Gotlieb

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 28 days ago

Download www.ieee-icnp.org

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

claim paper

Read More »

click to vote

JAR
2010

82views more JAR 2010»

A Formal Logic Approach to Constrained Combinatorial Testing

13 years 6 months ago

Download tarot2010.ist.tugraz.at

Andrea Calvagna, Angelo Gargantini

claim paper

Read More »

click to vote

JWSR
2007

99views more JWSR 2007»

A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications

13 years 7 months ago

Download www.cs.cityu.edu.hk

: Testing the correctness of services assures the functional quality of service-oriented application. A service-oriented application may bind dynamically to its supportive services...

W. Chan, S. Cheung, K. Leung

claim paper

Read More »

click to vote

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers