6 search results - page 2 / 2 » DynaTable: a Wiki extension for structured data |
RV
2010
Springer
13 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...