481 search results - page 59 / 97 » Differential symbolic execution |
106
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
110
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
113
click to vote
ECLIPSE
2004
ACM
15 years 6 months ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
95
Voted
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
105
Voted
ICECCS
2002
IEEE
15 years 5 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...