Filters








1,540,372 Hits in 2.3 sec

Tests and Proofs

Bernhard Beckert, Reiner Hähnle
2010 Journal of automated reasoning  
These papers present first results in an exciting new field, and we are convinced that this is merely a (promising) start: we can expect much more to come from the combination of Tests and Proofs.  ...  The paper by Delphine Longuet, Marc Aiguier, and Pascale Le Gall "Proof-guided test selection from first-order specifications with equality" is about the generation of test cases for systems that are specified  ... 
doi:10.1007/s10817-010-9173-2 fatcat:fcm252j5wzcvzcvutwr5euyec4

Continuations, proofs and tests [article]

Stefano Guerrini, Andrea Masini
2006 arXiv   pre-print
We give a complete deductive system for tests and we show that it is good to deal with "continuations".  ...  Starting from the notion of "test" proposed by Girard, we develop a notion of test for intuitionistic logic.  ...  Asking at the same time that: a proof is a "failure" of a test and a test is a "failure" of a proof.  ... 
arXiv:cs/0605043v1 fatcat:3eystrxlefbetavmeil25yx2ia

Tests and Proofs for Enumerative Combinatorics [chapter]

Catherine Dubois, Alain Giorgetti, Richard Genestier
2016 Lecture Notes in Computer Science  
In this paper we show how the research domain of enumerative combinatorics can benefit from testing and formal verification.  ...  Before formally proving soundness theorems about these operations, we first validate them, by using logic programming (Prolog) for bounded exhaustive testing and Coq/QuickChick for random testing.  ...  The authors warmly thank the anonymous referees for suggestions, Noam Zeilberger for fruitful discussions and Valerio Senni for advice about his validation library.  ... 
doi:10.1007/978-3-319-41135-4_4 fatcat:nmh3imcwxfbdfbewwjyv6heu3a

Tests and proofs for custom data generators

Catherine Dubois, Alain Giorgetti
2018 Formal Aspects of Computing  
We focus on random property-based testing and bounded exhaustive testing, to find counterexamples for false conjectures in the Coq proof assistant.  ...  Tests and Proofs for Custom Data Generators 3 Brief Presentation of Coq The Coq tool [BC04, Coq17] is a proof assistant, allowing the user to define objects (mathematical objects, data structures, functions  ...  The authors warmly thank Nicolas Magaud for help with Coq, Valerio Senni for advice about his validation library, Noam Zeilberger and Cyril Cohen for fruitful discussions.  ... 
doi:10.1007/s00165-018-0459-1 fatcat:zxrhdrwshrg7vlos3krsoygoj4

Special section of Tests and Proofs 2016

Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Rob Hierons
2018 Formal Aspects of Computing  
Under the traditional view, tests and proofs are strictly alternative approaches.  ...  Thanks to the natural complementarity of tests and proofs, a failed test conclusively indicates the presence of a bug, whereas many passing tests suggest that the cause of a failed proof may be just insufficient  ...  Under the traditional view, tests and proofs are strictly alternative approaches.  ... 
doi:10.1007/s00165-018-0474-2 fatcat:jmujlxn65ffy7bbyg3utbrpvpy

Verification Coverage for Combining Test and Proof [chapter]

Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels
2018 Lecture Notes in Computer Science  
It subsumes functional coverage and structural coverage for both unit testing and unit proof.  ...  However, there is no shared method for test and proof to measure structural coverage.  ...  Acknowledgment The authors would like to thank the anonymous reviewers for their helpful comments and feedbacks.  ... 
doi:10.1007/978-3-319-92994-1_7 fatcat:tudu43edx5b7djqfbzurr66cey

A Short and Unified Proof of Kummer's Test [article]

Tord Sjödin
2018 arXiv   pre-print
We present an exact analysis and a short and unified proof of Kummer's test. The test has been applied to differential equations and studied in mathematical philosophy.  ...  Kummer's test from 1835 states that the positive series ∑_n=1^∞ a_n is convergent if and only if there is a sequence { B_n}_1^∞ of positive numbers such that B_n·a_n /a_n+1 -B_n+1≥ 1 , for all sufficiently  ...  This will allow us to give a very short and unified proof. Proof of Kummer's test.  ... 
arXiv:1802.09858v1 fatcat:kelrp2zcmran5nn2zrpe7lfe6q

Evaluation of Rapid Diagnostic Test Performance [chapter]

Paulo Pereira
2016 Proof and Concepts in Rapid Diagnostic Tests and Technologies  
The statistical approach requires that representative samplings of the populations of infected and healthy individuals are tested.  ...  The claimed requirements should be defined for diagnostic accuracy and agreement outcomes. A spreadsheet is used to estimate the results considering the absolute value and the 95% confidence interval.  ...  RDT is a qualitative (or semiquantitative) test, and it is defined as the test "that detect and/or identify a particular analyte, constituent, or condition (note: this term applies to tests that detect  ... 
doi:10.5772/64179 fatcat:yhg2xnhhyrbl7ksg7kg655xv44

Seven proofs of the Pearson Chi-squared independence test and its graphical interpretation [article]

Eric Benhamou, Valentin Melot
2018 arXiv   pre-print
After presenting the underlying theory with modern notations and showing new way of deriving the proof, we describe an innovative and intuitive graphical presentation of this test.  ...  This paper revisits the Pearson Chi-squared independence test.  ...  The contribution of our paper are twofold: to provide first a modern proof of the Pearson chi square test and second a nice and graphical interpretation of this test.  ... 
arXiv:1808.09171v3 fatcat:7qzqlncxo5cevcphfdng4r6zxm

Circuit complexity, proof complexity, and polynomial identity testing [article]

Joshua A. Grochow, Toniann Pitassi
2014 arXiv   pre-print
In doing so, we highlight the importance of polynomial identity testing (PIT) for understanding proof complexity.  ...  Our proof system helps clarify the relationships between previous algebraic proof systems, and begins to shed light on why proof complexity lower bounds for various proof systems have been so much harder  ...  Acknowledgments We thank David Liu for many interesting discussions, and for collaborating with us on some of the open questions posed in this paper.  ... 
arXiv:1404.3820v1 fatcat:2nerc6uatvdh5pqwtrhelt6jvq

Nanotechnology‐Based Rapid Diagnostic Tests [chapter]

Anna Lyberopoulou, Efstathios P. Efstathopoulos, Maria Gazouli
2016 Proof and Concepts in Rapid Diagnostic Tests and Technologies  
and the nanodiagnostic use of rapid tests in the detection of pathogens, in cancer management, and glucose monitoring for the management of diabetes disease.  ...  Nanobiosensors and microarrays of biosensors can create biochip systems and microfluidic platforms that are the most used nanofabrications for rapid diagnostic tests.  ...  Nanotechnology-Based Rapid Diagnostic Tests http://dx.doi.org/10.5772/63908 Proof and Concepts in Rapid Diagnostic Tests and Technologies  ... 
doi:10.5772/63908 fatcat:x3zdrisplrdhdberc7646hnpd4

Formal firewall conformance testing: an application of test and proof techniques

Achim D. Brucker, Lukas Brügger, Burkhart Wolff
2014 Software testing, verification & reliability  
We extend an existing approach that integrates verification and testing, i. e., tests and proofs to support conformance testing of network policies.  ...  This paper presents a formal model of both stateless and stateful firewalls (packet filters), including network address translation (NAT), to which a specification-based conformance test case generation  ...  _new s" and wp3_p: "wellformed_policy3 p" and wp3_s: "wellformed_policy3 s" and aND: " allNetsDistinct p" shows "matching_rule x p = matching_rule x s" proof ( cases "matching_rule x p") case None have  ... 
doi:10.1002/stvr.1544 fatcat:smgnzys3bnbv3egcu6hfrljnga

Editorial: Diagnostic and Proof Load Tests on Bridges

Eva O. L. Lantsoght
2020 Frontiers in Built Environment  
There are two main types of load test, diagnostic load tests and proof load tests.  ...  This research study examines current stop criteria for proof load tests for flexure, and derives new stop criteria for strain and crack width to avoid a flexural failure during a proof load test.  ...  this Research Topic and his advice and guidance during the development of this collection of articles.  ... 
doi:10.3389/fbuil.2020.586704 fatcat:ewljze6wfjc33hz7ts7whmu4ou

Circuit Complexity, Proof Complexity, and Polynomial Identity Testing

Joshua A. Grochow, Toniann Pitassi
2014 2014 IEEE 55th Annual Symposium on Foundations of Computer Science  
In doing so, we highlight the importance of polynomial identity testing (PIT) for understanding proof complexity.  ...  Circuit Complexity, Proof Complexity, and PIT -J. A. Grochow and T. Pitassi From the proof of this result, together with one of our simulation results (Proposition 2.2), we also get: Corollary 1.2.  ...  Acknowledgments We thank David Liu for many interesting discussions, and for collaborating with us on some of the open questions posed in this paper.  ... 
doi:10.1109/focs.2014.20 dblp:conf/focs/GrochowP14 fatcat:mhmjd72cr5gmfdgtfl4zgsfhsi

Rapid Cardiovascular Diagnostics [chapter]

David C. Gaze
2016 Proof and Concepts in Rapid Diagnostic Tests and Technologies  
Rapid qualitative and quantitative tests are used as an alternative to clinical chemistry laboratories, where urgent testing for cardiac biomarkers has been unavailable.  ...  Rapid diagnostic tests are best suited for markers of ischaemia, necrosis and heart failure, where patients often present acutely to emergency medical services.  ...  Proof and Concepts in Rapid Diagnostic Tests and Technologies  ... 
doi:10.5772/63910 fatcat:vqn4b2g3mrg4rogfyr2oenx4rq
« Previous Showing results 1 — 15 out of 1,540,372 results