2024
2023
- Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. ACM/IEEE International Conference on Automation of Software Test (AST) (AST '23), 2023, 10 more…
2022
- Why Did the Test Execution Fail? Failure Classification for SystemLevel Testing Using Only Test Step Results. International Symposium on Software Reliability Engineering (ISSRE), IEEE, 2022 more…
- StellaUAV: A Tool for Testing the Safe Behavior of UAVs with Scenario-Based Testing. IEEE International Symposium on Software Reliability Engineering (ISSRE) , IEEE, 2022, 37-48 more…
2018
- Improving Function Coverage with Munch: A Hybrid Fuzzing and Directed Symbolic Execution Approach. Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, ACM Press, 2018 more…
2016
- Nequivack: Assessing Mutation Score Confidence. 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2016, 152-161 more…
- 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
- 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…
2014
- 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
- 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…
- 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…
- A Generic Fault Model for Quality Assurance. In: Model-Driven Engineering Languages and Systems . Springer Berlin Heidelberg (8107. edn.), 2013, 87-103 more…
- A Generic Fault Model for Quality Assurance. In: Model-Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2013, 87-103 more…
- 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
- 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…
- SPaCiTE -- Web Application Testing Engine. Proc. 3rd Intl. Workshop on Security Testing, Montreal, April 2012, Institute of Electrical & Electronics Engineers (IEEE), 2012 more…
2011
- 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…
- On the number and nature of faults found by random testing. Softw. Test. Verif. Reliab., Wiley-Blackwell, 2011, 3-28 more…
- A taxonomy of model-based testing approaches. Software Testing, Verification & Reliability, Wiley-Blackwell, 2011, 297-312 more…
2009
- 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
- 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…
- 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…
- 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…
- 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…
- 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…
- Structural Testing of Component-Based Systems. 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, Springer Science + Business Media, 2008 more…
- 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…
- 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
- Computing refactorings of state machines. J. Software Systems Modeling 6(4):381-399, December 2007 , Springer Science + Business Media, 2007, 381-399 more…
2006
2005
- Model-Based Testing of Reactive Systems. Volume 3472 of Springer LNCS, Springer Berlin Heidelberg, 2005 more…
- Abstractions for Model-Based Testing. 2nd Intl. Workshop on Test and Analysis of Component Based Systems (TACoS'04), Elsevier BV, 2005, 59-71 more…
- One Evaluation of Model-Based Testing and its Automation. Proc. 27th Intl. Conf. on Software Engineering (ICSE'05), ACM, 2005 more…
- 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…
- 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…
- Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, Springer Science + Business Media, 2005 more…
- 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…
- Model-Based Testing in Practice. FM 2005: Formal Methods, Springer Science + Business Media, 2005 more…
- Modellbasierte Qualitätssicherung. Workshopzusammenfassung QUAM 05, Proc. Jahrestagung Informatik der GI, Bonn, 2005 more…
2004
- 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…
- Model Based Software and Systems Development. A White Paper, 2004 more…
- Model-based testing for real. J. Software Tools for Technology Transfer, Springer Science + Business Media, 2004, 140-157 more…
- Model-based testing for real. Int. J. Softw. Tools Technol. Transf., Springer Science + Business Media, 2004, 140-157 more…
- Modellbasiertes Testen. Tutorial, Proc. Modellierung 2004, p. 274, Marburg, March 2004, 2004 more…
- Model based testing in incremental system development. Journal of Systems and Software 70(3), Elsevier BV, 2004, 315-329 more…
- Model Based Software and Systems Development - A White Paper. A White Paper, 2004 more…
2003
- Modellbasiertes Testen. Tutorial, Entwurf komplexer Automatisierungssysteme, Braunschweig, 2003 more…
- Tests for mixed discrete-continuous systems. Technical Report TUM-I0301, 2003 more…
- Prototype-based tests for hybrid reactive systems. 14th IEEE Intl. workshop on Rapid System Prototyping, Institute of Electrical & Electronics Engineers (IEEE), 2003 more…
- 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
- 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…
- Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation. Modelling, Analysis, and Design of Hybrid Systems, Springer Science + Business Media, 2002 more…
- Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Proc. Ada Deutschland Tagung, 2002 more…
- Szenarien modellbasierten Testens. Technical Report TUM-I0205, 2002 more…
- Model-Based Development of Embedded Systems. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002, 2002 more…
2001
- Classical search strategies for test case generation with Constraint Logic Programming. Proc. Formal Approaches to Testing of Software (FATES'01), 2001 more…
- Model Based Testing with Constraint Logic Programming: First Results and Challenges. 2nd ICSE Intl. Workshop on Automated Program Analysis, 2001 more…
- Heuristische Suche in der Testfallgenerierung. Softwaretechnik-Trends 21(3):11-12, 2001 more…
- Modellbasiertes Testen mit AutoFocus/Quest. Softwaretechnik-Trends 21(1):20-23, 2001 more…
- Model Based Testing for Real: The Inhouse Card Case Study. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems, 2001 more…
- 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
- AutoFocus on Constraint Logic Programming. Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000 more…
- Testing Concurrent Reactive Systems with Constraint Logic Programming. 2nd workshop on Rule-Based Constraint Reasoning and Programming,, 2000 more…
- 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…