Search Sciweavers | Sciweavers

6800 search results - page 30 / 1360

» Testing with Functions as Specifications

152

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 10 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

118

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 8 months ago

Download www.st.cs.uni-saarland.de

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

123

click to vote

ECMDAFA
2008
Springer

118views Hardware» more ECMDAFA 2008»

Model-Driven Platform-Specific Testing through Configurable Simulations

15 years 7 months ago

Download www.fokus.fraunhofer.de

Thomas Kuhn, Reinhard Gotzhein

claim paper

Read More »

113

click to vote

FMOODS
2007

70views Formal Methods» more FMOODS 2007»

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders

15 years 7 months ago

Download www.di.unito.it

Marco Bernardo, Luca Padovani

claim paper

Read More »

120

click to vote

SERP
2008

73views Software Engineering» more SERP 2008»

Validating Specifications for Model-Based Testing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers