Search Sciweavers | Sciweavers

5159 search results - page 19 / 1032

» Structural Testing of Executables

166

click to vote

HPCA
2006
IEEE

136views Distributed And Parallel Com...» more HPCA 2006»

Completely verifying memory consistency of test program executions

16 years 6 months ago

Download www-cs-students.stanford.edu

An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...

Chaiyasit Manovit, Sudheendra Hangal

claim paper

Read More »

148

click to vote

XPU
2007
Springer

129views Software Engineering» more XPU 2007»

Multiple Perspectives on Executable Acceptance Test-Driven Development

15 years 11 months ago

Download www.agilealliance.org

This descriptive case study is about the dynamics of a software engineering team using executable acceptance test-driven development in a real world project. The experiences of a c...

Grigori Melnik, Frank Maurer

claim paper

Read More »

105

click to vote

EMISA
2007
Springer

73views Information Technology» more EMISA 2007»

An Approach to use Executable Models for Testing

15 years 11 months ago

Download www.wi-inf.uni-due.de

Michael Soden, Hajo Eichler

claim paper