Search Sciweavers | Sciweavers

10715 search results - page 78 / 2143

» Proofs from Tests

126

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Optimization problems from feature testing of communication protocols

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

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

128

click to vote

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

15 years 10 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 9 months ago

Download members.tripod.com

Antonia Bertolino, Flavio Corradini, Paola Inverar...

claim paper

Read More »

137

Voted

MOVEP
2000

122views Hardware» more MOVEP 2000»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers