This paper is not offered for 2025
For previous occurrences, try the 2024 version of this year.
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 13 Sep 2024 01:20am