Sciweavers

52 search results - page 2 / 11
» sigsoft 2007
Sort
View
SIGSOFT
2007
ACM
15 years 11 months ago
Automatic consistency assessment for query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roma...
73
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
Contract driven development = test driven development - writing test cases
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...
77
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
Yuriy Brun, Nenad Medvidovic
87
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
76
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner