Dynamic detection of atomic-set-serializability violations
Christian Hammer, Julian Dolby, et al.
ICSE 2008
End-user programming tools offer no data types except "string" for many categories of data, such as person names and street addresses.Consequently, these tools cannot automatically validate or reformat these data. To address this problem, we have developed a userextensible model for string-like data. Each "tope" in this model is a user-defined abstraction that guides the interpretation of strings as a particular kind of data. Specifically, each tope implementation contains software functions for recognizing and reformatting instances of that tope's kind of data. This makes it possible at runtime to distinguish between invalid data, valid data, and questionable data that could be valid or invalid. Once identified, questionable and/or invalid data can be double-checked and possibly corrected, thereby increasing the overall reliability of the data. Valid data can be automatically reformatted to any of the formats appropriate for that kind of data. To show the general applicability of topes, we describe new features that topes have enabled us to provide in four tools. Copyright 2008 ACM.
Christian Hammer, Julian Dolby, et al.
ICSE 2008
Allen Cypher
VL/HCC 2005
Clarisse Sieckenius De Souza, Allen Cypher
AVI 2008
Christopher Bogart, Margaret Burnett, et al.
VL/HCC 2008