Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on
Date 9-11 April 2008
Filter Results
Displaying Results 1 - 25 of 55
-
Preface
|
PDF (114 KB)
-
-
Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation
|
PDF (172 KB)
-
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations
|
PDF (324 KB)
-
-
-
-
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
|
PDF (287 KB)
-
-
-
Using context descriptions and property definition patterns for software formal verification
|
PDF (417 KB)
-
Unit Testing Model Management Operations
|
PDF (140 KB)
-
Model transformation testing: oracle issue
|
PDF (248 KB)
-
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt
|
PDF (219 KB)
-
-
Heterogeneous colimits
|
PDF (264 KB)
-
-
-
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
|
PDF (273 KB)
-
-
-
-
-
Open Problems in Testability Transformation
|
PDF (254 KB)
-
