Date 6-10 Nov. 2011
Filter Results
Displaying Results 1 - 25 of 115
-
[Title page]
|
PDF (43 KB)
-
Contents
|
PDF (100 KB)
-
Welcome Message from the Chairs
|
PDF (374 KB)
-
-
-
-
-
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
|
PDF (313 KB)
-
-
Automatic generation of load tests
|
PDF (635 KB)
-
Symbolic search-based testing
|
PDF (512 KB)
-
-
-
-
-
-
Supporting domain-specific state space reductions through local partial-order reduction
|
PDF (384 KB)
-
-
-
-
Safe asynchronous multicore memory operations
|
PDF (928 KB)
-
A rule-based approach to the semantic lifting of model differences in the context of model versioning
|
PDF (553 KB)
-
-
Automated extraction of architecture-level performance models of distributed component-based systems
|
PDF (1275 KB)
-


