Research output per year
Research output per year
- 13 results
Search results
-
2008
Using model-checkers to generate and analyze property relevant test-cases
Fraser, G. & Wotawa, F., 2008, In: Software Quality Journal. 16, 2, p. 161-183Research output: Contribution to journal › Article › peer-review
-
2007
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Fraser, G., Aichernig, B. & Wotawa, F., 2007, In: Electronic Notes in Theoretical Computer Science . 190, 2, p. 33-46Research output: Contribution to journal › Article
-
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-168Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Redundancy Based Test-Suite Reduction
Fraser, G. & Wotawa, F., 2007, Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007). Springer Verlag, Vol. 4422. p. 291-305 (Lecture Notes in Computer Science).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-84Research 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-51Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Test-case prioritization with model-checkers
Fraser, G. & Wotawa, F., 2007, IASTED International Conference on Software Engineering. ., p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Using Formal Methods for Ensuring Quality Requirements of Systems
Fraser, G. & Wotawa, F., 2007, In: Elektrotechnik und Informationstechnik. 124, 1, p. 13-16Research output: Contribution to journal › Article › 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-74Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2006
Property relevant software testing with model-checkers
Fraser, G. & Wotawa, F., 2006, International Workshop on Advances in Model-based Testing. ., p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Using and Improving Requirement Properties for Mutation Based Test-Case Generation
Fraser, G. & Wotawa, F., 2006, In: WI-MAW-Rundbrief. 12, 2, p. 5-23Research output: Contribution to journal › Article
-
Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis
Fraser, G. & Wotawa, F., 2006, International Conference on Software Engineering Advances. ., p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Verification of platform-independent and platform-specific semantics of dependable embedded systems
Fraser, G., Kandl, S. & Kirner, R., 2006, International Workshop on Dependable Embedded Systems. ., p. ?-?Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review