Results 61 to 70 of about 949,278 (287)

A symbolic execution semantics for TopHat [PDF]

Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019
Task-Oriented Programming (TOP) is a programming paradigm that allows declarative specification of workflows. TOP is typically used in domains where functional correctness is essential, and where failure can have financial or strategical consequences. In this paper we aim to make formal verification of software written in TOP easier.
Nico Naus, Tim Steenvoorden, Markus Klinik   +2 more
openaire   +1 more source

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Combining dynamic symbolic execution, code static analysis and fuzzing

Труды Института системного программирования РАН, 2019
This paper describes a new approach for dynamic code analysis. It combines dynamic symbolic execution and static code analysis with fuzzing to increase efficiency of each component.
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov   +5 more
doaj   +1 more source

Towards Language Independent Dynamic Symbolic Execution

, 2017
Symbolic execution is well-known for its capability to produce high-coverage test suites for software source code. So far, most tools are created to support a specific language. This paper elaborates on performing language independent symbolic execution.
Klikovits, Stefan, Gonzalez-Berges, Manuel, Buchs, Didier   +2 more
core   +1 more source

White Matter and Perivascular Imaging Changes in Alzheimer's Disease and Cerebral Amyloid Angiopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Peak‐width of skeletonized mean diffusivity (PSMD) and diffusion tensor imaging–analysis along the perivascular space (DTI‐ALPS), reflecting white matter integrity and glymphatic function, are altered in Alzheimer's disease (AD).
Debina Laishram, Guangwei Du, Sangam Kanekar, Nandakumar Nagaraja   +3 more
wiley   +1 more source

Binary Analysis Using Symbolic Execution

Безопасность информационных технологий, 2010
This paper presents a method of static analysis of executable code that combines abstract interpretation and symbolic execution, where the latter is used in order to refine results of the former.
I. O. Leoshkevich
doaj  

Subjective Cognitive Concerns and Cognitive Trajectories in Parkinson's Disease: Biomarker Impact

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To examine the relationship of subjective cognitive concerns (SCC) with biomarkers of Alzheimer's disease (AD), neurodegeneration, and Parkinson's disease (PD) and domain‐specific cognitive trajectories among cognitively unimpaired persons with de novo PD. Method Cognitively unimpaired participants with SCC (n = 294) and without SCC (
Francesca V. Lopez, Fareshte Erani, Katherine J. Bangen, David G. Coughlin, Douglas Galasko, Kelsey R. Thomas   +5 more
wiley   +1 more source

SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING

Tạp chí Khoa học Đại học Đà Lạt, 2016
In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in ...
Tô Hữu Nguyên, Nguyễn Hồng Tân, Hà Thị Thanh, Đỗ Thanh Mai   +3 more
doaj   +1 more source

SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream Synthesizing

Applied Sciences, 2021
Adoption of distributed stream processing (DSP) systems such as Apache Flink in real-time big data processing is increasing. However, DSP programs are prone to be buggy, especially when one programmer neglects some DSP features (e.g., source data ...
Qian Ye, Minyan Lu
doaj   +1 more source

Parkinson Disease Subtype Stability and Eventual Convergence

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Previous research identified distinct Parkinson disease (PD) clinical subtypes of “Motor Only,” “Psychiatric & Motor,” and “Cognitive & Motor” based on comprehensive, multidomain classification. Whether these subtypes reflect distinct trajectories or progressive disease stages remains unknown.
Laura M. Rosok, Christina N. Lessov‐Schlaggar, Abdulmunaim M. Eid, Erin R. Foster, Baijayanta Maiti, Hailee Domash, Helen Hwang, Richard J. Perrin, Paul T. Kotzbauer, Joel S. Perlmutter, Meghan C. Campbell   +10 more
wiley   +1 more source