Results 11 to 20 of about 11,158,151 (301)
Test Transplantation through Dynamic Test Slicing
2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), 2022 Abstract: Previous research has demonstrated that the test coverage of libraries can be expanded by using existing test inputs from their dependent projects. In this paper, we propose an algorithm for test transplantation based on test slicing. The algorithm extracts test inputs, isolates them by creating mocks, and then transplants the test code onto ...
Abdi, Mehrdad, Demeyer, Serge
openaire +2 more sources
Statistical Tests of Symbolic Dynamics [PDF]
Mathematics, 2021 A novel general method for constructing nonparametric hypotheses tests based on the field of symbolic analysis is introduced in this paper. Several existing tests based on symbolic entropy that have been used for testing central hypotheses in several branches of science (particularly in economics and statistics) are particular cases of this general ...
Fernando López +3 more
openaire +4 more sources
, 2023 This is a sample submission generated by Vireo to test the repository deposit ...
Submitter, Test
core +3 more sources
Evaluation of the static and multistage geocell pullout behavior in coarse grained soil [PDF]
مهندسی عمران شریف, 2022 Geocell mattresses are one type of three-dimensional honeycomb soil reinforcements that is manufactured from polyethylene sheets using ultrasonically welded joints.
A. Namaei-kohal +2 more
doaj +1 more source
March Test Generation Revealed [PDF]
, 2008 Memory testing commonly faces two issues: the characterization of detailed and realistic fault models and the definition of time-efficient test algorithms.
Di Natale, Giorgio +5 more
core +1 more source
Journal of Computer and System Sciences, 1987 The paper contributes to the so far developed theory of regular dynamic algebras [for a survey see, e.g., \textit{D. Kozen}, Lect. Notes Comput. Sci. 125, 1-11 (1981; Zbl 0482.03008)]. Test algebras provide an algebraic abstraction capturing logical aspects of if-then-else and while-do like programming constructs.
Vera Trnková, Jan Reiterman
openaire +3 more sources
March AB, March AB1: new March tests for unlinked dynamic memory faults [PDF]
, 2005 Among the different types of algorithms proposed to test static random access memories (SRAMs), March tests have proven to be faster, simpler and regularly structured. New memory production technologies introduce new classes of faults usually referred to
Di Natale, Giorgio +9 more
core +1 more source
Sensors, 2015 Pressure measurements in high-temperature applications, including compressors, turbines, and others, have become increasingly critical. This paper proposes an implantable passive LC pressure sensor based on an alumina ceramic material for in situ ...
Jijun Xiong +7 more
doaj +1 more source
IEEE Access, 2020 In this paper, a capacitive pressure sensor for high-temperature application is proposed. This sensor includes three parts: a capacitive pressure-sensitive chip fabricated from green tapes using lamination technology, a C-V conversion circuit fabricated ...
Chen Li +5 more
doaj +1 more source