This paper is not offered for 2018

15

500

This paper deals with the testing and modelling of software systems. It shows how to model systems; how to use static analysis tools to find errors in those models; how to generate tests from those models; and how to automate the execution of test suites.

Additional information

  • Indicative fees current as of 8 Jan 2025 01:20am