Results 141 to 150 of about 970,866 (376)

Applying Symbolic Execution to Semantic Code Clone Detection (S)

, 2023
Kazusa Takemoto, Shingo Takada
openalex   +1 more source

Device to Circuit Co‐Design Utilizing High‐Performance PEALD Indium‐Gallium‐Zinc Oxide Thin‐Film Transistor Enabling Technology Node Scaling in Monolithic 3D Systems

Advanced Science, EarlyView.
This article presents a holistic investigation of M3D‐compatible oxide semiconductor technology using PEALD‐fabricated IGZO TFTs, spanning device‐level characterization, TCAD Modeling, circuit design, and scaled‐node projections. It demonstrates high field‐effect mobility (up to 116.35 cm2 V−1·s−1), robust reliability (△VTH < 0.15 V), low variation ...
Wenhui Wang, Tao Zhang, Zelin Yuan, Haoran Peng, Jun Lan, Zhixiong Li, Yongle Wu, Xuewei Feng, Longyang Lin, Feichi Zhou, Panpan Zhang, Yida Li   +11 more
wiley   +1 more source

Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution [PDF]

, 2009
Mike Papadakis, Nicos Malevris
openalex   +1 more source

Compositional symbolic execution semantics

Theoretical Computer Science
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wąsowski   +3 more
openaire   +2 more sources

CLinNET: An Interpretable and Uncertainty‐Aware Deep Learning Framework for Multi‐Modal Clinical Genomics

Advanced Science, EarlyView.
Identifying disease‐causing genes in neurocognitive disorders remains challenging due to variants of uncertain significance. CLinNET employs dual‐branch neural networks integrating Reactome pathways and Gene Ontology terms to provide pathway‐level interpretability of genomic alterations.
Ivan Bakhshayeshi, Mohammad Mahdi Hosseini, Ahmadreza Argha, Roxana Zahedi, Nigel H. Lovell, Hamid Alinejad‐Rokny   +5 more
wiley   +1 more source

CircTspan3 Promotes Cartilage Development Through ANNEXIN A2‐Mediated Ferroptosis and Apoptosis Inhibition and Exosome‐Mediated Paracrine Signaling

Advanced Science, EarlyView.
This study reveals that XBP1s drives production of circTspan3, a circular RNA that strengthens cartilage by boosting anabolic activity and limiting cell death. Phosphorylated ANXA2 directs circTspan3 into exosomes, enabling paracrine repair. Exosomal circTspan3 expands growth‐plate cartilage and promotes in vivo regeneration, highlighting its promise ...
Yiming Pan, Fengmei Zhang, Jiayan Zhong, Qian Gong, Nana Geng, Biao Kuang, Qiumei Lan, Miao Yi, Qiqi Zeng, Cheng Chen, Mengtian Fan, Chunliang Zhao, Deping Zeng, Yu Du, Mao Nie, Zhibiao Wang, Fengjin Guo   +16 more
wiley   +1 more source

Derivative-Guided Symbolic Execution

Proceedings of the ACM on Programming Languages
We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Linear Temporal Logic over Finite Traces (LTL
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan   +3 more
openaire   +2 more sources

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems [PDF]

, 2015
Kasper Søe Luckow, Corina S. Păsăreanu, Bent Thomsen   +2 more
openalex   +1 more source

Learned Conformational Space and Pharmacophore Into Molecular Foundational Model

Advanced Science, EarlyView.
The Ouroboros model introduces two orthogonal modules within a unified framework that independently learn molecular representations and generate chemical structures. This design enables flexible optimization strategies for each module and faithful structure reconstruction without prompts or noise.
Lin Wang, Yifan Wu, Hao Luo, Minglong Liang, Yihang Zhou, Cheng Chen, Chris Liu, Jun Zhang, Yang Zhang   +8 more
wiley   +1 more source

Enhancing symbolic execution with veritesting [PDF]

, 2016
Thanassis Avgerinos, Alexandre Rebert, Sang Kil, David Brumley   +3 more
openalex   +1 more source