712 search results - page 68 / 143 » Software debugging, testing, and verification |
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
DAC
1999
ACM
14 years 2 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
ICFEM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...