Dataset - CKAN

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

45 pages
- HTML
Classification of errors threats by static analysis, program sclicing and str...

Software validation remains a crucial part in software development process. Two major techniques have improved in recent years, dynamic and static analysis. They have...
- HTML
In and Out of SSA : a Denotational Specification

International audience
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found