51 search results - page 6 / 11 » Directed test suite augmentation: techniques and tradeoffs |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
WCRE
2003
IEEE
14 years 18 days ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
ISMAR
2006
IEEE
14 years 1 months ago
2006
IEEE
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...
ANLP
1997
13 years 8 months ago
1997
We present a tool developed for annotating corpora with argument structure representations. The presentation focuses on the architecture of the annotation scheme and a number of t...
JEA
2006
13 years 7 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...