Results 91 to 100 of about 970,866 (376)

Gillian, part i: a multi-language platform for symbolic execution

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2020
We introduce Gillian, a platform for developing symbolic analysis tools for programming languages. Here, we focus on the symbolic execution engine at the heart of Gillian, which is parametric on the memory model of the target language.
J. Santos, P. Maksimovic, Sacha-Élie Ayoun, Philippa Gardner   +3 more
semanticscholar   +1 more source

Understanding and Optimizing Li Substitution in P2‐Type Sodium Layered Oxides for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous 
Mingfeng Xu, Giovanni Gammaitoni, Michael Häfner, Eduardo Villalobos‐Portillo, Carlo Marini, Matteo Bianchini   +5 more
wiley   +1 more source

Prototyping symbolic execution engines for interpreted languages [PDF]

, 2014
Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python.
Cadar C., Canini M., Godefroid P., Kuznetsov V., Wagner J.   +4 more
core   +1 more source

Tuning the Dielectric Properties of Individual Clay Nanosheets by Interlayer Composition: Toward Nano‐Electret Materials

Advanced Functional Materials, EarlyView.
The dielectric properties of clays are studied on the level of individual monolayers and functional double stacks. The material breakdown characteristics and charge storage performance are analyzed. For illustration, a defined charge pattern representing a cuneiform character is produced, written into a microscopic clay tile, referencing the origins of
Sebastian Gödrich, Paul Markus, Matthias Stöter, Bernhard Biersack, Rainer Schobert, Josef Breu, Georg Papastavrou   +6 more
wiley   +1 more source

Symbolic execution optimization method based on input constraint

Tongxin xuebao, 2019
To solve path explosion,low rate of new path’s finding in the software testing,a new vulnerability discovering architecture based on input constraint symbolic execution (ICBSE) was proposed.ICBSE analyzed program source code to extract three types of ...
Sunlyu WANG, Yuqi LIN, Qiusong YANG, Mingshu LI   +3 more
doaj   +2 more sources

Static Analysis of Complex Loop Structures

Безопасность информационных технологий, 2013
This paper is devoted to the advance of the existing analysis methods of data flow of software by using static analysis. It introduces a novel method which can calculate possible ranges of values of data in code in dependence on input data which can be ...
Iliya Viktorovich Arzamartsev, Andrey Vladimirovich Moiseev   +1 more
doaj  

Reactive with tags classifier system applied to real robot navigation [PDF]

, 1999
7th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona, 18-21 October 1999.A reactive with tags classifier system (RTCS) is a special classifier system.
Isasi, Pedro, Molina López, José Manuel, Sanchis de Miguel, María Araceli, Segovia, Javier   +3 more
core   +3 more sources

KLEE symbolic execution engine in 2019

International Journal on Software Tools for Technology Transfer (STTT), 2020
KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London.
Cristian Cadar, M. Nowack
semanticscholar   +1 more source

Anisotropic Shear Properties of Organic Interfaces in Bio‐composite Materials

Advanced Functional Materials, EarlyView.
A novel cantilever design enables direct probing of shear properties at single organic interfaces within biocomposite prismatic ultrastructures. By decoupling lateral and torsional shear responses, the method reveals isotropic behavior in Atrina vexillum and pronounced anisotropy in Unio pictorum.
Kian Tadayon, Benny Bar‐On, Igor Zlotnikov   +2 more
wiley   +1 more source

Direct Evidence of Topological Dirac Fermions in a Low Carrier Density Correlated 5d Oxide

Advanced Functional Materials, EarlyView.
The 5d oxide BiRe2O6 is discovered as a low‐carrier‐density topological semimetal hosting symmetry‐protected Dirac fermions stabilized by nonsymmorphic symmetries. Angle‐resolved photoemission spectroscopy, quantum oscillations, and magnetotransport measurements reveal gapless Dirac cones, quasi‐2D Fermi surfaces, high carrier mobility, and a field ...
Premakumar Yanda, Jorge Cardenas‐Gamboa, Ding Pei, François Bertran, Leila Noohinejad, Snehashish Chatterjee, Changjiang Yi, Iñigo Robredo, Horst Borrmann, Maia G. Vergniory, Chandra Shekhar, Claudia Felser   +11 more
wiley   +1 more source