11 search results - page 2 / 3 » Testing Multi-agent Systems for Deadlock Detection Based on ... |
INFSOF
2007
13 years 6 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
JOT
2010
13 years 5 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
TOOLS
2008
IEEE
14 years 1 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...