Results 61 to 70 of about 211,276 (289)
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
Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan +14 more
wiley +1 more source
Symbolic Execution Techniques Extended to Systems. [PDF]
, 2009 International audienceThis paper presents a symbolic execution framework devoted to system models, recursively defined by interconnecting component models.
Aiguier, Marc +3 more
core +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 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
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 +3 more
doaj +1 more source
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +1 more source
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution
, 2015 Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or semantic equivalence of constraints; e.g.
Anand Saswat +7 more
core +1 more source
Statistical Symbolic Execution with Informed Sampling [PDF]
, 2014 Symbolic execution techniques have been proposed recently for the probabilistic analysis of programs. These techniques seek to quantify the likelihood of reaching program events of interest, e.g., assert violations.
Filieri, Antonio +3 more
core +2 more sources
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 +10 more
wiley +1 more source