4079 search results - page 216 / 816 » Differential Testing for Software |
QSIC
2005
IEEE
14 years 2 months ago
2005
IEEE
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
LCPC
1998
Springer
14 years 1 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 7 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...