Sciweavers

8 search results - page 2 / 2
» Database state generation via dynamic symbolic execution for...
Sort
View
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
13 years 8 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
IASTEDSE
2004
13 years 6 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
SIGMOD
2008
ACM
169views Database» more  SIGMOD 2008»
14 years 4 months ago
MCDB: a monte carlo approach to managing uncertain data
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
Ravi Jampani, Fei Xu, Mingxi Wu, Luis Leopoldo Per...