Tutorials

We provide several tutorials to illustrate Botsing capabilities:

• Botsing demo illustrates the usage of Botsing for crash reproduction.
• EvoSuite behavioral models seeding tutorial illustrates the usage of Botsing model generation capabilities to enhance classical search-based unit test generation.