Creating Test-Cases Incrementally with Model-Checkers

Abstract

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, they are flexible due to different concrete techniques, and under certain conditions they are also efficient. There are still many issues that need to be resolved in order to achieve… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics