Testing

Results: 56338



#Item
21Theoretical 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,2 1 School of Computer Science, University of Manchester, UK

Add to Reading List

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

Language: English - Date: 2017-07-31 12:00:20
22Theoretical 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

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

Add to Reading List

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

Language: English - Date: 2017-07-31 05:29:21
23Mathematics / Multiplication / Polynomials / Algebra / Multiplication algorithm / Computer algebra / ToomCook multiplication / Karatsuba algorithm / Degree of a polynomial / Finite field / Remainder / Computational complexity of mathematical operations

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

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2016-05-19 17:03:48
24Computer programming / Object-oriented programming / Software engineering / GNUstep / NeXT / Objective-C

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

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
25Model checkers / Software testing / Software engineering / Concurrent computing / Model checking / Promela / SPIN model checker / Probability and statistics / Statistical theory / Random testing / Java Pathfinder / Actor model

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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:44:46
26Software engineering / Computing / Computer programming / Language workbench / High-level programming languages / Domain-specific language / JetBrains MPS / JetBrains / Red / Interpreter / Structure editor / Declarative programming

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

Add to Reading List

Source URL: mbeddr.com

Language: English - Date: 2018-08-02 04:06:51
27Elections / Write-in candidate / Precinct / Arizona legislative districts / Maricopa County /  Arizona / Pima County /  Arizona

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:

Add to Reading List

Source URL: meigs.ohioboe.com

Language: English - Date: 2018-07-26 09:53:08
28

APPS WITH LOVE ENTWICKLUNGSPROZESS TESTING CHECKLISTE

Add to Reading List

Source URL: appswithlove.com

Language: German - Date: 2018-10-19 08:50:21
    29Computing / Computer architecture / System software / Software testing / Smartphones / Computing platforms / Alphabet Inc. / Android / Mobile app development / Graphical user interface testing / Effi / Test automation

    Testing for Poor Responsiveness in Android Applications Shengqian Yang Dacong Yan

    Add to Reading List

    Source URL: dacongy.github.io

    Language: English - Date: 2017-06-27 01:04:15
    30Software testing / Software engineering / Computing / Software development / Symbolic execution / Random testing / Unit testing / Code coverage / Test automation / Algorithm / Manual testing / Concolic testing

    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

    Add to Reading List

    Source URL: www.falkhowar.de

    Language: English - Date: 2018-09-30 08:43:02
    UPDATE