Results 241 to 250 of about 211,276 (289)

A digital twin model for grain enterprise financial shared service centers based on distributed deep learning and neural symbolic reasoning. [PDF]

Sci Rep
Wei Y.
europepmc   +1 more source

Evaluating LLMs on Kazakhstan's mathematics exam for university admission. [PDF]

Front Artif Intell
Kadyrov S, Abdrasilov B, Sabyrov A, Baizhanov N, Makhmutova A, Kyllonen PC.   +5 more
europepmc   +1 more source

DML-LLM Hybrid Architecture for Fault Detection and Diagnosis in Sensor-Rich Industrial Systems. [PDF]

Sensors (Basel)
Hu YS, Marandi S, Modarres M.
europepmc   +1 more source

Moving from theory to practice: Rethinking socio-economic health inequalities beyond social justice framing. [PDF]

Public Health Pract (Oxf)
Ulfah, Suhardita K, Widana IW, Saputra R, Kusmanto AS, Ramadhani E, Arizona.   +6 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Symbolic execution and testing

Information and Software Technology, 1991
Abstract Symbolic execution has several applications mainly in the validation of software. It may be used in the generation of test data, in program proving, and in program reduction. The paper is a tutorial on symbolic execution and how it may be used in software testing and in particular the testing of commercial data-processing (DP) software.
exaly   +2 more sources

Augmented dynamic symbolic execution

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012
Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. However, if such automated oracles do not exist, the traditional approach is to present the developer a small and representative set of tests in order to ...
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan De Halleux   +3 more
openaire   +1 more source

Probabilistic symbolic execution

Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012
The continued development of efficient automated decision procedures has spurred the resurgence of research on symbolic execution over the past decade. Researchers have applied symbolic execution to a wide range of software analysis problems including: checking programs against contract specifications, inferring bounds on worst-case execution ...
Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser   +2 more
openaire   +1 more source

Staged symbolic execution

Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.We present a novel approach to increase the efficiency of symbolic execution for ...
Junaid Haroon Siddiqui, Sarfraz Khurshid
openaire   +1 more source

Multiplex symbolic execution

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Path explosion and constraint solving are two challenges to symbolic execution's scalability. Symbolic execution explores the program's path space with a searching strategy and invokes the underlying constraint solver in a black-box manner to check the feasibility of a path. Inside the constraint solver, another searching procedure is employed to prove
Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang   +5 more
openaire   +1 more source