6704 search results - page 103 / 1341 » Testing Scenario-Based Models |
101
Voted
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
JCO
2008
15 years 2 months ago
2008
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
134
click to vote
AGILEDC
2006
IEEE
15 years 8 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
118
Voted
SAFECOMP
1999
Springer
15 years 6 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
105
click to vote
INFSOF
2002
15 years 2 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri