Publications: Software Testing

2016

  • D. Holling and S. Banescu and M. Probst and A. Petrovska and A. Pretschner: Nequivack: Assessing Mutation Score Confidence. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016, 152-161 more…
  • Ognawala, Saahil; Ochoa, Martín; Pretschner, Alexander; Limmer, Tobias: MACKE: compositional analysis of low-level vulnerabilities with symbolic execution. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016, 780--785 more…

2015

  • Holling, Dominik; Fernández, Daniel Méndez; Pretschner, Alexander: Field Study on the Elicitation and Classification of Defects for Defect Models Pages contribution. Product-Focused Software Process Improvement - 16th International Conference, {PROFES} 2015, Bolzano, Italy, December 2-4, 201 (Lecture Notes in Computer Science), Springer Berlin Heidelberg , 2015, 380-396 more…
  • Holling, Dominik; Fernández, Daniel Méndez; Pretschner, Alexander: Field Study on the Elicitation and Classification of Defects for Defect Models. Product-Focused Software Process Improvement - 16th International Conference (Lecture Notes in Computer Science), Springer Berlin Heidelberg, 2015, 380-396 more…

2014

  • Holling, Dominik; Pretschner, Alexander; Gemmar, Matthias: 8Cage: Lightweight Fault-Based Test Generation for Simulink. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, Association for Computing Machinery (ACM), 2014 more…

2013

  • Büchler, Matthias: Security Testing with Fault-Models and Properties. Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on, Institute of Electrical & Electronics Engineers (IEEE), 2013 more…
  • Oudinet, Johan; Denise, Alain; Gaudel, Marie-Claude: A new dichotomic algorithm for the uniform random generation of words in regular languages. Theoretical Computer Science 502:165-176, August 2013, Elsevier BV, 2013, 165-176 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. In: Model-Driven Engineering Languages and Systems . Springer Berlin Heidelberg (8107. edn.), 2013, 87-103 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. In: Moreira, Ana; Schätz, Bernhard; Gray, Jeff; Vallecillo, Antonio; Clarke, Peter (Ed.): Model-Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2013, 87-103 more…
  • Pretschner, Alexander; Holling, Dominik; Eschbach, Robert; Gemmar, Matthias: A Generic Fault Model for Quality Assurance. 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings, Springer Science + Business Media, 2013 more…

2012

  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: SPaCiTE -- Web Application Testing Engine. Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Semi-Automatic Security Testing of Web Applications from a Secure Model. Proc. 6th IEEE Intl. Conf. on Software Security and Reliability, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…

2011

  • Büchler, Matthias; Oudinet, Johan; Pretschner, Alexander: Security Mutants for Property-Based Testing. 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings, Springer Science + Business Media, 2011 more…
  • Ciupa, I.; Pretschner, A.; Oriol, M.; Leitner, A.; Meyer, B.: On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab., Wiley-Blackwell, 2011, 3-28 more…
  • Utting, Mark; Pretschner, Alexander; Legeard, Bruno: A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, Wiley-Blackwell, 2011, 297-312 more…

2009

  • Leitner, Andreas; Pretschner, Alexander; Mori, Stefan; Meyer, Bertrand; Oriol, Manuel: On the Effectiveness of Test Extraction without Overhead. Proc. 2nd Intl. Conf. on Software Testing, Verication, and Validation (ICST, Institute of Electrical & Electronics Engineers (IEEE), 2009 more…

2008

  • Ciupa, Ilinca; Meyer, Bertrand; Oriol, Manuel; Pretschner, Alexander: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. Proc. 19th Intl. Symp. on Software Reliability Engineering (ISSRE), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Ciupa, Ilinca; Pretschner, Alexander; Leitner, Andreas; Oriol, Manuel; Meyer, Bertrand: On the Predictability of Random Tests for Object-Oriented Software. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander; Mouelhi, Tejeddine; Traon, Yves Le: Model-Based Tests for Access Control Policies. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Pretschner, Alexander: Doctoral Symposium at MODELS 2008. 11th Intl. Conf on Model Driven Engineering Languages and Systems (MODELS), Springer LNCS 5301, pp. 908-909, Springer Science + Business Media, 2008 more…
  • Sundmark, Daniel; Carlson, Jan; Punnekkat, Sasikumar; Ermedahl, Andreas: Structural Testing of Component-Based Systems. 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, Springer Science + Business Media, 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…
  • Traon, Yves Le; Mouelhi, Tejeddine; Pretschner, Alexander; Baudry, Benoit: Test-Driven Assessment of Access Control in Legacy Applications. Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST), Institute of Electrical & Electronics Engineers (IEEE), 2008 more…

2007

  • Pretschner, Alexander; Prenninger, Wolfgang: Computing refactorings of state machines. J. Software Systems Modeling 6(4):381-399, December 2007 , Springer Science + Business Media, 2007, 381-399 more…

2006

  • Pretschner, A: Zur Kosteneffektivität des modellbasierten Testens. Proc. Dagstuhl-Workshop MBEES 2006: Modellbasierte Entwicklung eingebetteter Systeme, 2006 more…
  • Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Technical report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), 2006 more…

