Search Sciweavers | Sciweavers

10715 search results - page 78 / 2143

» From Tests to Proofs

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Optimization problems from feature testing of communication protocols

14 years 1 months ago

Download www.ieee-icnp.org

David Lee, Mihalis Yannakakis

claim paper

Read More »

click to vote

EUROCRYPT
1989
Springer

64views Cryptology» more EUROCRYPT 1989»

Atkin's Test: News From the Front

14 years 1 months ago

Download www.iai.uni-bonn.de

We makean attemptto compare the speed of eemeprimalitytestingalgorithmsfor certifying loo-digit prime numbers.

François Morain

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

14 years 1 months ago

Download www-sop.inria.fr

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

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

14 years 25 days ago

Download members.tripod.com

Antonia Bertolino, Flavio Corradini, Paola Inverar...

claim paper

Read More »

click to vote

MOVEP
2000

122views Hardware» more MOVEP 2000»

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers