18 search results - page 3 / 4 » Using LTL rewriting to improve the performance of model-chec... |
SIGMOD
2006
ACM
14 years 6 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
POLICY
2007
Springer
14 years 2 days ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
TSE
2010
13 years 20 days ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
UML
2005
Springer
13 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
SIGMOD
2001
ACM
14 years 6 months ago
2001
ACM
Materialized views can provide massive improvements in query processing time, especially for aggregation queries over large tables. To realize this potential, the query optimizer ...