2008 IEEE International Conference on Software Testing Verification and Validation Workshop Lillehammer, Norway April 09-April 11 ISBN: 978-0-7695-3388-9 Table of Contents
pp. 1-10 pp. 11-20 pp. 21-30 pp. 31-40 pp. 41-52 pp. 53-62 pp. 63-72
pp. 73-80 pp. 81-88
Using context descriptions and property definition patterns for software formal verification (Abstract)
pp. 89-96
Unit Testing Model Management Operations (Abstract)
pp. 97-104
Model transformation testing: oracle issue (Abstract)
pp. 105-112
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt (Abstract)
pp. 113-120
pp. 121-130
Heterogeneous colimits (Abstract)
pp. 131-140 pp. 141-150 pp. 151-160
pp. 161-169 pp. 170-177 pp. 178-186 pp. 187-194 pp. 195
Open Problems in Testability Transformation (Abstract)
pp. 196-209 pp. 210 pp. 211-220 pp. 221-230 pp. 231 pp. 232-240 pp. 241-250 pp. 251
pp. 252-259 pp. 260-261 pp. 262-268 pp. 269-270 pp. 271-278 pp. 279-286
Learning from Software Security Testing (Abstract)
pp. 287-294 pp. 295-302 pp. 303-304
pp. 316-321 pp. 305-315
A Test Process for all Lifecycles (Abstract)
pp. 328-331 pp. 332-338 pp. 339-342 pp. 343-353
pp. 354-356 pp. 357-360 pp. 361-364 pp. 365-368
Test Benchmarks -- what is the question? (Abstract)
pp. 369-371 pp. 372-375 pp. 376-379
Experience with a Concurrency Bugs Benchmark (Abstract)
pp. 380-384 Usage of this product signifies your acceptance of the Terms of Use. | ||||||||||||||||||||||||||||||||||
