1776 search results - page 106 / 356 » Hypothesis Testing for Module Test in Software Development |
117
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
119
Voted
AICCSA
2001
IEEE
15 years 7 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
129
Voted
SPLC
2008
15 years 4 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...
112
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...