Results 151 to 160 of about 842,701 (337)

A Determined Algorithm of Code Analysis of Commodity Software

Безопасность информационных технологий, 2013
This article is devoted to the algorithm, which allows in finite iterations to determine required values of input data for certain state of software, or to prove that these values do not exist.
Ilya Viktorovich Arzamartsev, Georgy Ivanovich Borzunov   +1 more
doaj  

Constraint Solving and Symbolic Execution [PDF]

, 2008
For many decades, the correctness of programs has been a concern for computer scientists and software engineers. At present, it is still not easy to ensure the correctness of nontrivial programs, although many researchers have made various attempts in this direction.
openaire   +1 more source

Symbolic Execution Techniques Extended to Systems.

, 2009
International audienceThis paper presents a symbolic execution framework devoted to system models, recursively defined by interconnecting component models.
Gaston, Christophe, Lapitre, Arnaud, Diane Bahrami, Christophe Gaston, Aiguier, Marc, Arnault Lapitre, Bahrami, Diane, Marc Aiguier   +7 more
core   +1 more source

Large Language Model‐Informed Dual‐Track AI Framework for the Synergistic Design of Crack‐Free and High‐Strength Superalloys

Advanced Science, EarlyView.
This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao, Junkang Wu, Jie Su, Fuzhu Wang, Zi Wang, Li Wang, Liming Tan, Lan Huang, Feng Liu, Yong Liu   +9 more
wiley   +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

Conformational Snapshots of CydDC in a Native Lipid Bilayer Coupling Heme Transport to Antibiotic Resistance

Advanced Science, EarlyView.
Phylogenetic and biochemical analyses of the heme transporter CydDC reveal its functional conservation throughout bacterial evolution and demonstrate its unique asymmetric allosteric mechanism. Furthermore, impairment of CydDC function directly affects bacterial antibiotic resistance and likely compromises antibiotic efficacy through drug efflux.
Lili Yang, Changbin Zhang, Mengyuan Lyu, Yongbo Luo, Jierou Zhang, Yujiao Chen, Lintao Luo, Wen Qiao, Xiangyangpeng Li, Yu Zhou, Zhongling Wei, Yuling Xiao, Qian Niu, Juan Zhou, Guanglin He, Binwu Ying, Zhaoming Su, Hao Chen, Xiaodi Tang, Haohao Dong   +19 more
wiley   +1 more source

Single‐Cell Reveal GALNT7‐Dependent Ferroptosis Suppression as a Mechanism of Immunotherapy Resistance in Non‐Small Cell Lung Cancer

Advanced Science, EarlyView.
Integrated clinical and mechanistic analyses identify GALNT7 as a ferroptosis‐suppressive regulator associated with immunotherapy resistance in non‐small cell lung cancer. GALNT7 depletion promotes lipid peroxidation, mitochondrial dysfunction, and ferroptosis, enhances CD8+ T‐cell activation and IFN‐γ production, and sensitizes tumors to PD‐1 blockade,
Jiadi Gan, Qian Zheng, Deng Liu, Ruichao Nie, Menglin Yao, Xiaolong Tang, Renjie Xu, Jinghong Xian, Wenjun Meng, Wenxin Luo, Dan Liu, Guiyi Ji   +11 more
wiley   +1 more source

Symbolic Quantitative Information Flow

, 2012
acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords: algorithms, security, verification numpages: 5acmid: 2382791 issue_date: November 2012 keywords ...
Oksana Tkachuk, Pasareanu, CS, Quoc-Sang Phan, Phan, Q-S, Malacaria, P, Pasquale Malacaria, Corina S. Păsăreanu, Tkachuk, O   +7 more
core   +1 more source

A Single‐Cell Transcriptomic Atlas of the Ovine Rumen Microbiome Characterizes Lineage‐Specific Metabolic Shifts Associated with Host Heat Tolerance

Advanced Science, EarlyView.
An optimized single‐cell transcriptomic framework profiles over 60 000 cells to map the ovine rumen microbiome, partitioning the ecosystem into seven cross‐species functional clusters. In heat‐resistant hosts, a lineage‐specific metabolic shift in Anaerovibrio lipolyticus toward a highly glycolytic phenotype contributes to a “nutritional sparing ...
Sanbao Zhang, Qinyang Jiang, Junjie Ma, Jianwei Zou, Fan Wang, Feifei Lv, Yanna Huang, Yongcheng Wang, Ziye Xu   +8 more
wiley   +1 more source

A Generic Framework for Symbolic Execution

, 2013
International audienceWe propose a generic, language-independent symbolic execution approach for languages endowed with a formal operational semantics based on term rewriting.
Lucanu, Dorel, Dorel Lucanu, Arusoaie, Andrei, Andrei Arusoaie, Vlad Rusu, Rusu, Vlad   +5 more
core   +1 more source