Search Sciweavers | Sciweavers

10715 search results - page 78 / 2143

» Proofs from Tests

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Optimization problems from feature testing of communication protocols

15 years 7 months ago

Download www.ieee-icnp.org

David Lee, Mihalis Yannakakis

claim paper

Read More »

Voted

EUROCRYPT
1989
Springer

64views Cryptology» more EUROCRYPT 1989»

Atkin's Test: News From the Front

15 years 7 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 »

Voted

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

15 years 7 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

15 years 7 months ago

Download members.tripod.com

Antonia Bertolino, Flavio Corradini, Paola Inverar...

claim paper

Read More »

105

click to vote

MOVEP
2000

122views Hardware» more MOVEP 2000»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers