Software Verification and Validation - Presentations and Abstracts
Presentations in 2020/21 fall semester
- Model-Based Testing of Read-only Graph Queries (Elekes Márton)
- Software Verification and Validation Technologies and Tools (Nasser Aram)
- The Robot Framework and a Related Testing Workflow (Gémes Kinga Andrea)
- Verification And Validation of IoT Systems (Hejazi Hamdan Y. H.)
- Blockchain-based Traffic Event Validation and Trust Verification for VANETs (Farran Hassan)
- Verification of Program Properties with Dependent Types (Gujgiczer Anna)
- Towards Model Checking of the IoT Solutions Interoperability (Jagmagji Ahmed Samir Ahmed)
- Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks (Al-hamadani Ahmed Taha Hammo)
- Formal Verification of Curved Flight Collision Avoidance Maneuvers (D'yab Omar Zuhier Ahmad)
- Data Validation for Machine Learning (Rahimian Pegah)
- Verification and Validation for Machine Learning (Fábián István)
- Verification of Neural Networks (Mrad Mohamed Azouz)
Abstracts in 2020/21 fall semester
- Quantum Software for Adding Two Numbers: Testing and Verification Approach (Al-Soub Laith Fayez Barakat)
Presentations in 2019/20 fall semester
Formal Modelling and Verification
- Software Verification of an Emergency Recovery System for Micro Air Vehicles (Pogorelskiy Sergey)
- Introducing the Validation Mechanism of the Dynamic Multi-Layer Algebra (Bácsi Sándor)
- Verification and Validation of Automated Machine Learning Approaches (Abed Hamdi)
- Safety Verification for Deep Neural Networks (Kovács Ádám)
- The Modeling and Analysis of an Industrial Protocol in the Gamma Framework (Graics Bence)
Classic and Informal Techniques
- Software Verification and Validation in Portfolio Optimization (Rácz Attila József)
- Test Data Provision for ERP Systems (Al-Azzawi Ameen)
- Knowledge-Based Security Testing of Web Applications by Logic Programming (Pásztor Dániel)
Presentations in 2018/19 fall semester
Formal Modelling and Verification
- Automated Verification of Nested DFS (Ács Evelin Kitti)
- Equivalence and Similarity Checking of Inferred Protocol Messages and Grammars (Ládi Gergő)
- Formal Verification of Autonomous Vehicle Platooning (Lincoln Herbert Teixeira)
- Formal Verification of Railway Interlocking Systems (Farkas Balázs)
- Schedulability Analysis using UPPAAL (Ruba ALMahasneh)
- Reliability Modeling with Stochastic Model Checking (Marussy Kristóf)
- Testing and Verifying SDN Applications with NetKAT (Czentye János Emánuel)
Classic and Informal Techniques
- Challenges in the Verification of Reinforcement Learning Algorithms (Budai Ádám)
- V&V Support for Android Application Development (Sik Tamás Dávid)
- Why Don't Software Developers Use Static Analysis Tools to Find Bugs? (Sipos Ágoston)
Abstracts in 2018/19 fall semester
- Formal Verification of Autonomous Robotic Assistants (Ludmány Balázs)
Presentations in 2017/18 fall semester
Verification of Security and Agent Based Systems
- Design and Verification of Secure Autonomous Vehicles (Yessenia Berenice Llive Barragan)
- Multi-Phase IRC Botnet & Botnet Behavior Detection Model (Aymen AlAwadi)
- Formal Verification of a JWT Based Authentication and Authorization Scheme (Jánoky László Viktor)
- Verification & Validation of Agent Based Simulations using the VOMAS Approach (Hasanain Alabbas)
- Verification and Validation in Multi-Agent Systems (Yahia Anane)
- Verification of Machine Learning Applications (Sevinj Yolchuyeva)
Verification of Web Applications and Database Applications
- WebRTC Software Verification and Validation Methods (Agil Yolchuyev)
- Verification and Validation of REST-Web-Service-based Enterprise Mobility Services Model (Kindson Munonye)
- Using Petri Nets to Test Concurrent Behavior of Web Applications (Omar Al-Debagy)
- Development and Validation of Subscriber Database Applications (Kozma Dániel)
- Model-based Testing as a Service (Pomázi Krisztián Dániel)
Verification of Real-Time Systems and Safety Critical Systems
- An Introduction to the Verification of Timed Automata (Farkas Rebeka Krisztina)
- Automatic Test Generation for the Analysis of a Real-Time System: Case Study (Mohammad Bawaneh)
- Testing Real-Time Embedded Software using UPPAAL-TRON: An Industrial Case Study (Mohammad Saleem)
- Verification and Validation of Safety Application Based on PLCopen Safety Function Blocks (Mohammed Salah Al-Radhi)
- Formal Verification of Medical Device User Interfaces using PVS (Rácz Gergely Ferenc)
- Analyzing Dynamic Fault Tree using Input/Output Interactive Markov Chain (IO-IMC) (Mohammed Al-Mazaideh)
Verification of Networks and Communication
- Verification of Implementations of the IOT protocol MQTT via Active Automata Learning (Baseem Altwajre)
- Verification of the Core Software of Mobile Networks (Soós Gábor)
- Formal Verification of Storm Topologies through D-VerT (Szántó Mátyás)
- Systems Engineering Methods and Tools for Efficient IT Project Testing in the Cloud (Munqath Alattar)
Kiselőadások 2016/17. ősz
Tesztelési technikák témakör:
- Testing a Complex Algorithm Framework (Klenik Attila)
- Test Process Improvement Models (Bodó Zsófia)
- Tesztelési feladatok és kihívások a FALCON projektben (Búr Márton)
- Cloud környezet emulálása skálázhatósági teszteléshez (Lévai Tamás)
- Használati alapú és modell alapú tesztelés kombinálása (Nagy Attila Mátyás)
- Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése (Somogyi Ferenc Attila)
Formális verifikáció témakör:
- TTEthernet alprotokoll vizsgálata (Ferencz Bálint)
- Kétkamrás beültethető pacemaker modellezése és verifikálása (Gazdi László)
- NetKAT - Formális rendszer hálózatok verifikálásához (Németh Balázs)
- Detecting Trigger-Based Behavior in Embedded Applications (Papp Dorottya)
Kiselőadások 2015/16. ősz
Verifikációs technikák témakör:
- Javascript tesztelési módszerek (Braun Patrik)
- OpenCL alapú eszközök verifikációja és validációja a gyakorlatban (Fekete Tamás)
- Mutáció alapú tesztelés Java nyelven (Ferencz Endre)
- Tesztadat generáló eszközök áttekintése (Karaffy Zoltán)
- SPARK 2014 tapasztalatok ETCS követelményekkel (Lukács Gábor)
- Telefon-applikációs szerver életciklusának bemutatása (Tündik Máté)
Formális verifikáció témakör:
- Valószínűségi modellellenőrzés Markov döntési folyamatokkal (Hajdu Ákos)
- Memóriabiztonság verifikációja kimerítő kompozíciós tesztelés alkalmazásával (Honfi Dávid)
- Verikáció a Why3 tételbizonyító környezetben (Kabódi László)
- A Kepler sejtés bizonyításának ellenőrzése (Kovács István)
- Verifikáció a GROOVE eszközzel (Nagy András Szabolcs)
- Markov döntési folyamatok verifikációja (Tulics Miklós)
- Komputer algebra rendszerek verifikációja (Vaitkus Márton)
Verifikáció a gyakorlatban:
- UML alapú platform absztrakciós réteg fejlesztése és verifikálása Matlab modellek számára (Farkas Balázs)
- Képszegmentáló eljárások verifikációja és validációja (Hadházi Dániel)
- EEG mérések hardveres és szoftveres validációja (Kovács Annamária)
- Vasúti biztosítóberendezés modellezése és verifikációja (Tömösközi Máté)
- Cooperative Intelligent Transport Systems C-ITS rendszerek modellezése és szimulációja (Varga Norbert) + Prezi
- Autonóm robot missziók tervezése és ellenőrzése (Hideg Attila)
Összefoglalók 2015/16. ősz
Kiselőadások 2014/15. ősz
Modellellenőrzés témakör:
- A statisztikai modellellenőrzés alapjai és használata egy szenzorhálózat példáján (Salánki Ágnes)
- Hibatűrő elosztott rendszerek paraméterezett modellellenőrzése (Molnár Vince)
- Valósidejű biztonságkritikus protokoll modellellenőrzése (Tóth Tamás)
- Egy microgrid modellezése és sztochasztikus ellenőrzése (Kőkuti András)
Formális verifikáció témakör:
- Valósidejű adatfeldolgozás formális verifikációja az LHC Beam Loss Monitoring rendszer esetén (Ács Judit)
- Elosztott adatbázis-kezelő formális elemzése (Szárnyas Gábor)
- Modelltranszformációk tesztelése logikai megoldókkal (Semeráth Oszkár)
Tesztelés témakör:
- JPA alapú teszteléstámogatás (Bozóki Szilárd)
- Szimbolikus végrehajtáson alapuló tesztelés és a Java Path Finder (Debreceni Csaba)
- Unit tesztelhető ASP.NET Web API alkalmazás fejlesztése (Nagy Ákos)
- Autóipari szoftver-hardver verifikáció és validáció (Pataki András)
Összefoglalók 2014/15. ősz
- A CERN állapotgép-alapú vezérlőprogramjainak automatikus formális ellenőrzése (Darvas Dániel)
- Egy erősen párhuzamosított számításokat végző alkalmazásszerver verifikációja a Plural eszköz segítségével (Pósfai Gergely)
- Tesztelés a felhőben, a követendő gyakorlat (Geist Éva)
- Az mbedr és az okosvillanyóra (Majdán András)
Kiselőadások 2013/14. ősz
Tesztelés témakör:
- Szolgáltatás-validáció ITU-T ajánlások alapján (Kara Péter András)
- Orvostechnikai eszköz tesztelése – DSS Unit test (Taliga Miklós)
- A Test-Driven Development, a unit tesztelés és a mock technika bemutatása (Kövesdán Gábor)
- Android rendszeren futó alkalmazások tesztelése (Kundra László)
- A Quick Check automatikus tesztelő eszköz (Illés János)
Formális verifikáció témakör:
- Kódverifikáció gépi tanulással (Hidasi Balázs)
- Lappangó programhibák megkeresése gépi tanulással (Bolgár Bence)
- Biológiai rendszerek modellellenőrzése bayesi megközelítésben (Gál Tamás Zoltán)
Összefoglalók 2013/14. ősz
- Teszt generálás webes alkalmazásokhoz (Doktor Tibor)
- Szoftvertesztelés ASP.NET MVC platformon (Imre Gábor)
Kiselőadások 2012/13. ősz
Formális verifikáció témakör:
- Egy automatikus parkoló garázs működésének verifikációja az mCRL2 eszközzel (Szegletes Luca)
- SmartCard protokoll formális verifikációja (Cserpán Dorottya)
- Komponensek kompatibilitásának modellezése és verifikációja (Börcs Attila)
- A B módszer a gyakorlatban (Sipos Márton)
- C programok formális verifikációja a Why3 keretrendszerrel (Izsó Benedek)
Tesztelés témakör:
- Gyakorlati tesztelési feladatok egy tanszéki projektben (Suba Gergely)
- .NET-es alkalmazások verifikálása Visual Studio Test Explorer segítségével (Fekete Krisztián)
Statikus analízis témakör:
- Verifikáció Code Contracts segítségével C# nyelven (Deák László)
Összefoglalók 2012/13. ősz
- Forgatókönyv alapú tesztelés UML/OCL viselkedési modell alapján (Tóth Márton József)
- [MC]SQUARE - mikrokontroller programok modellellenőrzése (Wiandt Bernát)
- Szenzorhálózatok szoftverének verifikációja (Kazi Sándor)
Kiselőadások 2011/12. ősz
Statikus analízis témakör:
- Eclipse plugin for FindBugs és Microsoft Visual Studio Code Analysis eszközök összehasonlítása (Budai Péter)
- Gendarme - Szabály alapú statikus forráskód-verifikáció (Zakál Dávid)
- Intel Inspector XE - Memória- és szálproblémák ellenőrzése (Áfra Attila)
- Modellezési szabályok ellenőrzése és reverse engineering az ArgoUML eszközben (Hartung István)
- Static and Dynamic Code Analysis from Malware Aspects (Pék Gábor)
Tesztelés témakör:
- Continuous integration eszközök ipari használata (Paróczi Zsombor)
- Modell alapú megközelítés teszt újtafelhasználáshoz intelligens otthon esetén (Fehér Péter)
Általános verifikáció témakör:
- A CSMA/CD protokoll modellezése és verifikációja (Móczár Zoltán)
- Az ISO/IEC-9126 szoftver minőségi szabvány áttekintése (Csuka Zsolt)
- Hibaokok és hatások analízise diszkrét gyártás területén (Nagy Gábor)
- Java PathFinder (Villányi Balázs)
- Pacemaker készülékek szoftverének verifikációja (Hesz Gábor)
- Egészségügyi beágyazott rendszerek verifikációja (Kertész Zsolt)
Összefoglalók 2011/12. ősz
- Futási idejű ellenőrzés (Fülöp István Marcell)
- COTS szoftverek alkalmazási biztonsági környezetben (Agócs Ferenc)
- Statikus kód analízis C#-hoz (Horváth Áron)
Korábbi évek anyagai