Sciweavers

1890 search results - page 13 / 378

» Model-Based Testing in Practice

108

Voted

SERP
2008

73views Software Engineering» more SERP 2008»

Validating Specifications for Model-Based Testing

15 years 6 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 »

93

Voted

PTS
2007

83views Hardware» more PTS 2007»

Model-Based Testing of Service Infrastructure Components

15 years 6 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 »

115

Voted

TAICPART
2010
IEEE

167views Education» more TAICPART 2010»

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

15 years 3 months ago

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

Download research.microsoft.com

Wolfgang Grieskamp

claim paper

Read More »

115

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 2 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 »

132

DAC
2009
ACM

114views Computer Architecture» more DAC 2009»

Generating test programs to cover pipeline interactions

16 years 6 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 »