This paper is not offered for 2023
For previous occurrences, try the 2022 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 8 Jan 2025 01:20am