30 search results - page 2 / 6 » A Review Approach to Detecting Structural Consistency Violat... |
PVLDB
2010
13 years 3 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
SAS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...