355 search results - page 29 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
ADAEUROPE
2007
Springer
14 years 11 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
UML
2004
Springer
15 years 2 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
100
click to vote
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
ASPLOS
2009
ACM
15 years 1 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...