Fields of Interest
- Model-Based Testing
- Measuring Test Quality
- Modeling of Embedded Systems
- Automotive Software
Projects
-
AutoFOCUS 2 Test Case Generator
-
MoSIT - Models for System Integration Testing
T-Systems GEI GmbH, 2008
-
DENTUM
Denso Corporation, 2007 - 2008
-
AMT - Anforderungsorientiertes modelbasiertes Testen
(Requirements-oriented model-based testing)
Siemens AG, 2007 - 2008
-
Automatische Testfallgenerierung in einem durchgängigen modellbasierten Entwicklungsprozess
(Automated test case generation withn an integrated model-based development process)
Ingolstadt Institute der TU München / Audi AG, 2004 - 2007, www.ini.tum.de
-
mobilSoft - Softwaretechnik im Automobil der Zukunft; TP5: Durchgängige Modellierung und formale Verfikation
(Software engineering for the car of the future; TP5: Integraded modeling and formal verfication)
Audi AG / Siemens-VDO AG / Validas AG, 2005 - 2006, www.itm.tum.de/mobilSoft
-
Wissenstransfer funktionale / objektorientierte Modellierung
(Knowledge transfer functional / object-oriented modeling)
BMW AG / Lehrstuhl für Luft- und Raumfahrttechnik der TU München, 2004
Publications
-
B. Schätz, C. Pfaller
Integrating Component Tests to System Tests
5th International Workshop on Formal Aspects of Component Software, Malaga, September 2008
-
S. Herold, H. Klus, Y. Welsch, C. Deiters, A. Rausch, R. Reussner, K. Krogmann, H. Koziolek, R. Mirandola, B. Hummel, M. Meisinger, C. Pfaller
CoCoME - The Common Component Modeling Example
in A. Rausch et al: The Common Component Modeling Example: Comparing Software Component Models.
Lecture Notes in Computer Science 5153, Springer, 2008.
-
O. Grumberg, T. Nipkow, C. Pfaller (Eds.)
Formal Logical Methods for System Security and Correctness
IOS Press, Amsterdam, March 2008
-
C. Pfaller
Requirements-Based Test Case Specification by Using Information from Model Construction
Third Workshop on Automation of Software Test (AST 08), Leipzig, May 2008
-
C. Pfaller, S. Wagner, J. Gericke, M. Wiemann
Multi-Dimensional Measures for Test Case Quality
First Software Testing Benchmark Workshop (TESTBENCH'08), Lillehammer, April 2008
-
C. Pfaller, M. Pister
Combining Structural and Functional Test Case Generation
Software Engineering 2008. Proceedings of SE08 Munich, February 2008. Lecutre Notes in Informatics Vol. 121.
-
J. Hartmann, A. Fleischmann, C. Pfaller, M. Rappl, S. Rittmann, D. Wild
Feature Net - ein Ansatz zur Modellierung von automobil- spezifischem Domänenwissen und Anforderungen
4th Workshop on Automotive Software Engineering (ASE 2006), Dresden, October, 2006
-
C. Pfaller, A. Fleischmann, J. Hartmann, M. Rappl, S. Rittmann, D. Wild
On the Integration of Design and Test - A Model Based Approach for Embedded Systems
Workshop on Automation of Software Test (AST 06), Shanghai, May, 2006
-
D. Wild, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann
An Architecture-Centric Approach towards the Construction of Dependable Automotive Software
SAE 2006 World Congress, Detroit, April 2006
-
A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann, D. Wild
Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development
10th Australien Workshop on Requirements Engineering (AWRE), Melbourne, November 2005
-
S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild
Integrating Service Specifications on Different Levels of Abstraction
Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing, October 2005.
|
