Testmethodik, Testmanagement und Zertifizierung (SN-P2)

Research output

Research output per year 2007 2007 2007

• 7 Conference paper

Research output per year

Research output per year

Search results

• 2007

  Creating Test-Cases Incrementally with Model-Checkers

  Fraser, G. & Wotawa, F., 2007, Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., p. 415-420

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Improving Model-Checkers for Software Testing

  Fraser, G. & Wotawa, F., 2007, Quality Software, 2007. QSIC '07. Seventh International Conference on. IEEE Computer Society, p. 25-31

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Mutant Minimization for Model-Checker Based Test-Case Generation

  Fraser, G. & Wotawa, F., 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007. ., p. 161-168

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Nondeterministic Testing with Linear Model-Checker Counterexamples

  Fraser, G. & Wotawa, F., 2007, Quality Software, 2007. QSIC '07. Seventh International Conference on. IEEE Computer Society, p. 107-116

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Relating Counterexamples to Test Cases in CTL Model Checking Specifications

  Wijesekera, D., Sun, L., Ammann, P. & Fraser, G., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 75-84

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

  Fraser, G. & Wotawa, F., 2007, Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007). Los Alamitos, CA, USA: IEEE Computer Society, p. 45-51

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

  Fraser, G. & Wotawa, F., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 64-74

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review