SUSTAINABLE CITIES AND COMMUNITIES SPECIALIZATION

This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation. You will learn: Understand algorithmic test generation techniques and their use in developer testing and continuous integration. Understand how to automatically generate test cases with assertions. Have a working knowledge and experience in static and dynamic generation of tests. Have an overview knowledge in search-based testing and the use of machine learning for test generation.

This course teaches you how to build convolutional neural networks (CNN). You will learn how to design intelligent systems using deep learning for classification, annotation, and object recognition. It includes three modules: Image processing: Introduction of industrial imaging through big data and fundamentals of image processing techniques Deep learning with convolutional neural network: Overview of neural network as classifiers, introduction of convolutional neural network and Deep learning architecture. Deep learning tools: Implementation of Deep learning for Image classification and object recognition, e.g. using Keras.

This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.

In this course you will learn state-of-the-art statistical modelling for the purpose of analysing industrial data. The course also presents the basics of relational databases and data manipulation techniques needed to prepare the data for analysis.

This course makes you acquainted with the concept of systems-of-systems (SoS), which means that independent systems are collaborating. It gives you an understanding why SoS is an important topic in the current digitalisation and provides a theoretical and practical foundation for understanding important characteristics of SoS. It also gives you a deeper knowledge in a number of key concerns that need to be considered when engineering SoS. This is a course with a flexible start: If you are admitted, you may join the course any time between the course start in September 2025 until the beginning of October. With the recommended study pace of 25%, the course will take approximately seven calendar weeks to complete. Higher or lower study pace is possible as long as the course is finished no later than the end of the autumn semester.  

In this course, you will be made aware of the state-of-the-art in cybersecurity research and state of practice in industry. Cybersecurity vulnerabilities are a threat to progress in the business sector and society. This is an accelerating threat due to the current rapid digitalisation, which in manufacturing is termed Industry 4.0. Companies are aware of this threat and realise the need to invest in countermeasures, but development is hampered by lack of competence.