Sciweavers

5855 search results - page 176 / 1171
» Test generation and minimization with
Sort
View
INFSOF
2006
151views more  INFSOF 2006»
15 years 6 months ago
Prioritized interaction testing for pair-wise coverage with seeding and constraints
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
Renée C. Bryce, Charles J. Colbourn
ASIACRYPT
2009
Springer
16 years 1 months ago
Secure Multi-party Computation Minimizing Online Rounds
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
Seung Geol Choi, Ariel Elbaz, Tal Malkin, Moti Yun...
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
15 years 11 months ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
15 years 4 months ago
Bad Pairs in Software Testing
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
EUROCAST
2009
Springer
132views Hardware» more  EUROCAST 2009»
16 years 1 months ago
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
Cyrille Artho