Sciweavers

8398 search results - page 220 / 1680
» Optimal Software Testing
Sort
View
FATES
2006
Springer
15 years 10 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
DAC
2005
ACM
15 years 8 months ago
Multi-frequency wrapper design and optimization for embedded cores under average power constraints
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
Qiang Xu, Nicola Nicolici, Krishnendu Chakrabarty
CHI
2005
ACM
16 years 7 months ago
Testing the media equation with children
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
Sonia Chiasson, Carl Gutwin
AOSD
2006
ACM
16 years 15 days ago
A framework and tool supports for generating test inputs of AspectJ programs
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
Tao Xie, Jianjun Zhao
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
15 years 12 months ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler