5159 search results - page 443 / 1032 » Structural Testing of Executables |
153
click to vote
GECCO
1999
Springer
15 years 12 months ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...
183
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we report on features added to a parallel debugger to simplify the debugging of message passing programs. These features include replay, setting consistent breakpoin...
175
click to vote
KBSE
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
193
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
187
click to vote
SEE
1997
Springer
15 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...