Sciweavers

6800 search results - page 30 / 1360
» Testing with Functions as Specifications
Sort
View
125
Voted
AMOST
2007
ACM
15 years 7 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
ISSTA
2010
ACM
15 years 5 months ago
Generating test cases for specification mining
Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...
98
Voted
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 5 months ago
Model-Driven Platform-Specific Testing through Configurable Simulations
Thomas Kuhn, Reinhard Gotzhein
99
Voted
SERP
2008
15 years 5 months ago
Validating Specifications for Model-Based Testing
Pieter W. M. Koopman, Peter Achten, Rinus Plasmeij...