Filtry
Výsledek výzkumu
HADES (Hazard Detection System)
JC - Počítačový hardware a software
- 2014 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Výsledek výzkumu
Evaluation of Program Slicing in Software Verification
Computer and information sciences
- 2019 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
WeVerca: Web Applications Verification for PHP
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Software Components Compatibility Verification Based on Static Byte-Code Analysis
JC - Počítačový hardware a software
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
Supplying Compiler's Static CompatibilityChecks by the Analysis of Third-party Libraries
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
On Security Analysis of PHP Web Applications
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Výsledek výzkumu
An Easy to Use Infrastructure for Building Static Analysis Tools
IN - Informatika
- 2010 •
- R
Rok uplatnění
R - Software
Výsledek výzkumu
Static Component Compatibility Visualisation for Various Component Models
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
CPAlien: Configurable Program Analysis over Symbolic Memory Graphs
IN - Informatika
- 2013 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
- 1 - 10 z 3 653