21183 search results - page 342 / 4237 » Adaptive Testing by Test |
146
click to vote
TCAD
2010
15 years 1 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
330
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
158
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The idea of conducting usability tests remotely emerged ten years ago. Since then, it has been studied empirically, and some software organizations employ remote methods. Yet ther...
161
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
174
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...