Overview of Automated Test Generation

Loading...
查看授课大纲

您将学习的技能

Software Testing, Formal Verification, Test Automation

从本节课中
Automated Test Generation
The focus of this module is to understand how various techniques can help us automate the generation of useful and numerous tests. We will examine ways to specify and use properties of the system and the environment to guide the generation of test data.

教学方

  • Mike

    Mike

    Whalen
  • Kevin Wendt

    Kevin Wendt

    Director of Graduate Studies, Software Engineering

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。