868 search results - page 128 / 174 » Debugging for Model Expansion |
SAC
2009
ACM
14 years 4 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised th...
PASTE
2010
ACM
14 years 3 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
ICPP
2002
IEEE
14 years 2 months ago
2002
IEEE
The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tun...
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...