Search Sciweavers | Sciweavers

5159 search results - page 19 / 1032

» Structural Testing of Executables

click to vote

HPCA
2006
IEEE

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

Completely verifying memory consistency of test program executions

14 years 10 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 »

click to vote

XPU
2007
Springer

129views Software Engineering» more XPU 2007»

Multiple Perspectives on Executable Acceptance Test-Driven Development

14 years 4 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 »

click to vote

EMISA
2007
Springer

73views Information Technology» more EMISA 2007»

An Approach to use Executable Models for Testing

14 years 4 months ago

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

Michael Soden, Hajo Eichler

claim paper

Read More »