SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
SIGSOFT
2007
ACM
2007
ACM
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
14 years 5 months ago
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...