5159 search results - page 40 / 1032 » Structural Testing of Executables |
ACMSE
2004
ACM
14 years 4 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
CLUSTER
2007
IEEE
13 years 10 months ago
2007
IEEE
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
SOFTVIS
2003
ACM
14 years 4 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...