49 search results - page 3 / 10 » tse 2010 |
TSE
2010
13 years 4 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
JMS
2010
13 years 8 months ago
2010
TSE
2010
13 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
TSE
2010
13 years 8 months 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...
TSE
2010
13 years 8 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...