<--- Back to Details
First PageDocument Content
Robustness testing / Technology / Fault injection / Test automation / Test data / Reliability engineering / Robustness / Software Reliability Testing / Software testing / Software quality / Evaluation
Date: 2007-08-28 13:43:52
Robustness testing
Technology
Fault injection
Test automation
Test data
Reliability engineering
Robustness
Software Reliability Testing
Software testing
Software quality
Evaluation

Add to Reading List

Source URL: www.ece.cmu.edu

Download Document from Source Website

File Size: 123,92 KB

Share Document on Facebook

Similar Documents

Finite automata / Abstract algebra / Algebra / Finite-state transducer / Mathematics / Theoretical computer science / Finite-state machine / Semigroup action / Kazhdan's property / Tree transducer

Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

DocID: 1xW24 - View Document

Artificial neural networks / Applied mathematics / Cybernetics / Mathematics / Deep learning / CIFAR-10 / MNIST database / Rectifier / Softmax function / Feedforward neural network / Gradient descent / Activation function

Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT

DocID: 1xUR8 - View Document

Finite automata / Finite-state transducer / Timed automaton / Finite-state machine / Control theory / XC / Applied mathematics / Mathematics / Systems science / Tree transducer

Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2

DocID: 1xTOk - View Document

Finite automata / Levenshtein distance / Linguistics / Theoretical computer science / Finite-state transducer / Mathematics / Nested stack automaton

Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2

DocID: 1xToH - View Document

Mathematics / Elementary mathematics / Formal languages / Theoretical computer science / Finite automata / Linguistics / Dynamic programming / String / Levenshtein distance / Finite-state transducer / Term / Sequence

Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2

DocID: 1xT7Y - View Document