Sciweavers

4276 search results - page 291 / 856
» Techniques for Empirical Validation
Sort
View
ICSM
2007
IEEE
16 years 1 months ago
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
Xiao Qu, Myra B. Cohen, Katherine M. Woolf
ATAL
2004
Springer
16 years 4 days ago
Solving Distributed Constraint Optimization Problems Using Cooperative Mediation
Distributed Constraint Optimization Problems (DCOP) have, for a long time, been considered an important research area for multi-agent systems because a vast number of realworld si...
Roger Mailler, Victor R. Lesser
CHI
1999
ACM
15 years 11 months ago
Exploring Bimanual Camera Control and Object Manipulation in 3D Graphics Interfaces
We explore the use of the non-dominant hand to control a virtual camera while the dominant hand performs other tasks in a virtual 3D scene. Two experiments and an informal study a...
Ravin Balakrishnan, Gordon Kurtenbach
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
15 years 11 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva
WCRE
1997
IEEE
15 years 11 months ago
Program Plan Recognition for Year 2000 Tools
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
Arie van Deursen, Steven Woods, Alex Quilici