(Model-based) Software Testing (Part 2): some foundations and practical exercises, Jorge Lopez
Day 5 of the International Winter School on Software Engineering, 14-18 February 2022, Faculty of Computer Science, HSE University.
Speaker: Jorge Lopez, eXpert in Formal Methods, Airbus Defence and Space.
18 February 2022
International Winter School on Software Engineering:
Faculty of Computer Science:
Follow us:
5 months ago 00:05:15 4
6 months ago 00:11:11 1
6 months ago 00:08:06 1
6 months ago 00:03:28 1
![Welt meets Acheron [HSR Animated]](https://sun9-71.userapi.com/VU8ryj6CHRg-rEn1cj7on1QwQKKDGoLBQsnNWg/dKK02Sbj4ig.jpg)
6 months ago 00:01:09 7
6 months ago 00:03:31 34
6 months ago 00:14:17 1
6 months ago 00:05:40 1
6 months ago 00:36:36 1
6 months ago 00:05:33 1
6 months ago 00:05:47 1
6 months ago 00:02:44 1
6 months ago 00:00:40 1
![let’s do something fun Shenhe [Genshin Animated]](https://sun9-11.userapi.com/5Vc1Jy52ECtS2b0tMNECwVDEWbVVT6mNtz36_A/7b_U_2hXLtE.jpg)
6 months ago 00:07:32 1
6 months ago 00:16:28 1
6 months ago 00:06:08 1
6 months ago 00:04:24 1
7 months ago 00:02:51 8
7 months ago 00:02:16 1
7 months ago 00:52:30 1
7 months ago 00:08:03 2
7 months ago 00:11:25 1
7 months ago 00:30:11 1
7 months ago 00:06:00 1
