3527 search results - page 85 / 706 » Test Automation in Practice |
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
AGILEDC
2008
IEEE
15 years 4 months ago
2008
IEEE
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
116
click to vote
INFSOF
2006
14 years 10 months ago
2006
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...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, a new method for AOA estimation, based on the synthetic ESPRIT algorithm is described and tested with actual CDMA signals. Physical size constraints of handheld ...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...