1057 search results - page 84 / 212 » Testing from Formal Specifications, a Generic Approach |
126
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
235
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
140
click to vote
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
108
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
122
click to vote
JTAER
2008
15 years 3 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...