285 search results - page 14 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
ATAL
2010
Springer
15 years 24 days ago
2010
Springer
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...
PGLDB
2003
15 years 1 months ago
2003
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
104
click to vote
PTS
2003
15 years 1 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
117
click to vote
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...