Results 171 to 180 of about 970,866 (376)
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution [PDF]
Jiachi Chen +7 more
openalex +1 more source
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics [PDF]
, 2019 Sooyoung Cha +4 more
openalex +1 more source
Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
Proceedings 2019 Network and Distributed System Security Symposium, 2019 Shen Shiqi +4 more
openaire +1 more source
Agribusiness, EarlyView.ABSTRACT This study aims to explore the influence of Wine Tourism (WT) on the Sustainable Performance (SP) of wineries in Spain. It particularly investigates how Corporate Social Legitimacy (CSL) and Green Innovation (GI) may act as intermediary factors in this relationship.
Javier Martínez‐Falcó +3 more
wiley +1 more source
AIChE Journal, EarlyView.Abstract This work experimentally validates the RESPONSE (Resilient Process cONtrol SystEm) framework as a solution for maintaining safe, continuous operation of cyber‐physical process systems under cyberattacks. RESPONSE implements a dual‐loop architecture that runs a networked online controller in parallel with a hard‐isolated offline controller ...
Luyang Liu +5 more
wiley +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
A model-guided symbolic execution approach for network protocol implementations and vulnerability detection. [PDF]
PLoS One, 2017 Wen S, Meng Q, Feng C, Tang C.
europepmc +1 more source
Advanced Intelligent Discovery, EarlyView.CrossMatAgent is a multi‐agent framework that combines large language models and diffusion‐based generative AI to automate metamaterial design. By coordinating task‐specific agents—such as describer, architect, and builder—it transforms user‐provided image prompts into high‐fidelity, printable lattice patterns.
Jie Tian +12 more
wiley +1 more source