Sciweavers

ISSTA
2012
ACM
11 years 7 months ago
Detecting inconsistencies via universal reachability analysis
Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumption...
Aaron Tomb, Cormac Flanagan
CAISE
2009
Springer
13 years 9 months ago
Incremental Detection of Model Inconsistencies Based on Model Operations
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom...
HPDC
2005
IEEE
13 years 10 months ago
A framework for efficient inconsistency detection in a grid and Internet-scale distributed environment
In this paper, we argue that a broad range of Internet-scale distributed applications can benefit from an underlying low-cost consistency detection framework – an alternative to...
Yijun Lu, Hong Jiang
IWNAS
2008
IEEE
13 years 11 months ago
Accurate Performance Modeling and Guidance to the Adoption of an Inconsistency Detection Framework
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
Yijun Lu, Xueming Li, Hong Jiang
ICDE
2010
IEEE
311views Database» more  ICDE 2010»
14 years 1 months ago
Detecting Inconsistencies in Distributed Data
— One of the central problems for data quality is inconsistency detection. Given a database D and a set Σ of dependencies as data quality rules, we want to identify tuples in D ...
Wenfei Fan, Floris Geerts, Shuai Ma, Heiko Mü...