Search Sciweavers | Sciweavers

6800 search results - page 30 / 1360

» Testing with Functions as Specifications

click to vote

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 3 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 1 months ago

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

Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...

claim paper

Read More »

click to vote

ECMDAFA
2008
Springer

118views Hardware» more ECMDAFA 2008»

Model-Driven Platform-Specific Testing through Configurable Simulations

15 years 1 months ago

Download www.fokus.fraunhofer.de

Thomas Kuhn, Reinhard Gotzhein

claim paper

Read More »

click to vote

FMOODS
2007

70views Formal Methods» more FMOODS 2007»

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

15 years 1 months ago

Download www.di.unito.it

Marco Bernardo, Luca Padovani

claim paper

Read More »

click to vote

SERP
2008

73views Software Engineering» more SERP 2008»

Validating Specifications for Model-Based Testing

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers