A Linear Lower Bound on the Query Complexity of Property Testing Algorithms for 3-Coloring in Bounded-degree Graphs Andrej Bogdanov∗ Kenji Obata†

Source URL: www.cse.cuhk.edu.hk

LD 328 Amendments Stakeholder Comment Agreement Version RESIDENTIAL RENTAL PROPERTY RADON TESTING RULES PROVISIONS DRAFT 2 Summary: These rules provisions are designed to provide oversight for radon testing in residenti

Source URL: www.lsrobinson.com

Dependable Property-Based Testing Advisor: C˘at˘alin Hrit¸cu definitions, and countless iterations for discovering the correct lemmas and strengthening inductive invariants.

Source URL: prosecco.gforge.inria.fr

• Theoretical computer science
• Software engineering
• Software testing
• Formal methods
• Computing
• Logic in computer science
• Proof assistants
• Formal verification
• Random testing
• Coq
• Correctness
• Isabelle

QuickChick: A Coq Framework For Verified Property Based Testing Zoe Paraskevopoulou September 8, 2014

Source URL: prosecco.gforge.inria.fr

Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Bernhard K. Aichernig and Richard Schumi Institute of Software Technology, Graz University of Technology, Austria {aichernig,rschumi}@i

Source URL: truconf.ist.tugraz.at

Dual Problems in Property Testing Roei Tell, Weizmann Institute of Science ITCS, January 2016 Property Testing Distinguish between objects that:

Source URL: theory.csail.mit.edu

Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell

Source URL: www.cis.upenn.edu

• Software testing
• Software
• Computing
• QuickCheck
• Dropbox
• Random testing
• Test harness
• Test case

Lower bounds in models other than communication complexity: Turing machines, branching programs, span programs, decision trees, Boolean circuits, property testing April 12, 2014

Source URL: people.cs.uchicago.edu

• Combinatorica
• Communication complexity
• Academia
• Computer science

Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes∗† , Benjamin C. Pierce‡ , Thomas Arts∗ , Ulf Norell∗† , ∗ †

Source URL: www.cis.upenn.edu

• Software
• Computing
• Free software
• Data synchronization
• Cloud storage
• Statistical tests
• Cloud applications
• Online backup services
• OwnCloud
• Dropbox
• Synchronization
• Distributed computing

BDGCC Standardization Organization GSO Gulf Technical Regulation for Low Voltage Electrical Equipment and

Source URL: www.gso.org.sa

• International relations
• Economy
• International trade
• Continental unions
• Economic integration
• Intellectual property organizations
• Trade blocs
• Product testing
• GCC Standardization Organization
• Type approval
• Gulf Cooperation Council
• Electromagnetic compatibility