Sciweavers

6079 search results - page 1032 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FOSSACS
2007
Springer
16 years 17 days ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
16 years 17 days ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
GECCO
2007
Springer
198views Optimization» more  GECCO 2007»
16 years 17 days ago
On the design of optimisers for surface reconstruction
In many industrial applications the need for an efficient and high-quality reconstruction of free-form surfaces does exist. Surface Reconstruction – the generation of CAD models...
Tobias Wagner, Thomas Michelitsch, Alexei Sacharow
GECCO
2007
Springer
154views Optimization» more  GECCO 2007»
16 years 17 days ago
A multi-objective approach to search-based test data generation
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
Kiran Lakhotia, Mark Harman, Phil McMinn
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
16 years 17 days ago
Investigating data-flow coverage of classes using evolutionary algorithms
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
Konstantinos Liaskos, Marc Roper, Murray Wood
« Prev « First page 1032 / 1216 Last » Next »