4305 search results - page 105 / 861 » The Test of Time |
180
click to vote
SIGUCCS
1999
ACM
15 years 10 months ago
1999
ACM
The University of Portland Office of Computer and Telecommunication Services (CTS) created an Intranet web site for the University community during the summer of 1998. In the summ...
147
click to vote
AICCSA
2001
IEEE
15 years 9 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...
157
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
158
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
169
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...