Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AMOST
2007
ACM
10 years 8 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...
AMOST
2007
ACM
10 years 8 months ago
Relating counterexamples to test cases in CTL model checking specifications
Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...
AMOST
2007
ACM
10 years 8 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
AMOST
2007
ACM
10 years 8 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
AMOST
2007
ACM
10 years 8 months ago
Test purpose generation in an industrial application
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...
books