Sciweavers

1414 search results - page 69 / 283
» Automated Metamorphic Testing
Sort
View
ICSE
2007
IEEE-ACM
14 years 9 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
VTS
2005
IEEE
162views Hardware» more  VTS 2005»
14 years 2 months ago
Low-Cost Alternate EVM Test for Wireless Receiver Systems
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...
Achintya Halder, Abhijit Chatterjee
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
14 years 3 months ago
Rapidly Prototyped Orthotweezers for Automated Microassembly
— We describe the design, fabrication, and testing of an ultra-low cost Orthotweezers system for microassembly. By utilizing rapid prototyping technology, compliant mechanisms, a...
Aaron M. Hoover, Ronald S. Fearing
IJCNN
2007
IEEE
14 years 3 months ago
Automated Linear Modeling of Time Series with Self Adaptive Genetic Algorithms
—In this paper we present two algorithms that automatically calculate linear expressions for Time Series. To estimate the maximum number of terms of the linear expression and the...
Pedro Flores, Carlos Anaya, Hector M. Ramirez, Lui...
AMEC
2004
Springer
14 years 2 months ago
Three Automated Stock-Trading Agents: A Comparative Study
Abstract. This paper documents the development of three autonomous stocktrading agents within the framework of the Penn Exchange Simulator (PXS), a novel stock-trading simulator th...
Alexander A. Sherstov, Peter Stone