Results 31 to 40 of about 4,308,293 (309)
Linking unit tests and properties [PDF]
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 2015 QuickCheck allows us to verify software against particular proper- ties. A property can be regarded as an abstraction over many unit tests. QuickCheck uses generated random input data to test such properties. If a counterexample is found, it becomes immediately clear what we have tested.
Alex Gerdes +3 more
openaire +2 more sources
Testing hereditary properties of nonexpanding bounded-degree graphs [PDF]
, 2007 We study graph properties that are testable for bounded-degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined graph property and graphs that are far from every graph having that property. It
Christian Sohler +5 more
core +1 more source
Testing of Kitazin for its Irritancy property in Rabbits [PDF]
Veterinary World, 2008 Kitazin (technical grade, 94% pure), is an organophosphate group of pesticide was evaluated for irritancy property on skin and mucous membrane of New Zealand rabbits.
G.D.Ranvir and V.P. Vadlamudi
doaj +2 more sources
Scalable Intrusion Detection in IoT Networks Via Property Testing and Federated Edge AI
IEEE AccessThe rapid proliferation of Internet of Things (IoT) devices has expanded the attack surface for cyber threats, necessitating real-time and scalable security solutions. Traditional Intrusion Detection Systems (IDS) require extensive data processing, which
Manuel J. Cabral S. Reis
doaj +1 more source
Process Behaviour: Formulae vs. Tests (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a recursive version of
Andrea Cerone, Matthew Hennessy
doaj +1 more source
Intellectual Property Ordering beyond Borders
, 2022 This volume offers a broad range of perspectives on how intellectual property rights are protected beyond borders and highlights how public international law is an under-researched common denominator in the global protection of IP rights.
core +1 more source
Testing the Effectiveness of Outlier Detecting Methods in Property Classification
Real Estate Management and Valuation, 2020 The introduction of the property value tax in Poland may lead to an increase in the tax burden on real estate. Pilot studies may be carried out on samples and the results should feature a high degree of certainty as to the extrapolation of the results on
Gnat Sebastian
doaj +1 more source
Computer Science ReviewSurvey article to appear in Computer Science ...
Lior Gishboliner, Asaf Shapira
openaire +3 more sources
Testing Symmetric Properties of Distributions [PDF]
SIAM Journal on Computing, 2008 We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that "a distribution property in the class is testable if and only if the Canonical Tester tests it". We construct a Canonical Tester for the class of symmetric properties of one or two distributions, satisfying a ...
openaire +4 more sources
Tester-Guided Graph Learning with End-to-End Detection Certificates for Triangle-Based Anomalies
Big Data and Cognitive ComputingWe investigate anomaly detection in complex networks through a property-testing-guided graph neural model (PT-GNN) that provides an end-to-end miss-probability certificate (δ+α).
Manuel J. C. S. Reis
doaj +1 more source