4299 search results - page 177 / 860 » Concurrent Test Generation |
101
Voted
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This work proposes an approach to generate weighted random patterns which can maximally excite a circuit during its burn-in testing. The approach is based on a probability model a...
110
Voted
TAP
2010
Springer
15 years 1 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
117
click to vote
CONCURRENCY
2008
15 years 3 months ago
2008
Much work has been done to address the need for incentive models in real deployed peer-to-peer networks. In this paper, we discuss problems found with the incentive model in a lar...
120
Voted
ENTCS
2006
15 years 3 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
126
Voted
TSE
2002
15 years 3 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...