4752 search results - page 738 / 951 » Dependability in Web Software |
202
click to vote
SSIRI
2010
15 years 5 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
175
click to vote
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
235
click to vote
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
231
click to vote
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
218
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...