Sciweavers

6704 search results - page 70 / 1341
» Testing Scenario-Based Models
Sort
View
TGC
2005
Springer
15 years 11 months ago
Model-Based Testing of Cryptographic Protocols
Dean Rosenzweig, Davor Runje, Wolfram Schulte
GLVLSI
1999
IEEE
85views VLSI» more  GLVLSI 1999»
15 years 10 months ago
On Applying Set Covering Models to Test Set Compaction
Paulo F. Flores, Horácio C. Neto, Joã...
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ICSM
1998
IEEE
15 years 10 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol