2026 search results - page 281 / 406 » Tools for Test Case Generation |
152
click to vote
AINA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
147
click to vote
CSB
2002
IEEE
15 years 10 months ago
2002
IEEE
Understanding the functional significance of alternative splicing and other mechanisms that generate RNA transcript diversity is an important challenge facing modern-day molecular...
135
Voted
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...
134
Voted
CONCURRENCY
2007
15 years 5 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
142
click to vote
JSS
2002
15 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...