Publikationen pro Jahr
Publikationen pro Jahr
- 13 Ergebnisse
Suchergebnisse
-
2008
Using model-checkers to generate and analyze property relevant test-cases
Fraser, G. & Wotawa, F., 2008, in: Software Quality Journal. 16, 2, S. 161-183Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
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, S. 33-46Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
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-168Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, Band 4422. S. 291-305 (Lecture Notes in Computer Science).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-84Publikation: 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-51Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Test-case prioritization with model-checkers
Fraser, G. & Wotawa, F., 2007, IASTED International Conference on Software Engineering. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Using Formal Methods for Ensuring Quality Requirements of Systems
Fraser, G. & Wotawa, F., 2007, in: Elektrotechnik und Informationstechnik. 124, 1, S. 13-16Publikation: Beitrag in einer Fachzeitschrift › Artikel › 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-74Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2006
Property relevant software testing with model-checkers
Fraser, G. & Wotawa, F., 2006, International Workshop on Advances in Model-based Testing. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Using and Improving Requirement Properties for Mutation Based Test-Case Generation
Fraser, G. & Wotawa, F., 2006, in: WI-MAW-Rundbrief. 12, 2, S. 5-23Publikation: Beitrag in einer Fachzeitschrift › Artikel
-
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. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung