470 search results - page 7 / 94 » Test Case Generation Based on State and Activity Models |
130
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
71
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
104
Voted
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
133
click to vote
ECBS
2010
IEEE
15 years 3 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
94
Voted
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...