Sciweavers

6704 search results - page 70 / 1341

» Testing Scenario-Based Models

23

TGC
2005
Springer

90views Applied Computing» more TGC 2005»

Model-Based Testing of Cryptographic Protocols

14 years 3 months ago

Model-Based Testing of Cryptographic Protocols

Download research.microsoft.com

Dean Rosenzweig, Davor Runje, Wolfram Schulte

claim paper

Read More »

24

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

14 years 2 months ago

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

Download ast2009.com

Alberto Avritzer, Elaine J. Weyuker

claim paper

Read More »

14

GLVLSI
1999
IEEE

85views VLSI» more GLVLSI 1999»

On Applying Set Covering Models to Test Set Compaction

14 years 2 months ago

On Applying Set Covering Models to Test Set Compaction

Download www.cecs.uci.edu

Paulo F. Flores, Horácio C. Neto, Joã...

claim paper

Read More »

32

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

14 years 2 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

23

ICSM
1998
IEEE

79views Software Engineering» more ICSM 1998»

Dynamic Model for Maintenance and Testing Effort

14 years 2 months ago

Dynamic Model for Maintenance and Testing Effort

Download web.soccerlab.polymtl.ca

F. Calzolari, Paolo Tonella, Giuliano Antoniol

claim paper

Read More »

« Prev « First page 70 / 1341 Last » Next »