Results 111 to 120 of about 1,018,291 (234)

Execution environment for intelligent real-time control systems [PDF]

Modern telerobot control technology requires the integration of symbolic and non-symbolic programming techniques, different models of parallel computations, and various programming paradigms.
Sztipanovits, Janos
core   +1 more source

A Determined Algorithm of Code Analysis of Commodity Software

Безопасность информационных технологий, 2013
This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov   +1 more
doaj  

DLF: A Deep Active Ensemble Learning Framework for Test Case Generation

Information
High-quality test cases are vital for ensuring software reliability and security. However, existing symbolic execution tools generally rely on single-path search strategies, have limited feature extraction capability, and exhibit unstable model ...
Yaogang Lu, Yibo Peng, Dongqing Zhu
doaj   +1 more source

Symbolic Execution for Verification

, 2011
15 ...
Jaffar, Joxan, Navas, Jorge A., Santosa, Andrew E.   +2 more
openaire   +2 more sources

Symbolic execution and program testing

CACM, 1976
J. King
semanticscholar   +1 more source

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Scientific Annals of Computer Science
Algorithm design courses are fundamental to computer science curricula, but fostering algorithmic thinking in students is challenging due to the diverse skills and creativity required. Dedicated teaching support tools can help both course instructors and
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu   +4 more
doaj   +1 more source

Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints

Proceedings 2019 Network and Distributed System Security Symposium, 2019
Shen Shiqi, Shweta Shinde, Soundarya Ramesh, Abhik Roychoudhury, Prateek Saxena   +4 more
openaire   +1 more source

Symbolic Analysis of Concurrent Programs with Polymorphism [PDF]

The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications.
Rungta, Neha Shyam
core   +1 more source

Efficient Data-Race Detection with Dynamic Symbolic Execution

Annals of computer science and information systems, 2016
Andreas Ibing
doaj   +1 more source