Testmethodik, Testmanagement und Zertifizierung (SN-P2)

Publikationen

Publikationen pro Jahr 2007 2007 2007

• 7 Beitrag in einem Konferenzband

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2007

  Creating Test-Cases Incrementally with Model-Checkers

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

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Improving Model-Checkers for Software Testing

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

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• 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. ., S. 161-168

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Nondeterministic Testing with Linear Model-Checker Counterexamples

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

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• 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, S. 75-84

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• 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, S. 45-51

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• 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, S. 64-74

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung