278 search results - page 10 / 56 » A Framework for Counterexample Generation and Exploration |
FORTEST
2008
13 years 10 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
ICPR
2010
IEEE
13 years 7 months ago
2010
IEEE
—Most research works focus on pattern recognition within a small sample images but strategies for running efficiently these algorithms over large images are rarely if ever speci...
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
— This work is the first attempt to investigate the neural dynamics of a simulated robotic agent engaged in minimally cognitive tasks by employing evolved instances of the Kuram...
ECIS
2000
13 years 9 months ago
2000
- The issue of web-site quality is tackled from the perspective of the `voice of the customer'. Quality function deployment (QFD) is adopted as a framework for identifying web...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an Integrated Framework of Design Optimization and Space Minimization (IDOM) for generating the minimum number of functional units with schedule length and mem...