Sciweavers

8398 search results - page 63 / 1680
» Optimal Software Testing
Sort
View
161
Voted
AMOST
2007
ACM
15 years 4 months ago
Test purpose generation in an industrial application
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...
106
Voted
AMOST
2007
ACM
15 years 4 months ago
Model-based regression test suite generation using dependence analysis
Yanping Chen, Robert L. Probert, Hasan Ural
100
Voted
AMOST
2007
ACM
15 years 4 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
COMPSAC
2004
IEEE
15 years 4 months ago
Generating Regression Tests via Model Checking
Lihua Xu, Marcio S. Dias, Debra J. Richardson
66
Voted
CODES
2001
IEEE
15 years 4 months ago
SystemC: a homogenous environment to test embedded systems
Alessandro Fin, Franco Fummi, Maurizio Martignano,...