Results 11 to 20 of about 403,714 (266)
Black-box approach for software testing based on fat-property [PDF]
MATEC Web of Conferences, 2020 After a useful and summarized procedure of software testing is put forward based software engineering view, this paper proposed a definition of fat-property according to software testing activity in product quality monitoring software.
TanLi Mengqing +3 more
doaj +1 more source
Mechanical Spark Electrostatic Property Testing Method
Management Systems in Production Engineering, 2023 The article describes an attempt to assess the electrostatic properties of mechanical friction-induced sparking. Such sparks are the cause of numerous accidents in hard coal mines.
Kędzierski Przemysław
doaj +1 more source
Coverage Criteria for Model-Based Testing using Property Patterns [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an ...
Kalou Cabrera Castillos +2 more
doaj +1 more source
Distribution-Free Property-Testing [PDF]
SIAM Journal on Computing, 2003 We consider the problem of distribution-free property-testing of functions. In this setting of property-testing, the distance between functions is measured with respect to a fixed but unknown distribution $D$ on the domain. The testing algorithms are given oracle access to random sampling from the domain according to this distribution $D$.
Shirley Halevy, Eyal Kushilevitz
openaire +1 more source
Erasure-Resilient Property Testing [PDF]
SIAM Journal on Computing, 2018 Property testers form an important class of sublinear algorithms. In the standard property testing model, an algorithm accesses the input function via an oracle that returns function values at all queried domain points. In many realistic situations, the oracle may be unable to reveal the function values at some domain points due to privacy concerns, or
Dixit, Kashyap +3 more
openaire +4 more sources
Non-Deterministic Graph Property Testing [PDF]
Combinatorics, Probability and Computing, 2013 A property of finite graphs is called non-deterministically testable if it has a ‘certificate’ such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs.
L. Lovxe1sz, K. Vesztergombi
openaire +3 more sources
Journal of Constitutional Law, 2020 The beginning of 2020 marked an unexpected turn for the world, the global pandemic of COVID-19 has affected every aspect of life. It has also created an unprecedented opportunity for governments to justify the expansion of their surveillance and ...
Clarisa Long
doaj
Testing and Evaluation of the Oil Absorption Characteristics of Cotton Fibers
Journal of Natural Fibers, 2022 The wetting property to different oil of cotton fibers which come from different regions of China was studied. The surface adsorption characteristics of cotton fibers were characterized.
Shengbin Cao +4 more
doaj +1 more source
IEEE Access, 2019 As PUFs become ubiquitous for commercial products (e.g., FPGAs from Xilinx, Altera, and Microsemi), attacks against these primitives are evolving toward more omnipresent and even advanced techniques.
Fatemeh Ganji +2 more
doaj +1 more source
Shenzhen Daxue xuebao. Ligong ban, 2023 In order to improve the self-healing property of concrete, a lightweight aggregate concrete mixed with mineral and water-absorbing resin was designed. Based on impedance spectroscopy testing, the effects of different particle size of absorbent polymers ...
WANG Xianfeng +3 more
doaj +1 more source