Search Sciweavers | Sciweavers

297 search results - page 12 / 60

» Model-Based Tests of Truisms

click to vote

COMPSAC
2005
IEEE

120views Software Engineering» more COMPSAC 2005»

Model-Based Software Testing and Verification

14 years 1 months ago

Download conferences.computer.org

tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...

Aditya P. Mathur

claim paper

Read More »

click to vote

FM
2005
Springer

92views Formal Methods» more FM 2005»

Model-Based Testing in Practice

14 years 1 months ago

Download aetgweb.argreenhouse.com

Alexander Pretschner

claim paper

Read More »

click to vote

ICFEM
2005
Springer

119views Software Engineering» more ICFEM 2005»

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

14 years 1 months ago

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Nikolai Tillma...

claim paper

Read More »

click to vote

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

14 years 1 months ago

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

click to vote

FATES
2006
Springer

121views Software Engineering» more FATES 2006»

Multi-paradigmatic Model-Based Testing

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers