124 search results - page 11 / 25 » Artificial Evolution of Active Filters: A Case Study |
CIDM
2009
IEEE
14 years 2 months ago
2009
IEEE
— Identifying faulty classes in object-oriented software is one of the important software quality assurance activities. This paper empirically investigates the application of t...
MSR
2005
ACM
14 years 28 days ago
2005
ACM
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
MSR
2010
ACM
14 years 14 days ago
2010
ACM
—Build systems are responsible for transforming static source code artifacts into executable software. While build systems play such a crucial role in software development and ma...
ECAI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
RTSS
1996
IEEE
13 years 11 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...