Fakultät für Informatik

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

TUM
 
 

2005


Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Model-based Testing of Reactive Systems
LNCS, volume 3472 , Springer Verlag, 2005
Book   Details | Bibtex Entry

PDF-Datei A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B.Sostawa, R. Zölch, T. Stauner
One Evaluation of Model-Based Testing and its Automation
In Proc. 27th International Conference on Software Engineering, number ICSE'05, ACM Press, 2005
Conference paper   Details | Bibtex Entry

2004


PDF-Datei Wolfgang Prenninger, Alexander Pretschner
Abstractions for Model-Based Testing
In Proceedings Test and Analysis of Component-based Systems ({TACoS'04}), Mauro Pezze (Eds.), 2004
Conference paper   Details | Bibtex Entry

Vadim Alyokhin,Benedikte Elbel,Martin Rothfelder,Alexander Pretschner
Coverage Metrics for Continuous Function Charts
In Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), 2004
Conference paper   Details | Bibtex Entry

A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel
Model Based Testing for Real--The Inhouse Card Case Study
In J. Software Tools for Technology Transfer, 2004
Journal article   Details | Bibtex Entry

2003


PDF-Datei A. Pretschner
Compositional Generation of MC/DC Integration Test Suites
In Proc. TACoS'03, Warsaw, Electronic Notes in Theoretical Computer Science 82(6), pp. 1 - 11, 2003
Conference paper   Details | Bibtex Entry

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in incremental system development
Journal of Systems and Software, 2003
Journal article   Details | Bibtex Entry

PDF-Datei Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
Model-based test case generation for smart cards
In Formal Methods for Industrial Critical Systems, pp. 168 - 182, volume 80, ENTCS, 2003
Conference paper   Details | Bibtex Entry

A. Pretschner
Modellbasiertes Testen
In Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003
Conference paper   Details | Bibtex Entry

PDF-Datei Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Prototype-based tests for hybrid reactive systems
In Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping (RSP'03), pp. 78 - 85, IEEE Computer Society, 2003
Conference paper   Details | Bibtex Entry

PDF-Datei Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
Tests for mixed discrete-continuous systems
Technical Report, number TUM-I0301, , 2003
Technical Report   Details | Bibtex Entry

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The automotive CASE
M. Nagl, B. Westfechtel (Eds.), pp. 211 - 228, Wiley, 2003
Book chapter   Details | Bibtex Entry

2002


PDF-Datei Klaus Bender, Manfred Broy, Istvan Peter, Alexander Pretschner, Thomas Stauner
Model based development of hybrid systems: specification, simulation, test case generation
number LNCS 279, Springer, 2002
Book chapter   Details | Bibtex Entry

PDF-Datei Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
Model-Based Development of Embedded Systems
Technical Report, number TUM-I0204, , 2002
Technical Report   Details | Bibtex Entry

PDF-Datei B. Schätz, A. Pretschner, F. Huber, J. Philipps
Model-Based Development of Embedded Systems
In Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science, pp. 298 - 311, volume 2426, Springer Verlag, 2002
Conference paper   Details | Bibtex Entry

PDF-Datei A. Blotz, F. Huber, H. Lötzbeyer, A. Pretschner, O. Slotosch, P. Zängerl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
In Proc. Ada Deutschland Tagung, Jena, 2002
Conference paper   Details | Bibtex Entry

PDF-Datei Alexander Pretschner, Jan Philipps
Szenarien modellbasierten Testens
Technical Report, number TUM-I0205, , 2002
Technical Report   Details | Bibtex Entry

Peter Braun, Manfred Broy, María Victoria Cengarle, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Martin Rappl, Robert Sandner
The Automotive CASE
In , 2002
Conference paper   Details | Bibtex Entry

2001


PDF-Datei T. Stauner, A. Pretschner, I. Péter
Approaching a Discrete-Continuous UML: Tool Support and Formalization
In Proc. UML'2001 workshop on Practical UML-Based Rigorous Development Methods -- Countering or Integrating the eXtremists, Toronto, pp. 242 - 257, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei Pretschner, Alexander
Classical search strategies for test case generation with Constraint Logic Programming
In Proc. Formal approaches to testing of software, E. Brinksma, J. Tretmans (Eds.), pp. 47 - 60, BRICS, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei I. Péter, A. Pretschner, T. Stauner
Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen
In Tool Presentation, Proc. Engineering komplexer Automatisierungssysteme (EKA'01), Braunschweig, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei Jan Philipps, Alexander Pretschner
Heuristische Suche in der Testfallgenerierung
In Softwaretechnik-Trends, pp. 11 - 12, number 21(3), 2001
Journal article   Details | Bibtex Entry

PDF-Datei A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, S. Kriebel
Model Based Testing for Real: The Inhouse Card Case Study
In Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS'01), Paris, pp. 79 - 94, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
Model based testing in evolutionary software development
In Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), pp. 155 - 160, IEEE Computer Society, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei A. Pretschner, H. Lötzbeyer
Model Based Testing with Constraint Logic Programming: First Results and Challenges
In Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (WAPATV'01), Toronto, 2001
Conference paper   Details | Bibtex Entry

PDF-Datei A. Pretschner, B. Schätz
Modellbasiertes Testen mit AutoFocus/Quest
In Softwaretechnik-Trends 21(1):, pp. 20 - 23, 2001
Journal article   Details | Bibtex Entry

2000


PDF-Datei H. Lötzbeyer, A. Pretschner
AutoFocus on Constraint Logic Programming
In Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), London, 2000
Conference paper   Details | Bibtex Entry

PDF-Datei Alexander Pretschner, Oscar Slotosch, Thomas Stauner
Developing Correct Safety Critical, Hybrid, Embedded Systems
In Proc. of New Information Processing Techniques for Military Systems, NATO Research and Technology Organization, 2000
Conference paper   Details | Bibtex Entry

PDF-Datei Istivan Peter, Alexander Pretschner, Thomas Stauner
Heterogeneous Development of Hybrid Systems
In GI workshop Rigorose Entwicklung software-intensiver Systeme, Berlin, pp. 83 - 93, , 2000
Conference paper   Details | Bibtex Entry

PDF-Datei G. Wimmel, H. Lötzbeyer, A. Pretschner, O. Slotosch
Specification Based Test Sequence Generation with Propositional Logic
In Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR), pp. 229 - 248, number 10(4), 2000
Journal article   Details | Bibtex Entry

PDF-Datei H. Lötzbeyer, A. Pretschner
Testing Concurrent Reactive Systems with Constraint Logic Programming
In Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, Singapore, 2000
Conference paper   Details | Bibtex Entry