1173 search results - page 2 / 235 » Filtering Test Models to Support Incremental Testing |
COMPSAC
2007
IEEE
14 years 21 days ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
MODELS
2009
Springer
14 years 27 days ago
2009
Springer
GI
2007
Springer
13 years 10 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
SEW
2003
IEEE
13 years 11 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
PKDD
2004
Springer
13 years 11 months ago
2004
Springer
Spam filtering is a text categorization task that has attracted significant attention due to the increasingly huge amounts of junk email on the Internet. While current best-pract...