2132 search results - page 234 / 427 » Automated software winnowing |
145
click to vote
FDL
2008
IEEE
15 years 12 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
144
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
An automated approach to the identification of C++0x concepts in function templates is described. Concepts are part of a new language feature appearing in the next standard for C+...
126
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
148
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
124
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...