470 search results - page 7 / 94 » Test Case Generation Based on State and Activity Models |
110
Voted
ICST
2009
IEEE
14 years 7 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...
56
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
GECCO
2009
Springer
15 years 2 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...
107
click to vote
ECBS
2010
IEEE
15 years 24 days 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...
ICST
2009
IEEE
15 years 4 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...