Results 121 to 130 of about 842,701 (337)

A Survey of Search Strategies in the Dynamic Symbolic Execution

ITM Web of Conferences, 2017
Dynamic symbolic execution (DSE) is an important way to discover software vulnerabilities. One key challenge in DSE is to find proper paths in the huge program execution space to generate effective inputs.
Liu Yu, Zhou Xu, Gong Wei-Wei
doaj   +1 more source

Design and Modeling of a High‐Displacement, Skin‐Integrated Flexible Electromagnetic Actuator for Haptic Interfaces in Virtual Reality

Advanced Robotics Research, EarlyView.
A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay, Alexandra Zhang Jiang, Ziteng Liu, Rachel Villamor, Derek Cha, Ananya Renuka Balakrishna, Tianshu Liu, Priyanshu Agarwal, Rainer Dömer, Camilo Velez   +9 more
wiley   +1 more source

CONTROL FLOW GRAPH RECOVERY FOR DYNAMICALLY LOADED CODE VIA SYMBOLIC LIBRARY RESOLUTION

Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології
Control Flow Graphs are one of the main data sources for software analysis that use dynamic and static software analysis methods. Protected software and modern malware increasingly depend on dynamic code loading techniques to evade static analysis. Usage
Oleksandr Mostovyi
doaj   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

A Comprehensive Review of Static Memory Analysis

IEEE Access
This review aims to evaluate and compare various static analysis tools across multiple programming languages for memory management. The tools and techniques under scrutiny include pattern matching, symbolic execution, CppCheck, SharpChecker, FindBugs ...
Temidayo Akinyemi, Enoch Solomon, Abraham Woubie, Kari Lippert   +3 more
doaj   +1 more source

Stress History Establishes a Transient Tolerant State That Shapes Antibiotic Survival Upon Resuscitation

Advanced Science, EarlyView.
High‐throughput single‐cell analysis of resuscitating bacteria reveals a starvation‐history‐dependent transiently tolerant subpopulation that survives β$\beta$‐lactam exposure by temporarily reducing growth. Distinct from classical persisters, these actively growing yet dynamically modulated cells dominate survival across clinically relevant antibiotic
Kieran Abbott, Georgeos Hardo, Ruizhe Li, Jack Bradley, Ashraf Zarkan, Somenath Bakshi   +5 more
wiley   +1 more source

Towards Effective Symbolic Execution

Symbolic execution is an effective method to analyse an application's properties thoroughly, based on the idea of analysing every control flow path an application can take.
Nowack, Martin
core   +2 more sources

Selective Symbolic Execution [PDF]

Symbolic execution is a powerful technique for analyzing program behavior, finding bugs, and generating tests, but suffers from severely limited scalability: the largest programs that can be symbolically executed today are on the order of thousands of ...
Georgescu, Vlad, Chipounov, Vitaly, Zamfir, Cristian, Candea, George   +3 more
core  

Memoise: a tool for memoized symbolic execution

, 2013
—This tool paper presents a tool for performing mem-oized symbolic execution (Memoise), an approach we developed in previous work for more efficient application of symbolic execution.
Guowei Yang, Corina S. Păsăreanu, Sarfraz Khurshid   +2 more
core   +1 more source