2005

  • Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems. Volume 3472 of Springer LNCS, Springer Berlin Heidelberg, 2005 more…
  • Prenninger, Wolfgang; Pretschner, Alexander: Abstractions for Model-Based Testing. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Elsevier BV, 2005, 59-71 more…
  • Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One Evaluation of Model-Based Testing and its Automation. Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), ACM, 2005 more…
  • Pretschner, A.; Prenninger, W.; Wagner, S.; Kuhnel, C.; Sostawa, B.; ZoIch, R.; Stauner, T.: One evaluation of model-based testing and its automation. Tutorial, Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), Institute of Electrical & Electronics Engineers (IEEE), 2005 more…
  • Pretschner, A.; Prenninger, W.; Wagner, S.; Kühnel, C.; Baumgartner, M.; Sostawa, B.; Zölch, R.; Stauner, T.: One evaluation of model-based testing and its automation. Proceedings of the 27th International Conference on Software Engineering, Association for Computing Machinery (ACM), 2005 more…
  • Pretschner, Alexander; Philipps, Jan: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, Springer Science + Business Media, 2005 more…
  • Pretschner, Alexander; Prenninger, Wolfgang: Computing Refactorings of Behavior Models. ACM/IEEE 8th Intl. Conf. on Model Driven Engineering Languages and Systems (MoDELS'05, formely UML conferences), Springer LNCS 3717, pp.126-141, Montego Bay, , Springer Science + Business Media, 2005 more…
  • Pretschner, Alexander: Model-Based Testing in Practice. FM 2005: Formal Methods, Springer Science + Business Media, 2005 more…
  • Ruth Breu, Alexander Pretschner , Bernhard Rumpe: Modellbasierte Qualitätssicherung. Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, 2005 more…

2004

  • Alyokhin, V.; Elbel, B.; Rothfelder, M.; Pretschner, A.: Coverage Metrics for Continuous Function Charts. Proc. 15th IEEE Intl. Symp. on Software Reliability Engineering (ISSRE'04), Institute of Electrical & Electronics Engineers (IEEE), 2004 more…
  • Bernhard Schätz, Manfred Broy, Franz Huber, Jan Philipps, Wolfgang Prenninger, Alexander Pretschner, Bernhard Rumpe: Model Based Software and Systems Development. A White Paper, 2004 more…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. J. Software Tools for Technology Transfer, Springer Science + Business Media, 2004, 140-157 more…
  • Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.: Model-based testing for real. Int. J. Softw. Tools Technol. Transf., Springer Science + Business Media, 2004, 140-157 more…
  • Pretschner, Alexander: Modellbasiertes Testen. Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004, 2004 more…
  • Pretschner, Alexander; Lötzbeyer, Heiko; Philipps, Jan: Model based testing in incremental system development. Journal of Systems and Software 70(3), Elsevier BV, 2004, 315-329 more…
  • Schätz, B., Broy, M.Huber, F., Philipps, J., Prenninger, W., Pretschner, A., Rumpe, B.: Model Based Software and Systems Development - A White Paper. A White Paper, 2004 more…

2003

  • Alexander Pretschner: Modellbasiertes Testen. Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003 more…
  • Hahn, G., Philipps, J., Pretschner, A., Stauner, T.: Tests for mixed discrete-continuous systems. Technical Report TUM-I0301, 2003 more…
  • Philipps, J.; Hahn, G.; Pretschner, A.; Stauner, T.: Prototype-based tests for hybrid reactive systems. 14th IEEE Intl. workshop on Rapid System Prototyping, Institute of Electrical & Electronics Engineers (IEEE), 2003 more…
  • Philipps, J.; Pretschner, A.; Slotosch, O.; Aiglstorfer, E.; Kriebel, S.; Scholl, K.: Model-Based Test Case Generation for Smart Cards1 1Support by the BMBF (project EMPRESS) is gratefully acknowledged. Electronic Notes in Theoretical Computer Science, Elsevier BV, 2003, 170-184 more…

2002

  • Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.: Model based development of hybrid systems: specification, simulation, test case generation. Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, Springer, 2002 more…
  • Bender, Klaus; Broy, Manfred; Péter, István; Pretschner, Alexander; Stauner, Thomas: Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. Modelling, Analysis, and Design of Hybrid Systems, Springer Science + Business Media, 2002 more…
  • Blotz, A., Huber, F., Lötzbeyer, H., Pretschner, A., Slotosch, O., Zängerl, P.: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Proc. Ada Deutschland Tagung, 2002 more…
  • Pretschner, A., Philipps, J.: Szenarien modellbasierten Testens. Technical Report TUM-I0205, 2002 more…
  • Schätz, B., Pretschner, A., Huber, F., Philipps, J.: Model-Based Development of Embedded Systems. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002, 2002 more…

2001

  • Pretschner, A: Classical search strategies for test case generation with Constraint Logic Programming. Proc. Formal Approaches to Testing of Software (FATES'01), 2001 more…
  • Pretschner, A., Lötzbeyer, H: Model Based Testing with Constraint Logic Programming: First Results and Challenges. 2nd ICSE Intl. Workshop on Automated Program Analysis, 2001 more…
  • Pretschner, A., Philipps, J.: Heuristische Suche in der Testfallgenerierung. Softwaretechnik-Trends 21(3):11-12, 2001 more…
  • Pretschner, A., Schaetz, B: Modellbasiertes Testen mit AutoFocus/Quest. Softwaretechnik-Trends 21(1):20-23, 2001 more…
  • Pretschner, A., Slotosch, O., Lötzbeyer, H., Aiglstorfer, E., Kriebel, S.: Model Based Testing for Real: The Inhouse Card Case Study. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2001 more…
  • Pretschner, A.; Lotzbeyer, H.; Philipps, J.: Model based testing in evolutionary software development. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP’01), Institute of Electrical & Electronics Engineers (IEEE), 2001 more…

2000

  • Lötzbeyer, H., Pretschner, A: Testing Concurrent Reactive Systems with Constraint Logic Programming. 2nd workshop on Rule-Based Constraint Reasoning and Programming,, 2000 more…
  • Lötzbeyer, H., Pretschner, A: AutoFocus on Constraint Logic Programming. Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000 more…
  • Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O.: Specification based test sequence generation with propositional logic. Journal on Software Testing, Validation, and Reliability 10(4):229-248, December 2000, Wiley-Blackwell, 2000, 229-248 more…