Sciweavers

1682 search results - page 28 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 3 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
SIGIR
2008
ACM
15 years 3 months ago
Ambiguous queries: test collections need more sense
Although there are many papers examining ambiguity in Information Retrieval, this paper shows that there is a whole class of ambiguous word that past research has barely explored....
Mark Sanderson
ISSRE
2006
IEEE
15 years 9 months ago
Call Stack Coverage for GUI Test-Suite Reduction
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
Scott McMaster, Atif M. Memon
EH
2000
IEEE
123views Hardware» more  EH 2000»
15 years 7 months ago
The Test Vector Problem and Limitations to Evolving Digital Circuits
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
Kosuke Imamura, James A. Foster, Axel W. Krings
87
Voted
EDM
2010
138views Data Mining» more  EDM 2010»
15 years 4 months ago
Multiple Test Forms Construction based on Bees Algorithm
This paper proposes a new construction method of multiple test forms that applies a Bees Algorithm and a parallel computation technique to improve the computational costs of the tr...
Pokpong Songmuang, Maomi Ueno