Search Sciweavers | Sciweavers

297 search results - page 2 / 60

» Model-Based Tests of Truisms

click to vote

ICSE
2009
IEEE-ACM

141views Software Engineering» more ICSE 2009»

Model Based Functional Testing Using Pattern Directed Filmstrips

13 years 3 months ago

Download www.eis.mdx.ac.uk

Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...

Tony Clark

claim paper

Read More »

click to vote

ICST
2010
IEEE

151views Software Engineering» more ICST 2010»

Generating Transition Probabilities for Automatic Model-Based Test Generation

13 years 3 months ago

Download www.lri.fr

—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...

Abderrahmane Feliachi, Hélène Le Gue...

claim paper

Read More »

click to vote

FM
2009
Springer

153views Formal Methods» more FM 2009»

Iterative Refinement of Reverse-Engineered Models by Model-Based Testing

13 years 3 months ago

Download www.cs.le.ac.uk

Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...

Neil Walkinshaw, John Derrick, Qiang Guo

claim paper

Read More »

click to vote

TAICPART
2010
IEEE

167views Education» more TAICPART 2010»

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

13 years 3 months ago