Architecture Analysis of Systems based on Publish-Subscribe Systems

Assessing Model-Based Testing: An Empirical Study Conducted in Industry

Automated testing of NASA Software - part 2

Automated Testing of NASA Software

Interface-Implementation Contract Checking

Reverse Engineering of Software Architecture

Verifying Architectural Design Rules of a Flight Software Product Line

Automated Test Case Generation and Execution from Models

My Phd Thesis Defense at VU Amsterdam

Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study

Reverse Architecting of a Medical Device Software

Analysis of Testability of a Flight Software Product Line

Load-time Hacking using LD_PRELOAD

Ivv workshop model-based-testing-of-nasa-systems

Model-based Testing of a Software Bus - Applied on Core Flight Executive

Secure application programming in the presence of side channel attacks

Architecture compliance checking at run-time

Exploiting Cryptographic Misuse - An Example

Threat Modeling: Applied on a Publish-Subscribe Architectural Style

Linux binary analysis and exploitation