TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

|    

2005

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

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

2003

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

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

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

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

2002

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

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

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

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

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

2001

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

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

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

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

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

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

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

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

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

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

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

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

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