Sciweavers

1034 search results - page 124 / 207
» Cooperative work in software testing
Sort
View
CONIELECOMP
2011
IEEE
14 years 1 months ago
FPGA design and implementation for vertex extraction of polygonal shapes
This work focuses on developing systems of blocks in SIMULINK and VHDL to reuse on design of applications involving the recognition of polygonal objects. Usage of this work reduce...
Jorge Martínez-Carballido, Jorge Guevara-Es...
GECCO
2005
Springer
124views Optimization» more  GECCO 2005»
15 years 3 months ago
Generalized benchmark generation for dynamic combinatorial problems
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
Abdulnasser Younes, Paul H. Calamai, Otman A. Basi...
93
Voted
CCS
2009
ACM
15 years 2 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
82
Voted
SIGCSE
2009
ACM
119views Education» more  SIGCSE 2009»
15 years 10 months ago
Implications of integrating test-driven development into CS1/CS2 curricula
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
Chetan Desai, David S. Janzen, John Clements
69
Voted
CGI
2006
IEEE
15 years 4 months ago
Spatio-temporal Visualization of Battlefield Entities and Events
In this work, we address visualization of spatio-temporal data for military application. Four different visualization prototypes have been developed to track the movement of milita...
Qiyue Fong, Foo Meng Ng, Zhiyong Huang