Sciweavers

5159 search results - page 14 / 1032
» Structural Testing of Executables
Sort
View
FASE
2009
Springer
14 years 4 months ago
Logical Testing
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
Kathryn E. Gray, Alan Mycroft
XPU
2007
Springer
14 years 3 months ago
FitClipse: A Fit-Based Eclipse Plug-In for Executable Acceptance Test Driven Development
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
Chengyao Deng, Patrick Wilson, Frank Maurer
ECOOP
2010
Springer
14 years 1 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
JCC
2008
125views more  JCC 2008»
13 years 9 months ago
Efficient electronic integrals and their generalized derivatives for object oriented implementations of electronic structure cal
: For the new parallel implementation of electronic structure methods in ACES III (Lotrich et al., in preparation) the present state-of-the-art algorithms for the evaluation of ele...
Norbert Flocke, Victor Lotrich
RTSS
2003
IEEE
14 years 3 months ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters