2419 search results - page 336 / 484 » A Formal Approach to Software Testing |
122
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...
187
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
The BTnode platform is a versatile and flexible platform for functional prototyping of ad hoc and sensor networks. Based on an Atmel microcontroller, a Bluetooth radio and a low-...
102
Voted
ITNG
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
126
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...