714 search results - page 114 / 143 » Verification and Compliance Testing |
97
Voted
ANOR
2010
15 years 17 days ago
2010
This paper presents two novel genetic algorithms (GAs) for hard industrially relevant packing problems. The design of both algorithms is inspired by aspects of molecular genetics,...
84
Voted
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
117
click to vote
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
104
click to vote
ENTCS
2006
15 years 14 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
119
Voted
SIGCSE
2008
ACM
15 years 11 days ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...