Sciweavers

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