Search Sciweavers | Sciweavers

3031 search results - page 38 / 607

» Model Driven Testing Based on Test History

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

15 years 10 months ago

Download www.cs.ru.nl

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...

claim paper

Read More »

102

Voted

LADC
2007
Springer

149views Applied Computing» more LADC 2007»

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

15 years 9 months ago

Download mtc-m17.sid.inpe.br

Ana Maria Ambrosio, Maria de Fátima Mattiel...

claim paper

Read More »

click to vote

FM
2005
Springer

92views Formal Methods» more FM 2005»

Model-Based Testing in Practice

15 years 8 months ago

Download aetgweb.argreenhouse.com

Alexander Pretschner

claim paper

Read More »

110

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

15 years 8 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

Voted

CCGRID
2004
IEEE

82views Distributed And Parallel Com...» more CCGRID 2004»

Using a Jini based desktop Grid for test vector compaction and a refined economic model

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers