148 search results - page 1 / 30 » Automated Systematic Testing of Open Distributed Programs |
FASE
2006
Springer
13 years 8 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
ADAEUROPE
1997
Springer
13 years 8 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
SIGSOFT
2000
ACM
13 years 8 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
ETFA
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...