of Alexander Pretschner

Articles in journal, book chapters

  1. Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing.
  2. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, and Stefan Kriebel. Model-based testing for real. J. Software Tools for Technology Transfer (STTT), 5(2--3):140-157, 2004. Keyword(s): applications, testing.

Conference articles

  1. Heiko Lötzbeyer and Alexander Pretschner. AutoFocus on Constraint Logic Programming. In LPSE '00: Proc. Intl. Workshop on (Constraint) Logic Programming and Software Engineering, July 2000.