6293 search results - page 245 / 1259 » Information Flow Testing |
128
click to vote
TIT
2002
15 years 3 months ago
2002
Abstract--We adapt methods originally developed in information and coding theory to solve some testing problems. The efficiency of two-stage pool testing of items is characterized ...
134
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
129
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
144
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
When testing delay faults on critical paths, conventional structural test patterns may be applied in functionally-unreachable states, leading to over-testing or under-testing of t...
194
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...