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"

Methodology for finding errors and nondeclared features in software

Samarin N.N.
  • Year: 2024
  • Issue: Спецвыпуск
  • 0
  • 104
  • 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
  • 117
  • Pages: 130-137

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

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