588 search results - page 32 / 118 » Using UML Environment Models for Test Case Generation |
92
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
103
Voted
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
127
click to vote
DATE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
89
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
92
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...