3031 search results - page 111 / 607 » Model Driven Testing Based on Test History |
133
Voted
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
118
Voted
PRIMA
2007
Springer
15 years 6 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
110
Voted
ENTCS
2008
15 years 24 days ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
The investigation of evolutionary algorithms as adaptation schemes has a long history starting with Holland (1975). The Ising model from physics leads to a variety of different pr...
100
Voted
CSSC
2008
15 years 25 days ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...