Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematical logic
• School of Computer Science
• University of Manchester
• Mathematics
• Logic in computer science
• Automated theorem proving
• Formal verification
• SPASS
• Andrei Voronkov
• Vampire
• First-order logic

Testing a Saturation-Based Theorem Prover: Experiences and Challenges? Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Mathematics
• Logic in computer science
• Mathematical logic
• Automated theorem proving
• School of Computer Science
• University of Manchester
• Automated reasoning
• Formal verification
• E theorem prover
• IP
• Satisfiability modulo theories

Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW

Source URL: www.lix.polytechnique.fr

• Mathematics
• Multiplication
• Polynomials
• Algebra
• Multiplication algorithm
• Computer algebra
• ToomCook multiplication
• Karatsuba algorithm
• Degree of a polynomial
• Finite field
• Remainder
• Computational complexity of mathematical operations

Practical Semantic Test Simplification Sai Zhang University of Washington A typical testing workflow

Source URL: zhang-sai.github.io

• Computer programming
• Object-oriented programming
• Software engineering
• GNUstep
• NeXT
• Objective-C

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev Joshi

Source URL: rjoshi.org

• Model checkers
• Software testing
• Software engineering
• Concurrent computing
• Model checking
• Promela
• SPIN model checker
• Probability and statistics
• Statistical theory
• Random testing
• Java Pathfinder
• Actor model

Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• High-level programming languages
• Domain-specific language
• JetBrains MPS
• JetBrains
• Red
• Interpreter
• Structure editor
• Declarative programming

ELECTION NOTICE FOR USE WITH THE FEDERAL WRITE-IN ABSENTEE BALLOT (FWAB) R.CIssued by the Testing County Board of Elections BOE to check one:

Source URL: meigs.ohioboe.com

• Elections
• Write-in candidate
• Precinct
• Arizona legislative districts
• Maricopa County
• Arizona
• Pima County
• Arizona

APPS WITH LOVE ENTWICKLUNGSPROZESS TESTING CHECKLISTE

Source URL: appswithlove.com

Testing for Poor Responsiveness in Android Applications Shengqian Yang Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer architecture
• System software
• Software testing
• Smartphones
• Computing platforms
• Alphabet Inc.
• Android
• Mobile app development
• Graphical user interface testing
• Effi
• Test automation

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing