Sciweavers

3547 search results - page 113 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
IPPS
2010
IEEE
15 years 4 months ago
Performance prediction of weather forecasting software on multicore systems
Performance prediction is valuable in different areas of computing. The popularity of lease-based access to high performance computing resources particularly benefits from accurate...
Javier Delgado, Seyed Masoud Sadjadi, Marion Brigh...
EGH
2011
Springer
14 years 6 months ago
High-Performance Software Rasterization on GPUs
In this paper, we implement an efficient, completely software-based graphics pipeline on a GPU. Unlike previous approaches, we obey ordering constraints imposed by current graphi...
Samuli Laine, Tero Karras
ICSE
2004
IEEE-ACM
16 years 7 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
FM
2005
Springer
108views Formal Methods» more  FM 2005»
16 years 10 days ago
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
Marie-Claude Gaudel
ESEM
2007
ACM
15 years 10 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba