×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of dharmalingam-ganesan
Architecture Analysis of Systems based on Publish-Subscribe Systems
1.192 views
Assessing Model-Based Testing: An Empirical Study Conducted in Industry
230 views
Automated testing of NASA Software - part 2
290 views
Interface-Implementation Contract Checking
282 views
Reverse Engineering of Software Architecture
1.694 views
Verifying Architectural Design Rules of a Flight Software Product Line
1.091 views
Model-based Testing using Microsoft’s Spec Explorer Tool: A Case Study
905 views
Ivv workshop model-based-testing-of-nasa-systems
205 views
Load-time Hacking using LD_PRELOAD
1.187 views
Model-based Testing of a Software Bus - Applied on Core Flight Executive
194 views
Linux binary analysis and exploitation
425 views
Automated Test Case Generation and Execution from Models
3.442 views
Threat Modeling: Applied on a Publish-Subscribe Architectural Style
190 views
Exploiting Cryptographic Misuse - An Example
357 views