498 search results - page 49 / 100 » Automated Software Test Data Generation for Complex Programs |
116
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
88
Voted
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Typical domains used in machine learning analyses only partially cover the complexity space, remaining a large proportion of problem difficulties that are not tested. Since the ac...
136
Voted
TSE
2010
15 years 17 days ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
120
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
100
Voted
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...