6800 search results - page 124 / 1360 » Testing with Functions as Specifications |
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
SE
2007
13 years 9 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—The complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space ...
STEP
2003
IEEE
14 years 1 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...