Publikationen

Windisch, A. (2010). Search-based Test Data Generation from Stateflow Statecharts. Proc. of the 12th annual conference on Genetic and evolutionary computation. ACM, 1349-1356.

Wilmes, B. and Windisch, A. (2010). Considering Signal Constraints in Search-Based Testing of Continuous Systems. Proceedings of the 3rd International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, 202-211.

Marrero Pérez, A. and Kaiser, S. (2010). Bottom-up reuse for multi-level testing. Journal of Systems and Software. Elsevier, 2392-2415.

Marrero Pérez, A. and Kaiser, S. (2010). Multi-Level Test Models for Embedded Systems. Software Engineering 2010, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 213-224.

Lindlar, F., Windisch, A. and Wegener, J. (2010). Integrating Model-Based Testing with Evolutionary Functional Testing. Proc. of the 3rd International Conference on Software Testing, Verification and Validation Workshops. IEEE Computer Society, 163-172.

Lindlar, F. and Windisch, A. (2010). A Search-Based Approach to Functional Hardware-in-the-Loop Testing. Proc. of the 2nd International Symposium on Search Based Software Engineering. IEEE Computer Society, 111-119.

Kleine, M. and Sanders, J. (2010). Simulating Truly Concurrent CSP.. UNU/IIST Technical Report. United Nations University, International Institute for Software Technology.

Kleine, M. and Bartels, B. (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice

Kleine, M. and Göthel, T. (2010). Specifying and Executing Business Process in CSP. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engeneering

Kammüller, F., Rein, A. and Reiser, O. (2010). Feature Link Propagation Across Variability Representations with Isabelle/HOL. Proc. of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering (PLEASE '10). ACM Press, 48-53.

Kammüller, F., Ludovic, H. and Khan, U. (2010). A Framework for Reasoning on Component Composition. Proc. of the 8th International Conference on Formal Methods for Components and Objects (FMCO'09). Springer, 1-20.

Kammüller, F. and Fleck, A. (2010). Implementing Privacy with Erlang Active Objects. Proc. of Fifth International Conference on Internet Monitoring and Protection. IEEE Computer Society, 141-146.

Helke, S. and Kammüller, F. (2010). Formalizing Statecharts using Hierarchical Automata. Archive of Formal Proofs.

Glesner, S., Bartels, B., Göthel, T. and Kleine, M. (2010). The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp. 81–101.

Bittner, M., Reiser, O. and M., W. (2010). A Case Study on Tool-Supported Multi-Level Requirements Management in Complex Product Families. Proc. of the 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010). Springer, 173-187.