Using Model Checking to Generate Test Cases for Android Applications Ana Rosario Espada María del Mar Gallardo Alberto Salmerón Pedro Merino

Source URL: www.mbt-workshop.org

MODEL 4300 DESKTOP AUTOMATED TEST SYSTEM The Model 4300 has all the power of Maccor’s Series 4000 floor standing cabinet conveniently packaged in a desktop cabinet. Convenient

Source URL: www.maccor.com

MODEL 4400 AUTOMATED TEST SYSTEM The Model 4400 has all the power of Maccor’s Series 4000 floor standing cabinet conveniently packaged in a portable tool case enclosure. SMB, I2C Communications

Source URL: www.maccor.com

Parallel Feature Selection inspired by Group Testing Yingbo Zhou∗ Utkarsh Porwal∗ CSE Department SUNY at Buffalo {yingbozh, utkarshp}@buffalo.edu

Source URL: papers.nips.cc

• Statistics
• Statistical classification
• Computer programming
• Data
• Machine learning
• Model selection
• Nonparametric statistics
• Support vector machine
• Feature selection
• Test set
• Separable space
• Recursion

Objective Scoring for Computing Competition Tasks Graeme Kemkes, Troy Vasiga, and Gordon Cormack University of Waterloo Waterloo, Ontario, Canada Abstract Computing competitions like the International Olympiad in Informa

Source URL: plg.uwaterloo.ca

• Education
• Psychometrics
• Statistics
• Standardized tests
• Evaluation
• Statistical models
• Educational psychology
• Item response theory
• International Olympiad in Informatics
• Graduate Record Examinations
• Test
• Rasch model

A Preliminary Test of the EBE Model Daryl J. Bem Cornell University There have now been several studies showing a correlation between an individual’s sexual orientation and his or her genotype. In one, a sample of 115

Source URL: dbem.ws

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, SPECIAL ISSUE, VOL. 6, NO. 1, DECEMBERA Combined Design-Time/Test-Time Study of the Vulnerability of Sub-Threshold Devices to

Source URL: euler.ecs.umass.edu

• Cryptography
• Stream ciphers
• Advanced Encryption Standard
• Differential fault analysis
• Block cipher
• VEST
• Data Encryption Standard
• Fault model
• Fault injection
• Side-channel attack
• Common Scrambling Algorithm

Automatic generation of test drivers for model inference of web applications Karim Hossen*, Roland Groz, Catherine Oriat and Jean-Luc Richier Université de Grenoble, FSt Martin d’Hères Cedex, France {lastname}

Source URL: www.spacios.eu

TECHNICAL REPORT TR-298 Management model for DSL line test Issue: 1 Issue Date: September 2013

Source URL: www.broadband-forum.org

Using Model Checking to Generate Test Cases for Android Applications Ana Rosario Espada Mar´ıa del Mar Gallardo Alberto Salmer´on Pedro Merino

Source URL: www.mbt-workshop.org