POISCS
Problems of information security. Computer systems Peter the Great St. Petersburg Polytechnic University
Since 1999
ISSN 2071-8217
en Английский
Version for the visually impaired
Submit Your Paper

Articles by keywords "Symbolic Execution"

Systematization of methods for finding errors in software

Software security
Samarin N.N.
  • Year: 2023
  • Issue: 3
  • 0
  • 134
  • Pages: 70-81

Identification of vulnerabilities in software for ARM processors using symbological execution

Software security
Abitov R. A. Pavlenko E. Yu.
  • Year: 2021
  • Issue: 3
  • 1
  • 182
  • Pages: 9-15

Methodology for finding errors and nondeclared features in software

Samarin N.N.
  • Year: 2024
  • Issue: Спецвыпуск
  • 0
  • 271
  • Pages: 157-164

A method for finding errors in program code based on inmemory fuzzing

Software security
Samarin N.N.
  • Year: 2024
  • Issue: 2
  • 0
  • 296
  • Pages: 130-137

A model for finding errors in software using spot-based fuzzing

Software security
Samarin N.N.
  • Year: 2024
  • Issue: 1
  • 3
  • 397
  • Pages: 134-141