Sciweavers

1890 search results - page 13 / 378

» Model-Based Testing in Practice

60

SERP
2008

73views Software Engineering» more SERP 2008»

Validating Specifications for Model-Based Testing

14 years 11 months ago

Validating Specifications for Model-Based Testing

Download www.st.cs.ru.nl

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeij...

claim paper

Read More »

48

PTS
2007

83views Hardware» more PTS 2007»

Model-Based Testing of Service Infrastructure Components

14 years 11 months ago

Model-Based Testing of Service Infrastructure Components

Download rap.dsi.unifi.it

László Gönczy, Reiko Heckel, D&...

claim paper

Read More »

60

TAICPART
2010
IEEE

167views Education» more TAICPART 2010»

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

14 years 8 months ago

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

63

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

14 years 7 months ago

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

72

DAC
2009
ACM

114views Computer Architecture» more DAC 2009»

Generating test programs to cover pipeline interactions

15 years 10 months ago

Generating test programs to cover pipeline interactions

Download www.comp.nus.edu.sg

Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...

Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, ...

claim paper

Read More »

« Prev « First page 13 / 378 Last » Next »