Sciweavers

5159 search results - page 388 / 1032
» Structural Testing of Executables
Sort
View
180
Voted
HASE
2007
IEEE
16 years 1 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
SIGCSE
2006
ACM
131views Education» more  SIGCSE 2006»
16 years 1 months ago
An undergraduate course on software bug detection tools and techniques
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
Eric Larson
212
Voted
SAC
2004
ACM
16 years 27 days ago
WebUml: reverse engineering of web applications
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
Carlo Bellettini, Alessandro Marchetto, Andrea Tre...
170
Voted
CCGRID
2002
IEEE
16 years 13 days ago
Sensitivity of Cluster File System Access to I/O Server Selection
This paper describes measurement tests of Parallel Virtual File System (PVFS) and Network File System (NFS) over a commodity Linux cluster connected with Myrinet. PVFS stores a ...
Amy W. Apon, P. D. Wolinski, G. M. Amerson
DSN
2002
IEEE
16 years 13 days ago
Time-Constrained Failure Diagnosis in Distributed Embedded Systems
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
Nagarajan Kandasamy, John P. Hayes, Brian T. Murra...