Andreas Ulrich – författare

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

Krefeld, Erlangen, Wien, Zürich. Dependancen eines international agierenden Familienunternehmens mit einem geschätzten Jahresumsatz von 44 Milliarden Euro, das in Wahrheit ein schnell wachsendes Krebsgeschwür im gesunden Gewebe unserer Gesellschaft ist. Duisburg, August 2007: Sechs Leichen liegen vor dem Restaurant Da Bruno und eines wird klar – die kalabrische Mafia-Organisation ''Ndrangheta ist in Deutschland bestens etabliert. Sie wäscht Geld in der netten Pizzeria nebenan, versteckt Killer, handelt mit Waffen und Drogen, fälscht Papiere und kassiert Schutzgeld. Kaum ein Angehöriger war je bereit, das Gesetz des Schweigens zu brechen. Giuseppe di Bella tat es – jahrzehntelang war er die rechte Hand eines ihrer Bosse. Der Grund für Di Bellas neugewonnene Haltung? Seine Frau starb im Jahr 2009. Di Bella versprach ihr auf dem Totenbett, sich aus den Fängen der ''Ndrangheta zu lösen, um dem gemeinsamen Sohn eine bessere Zukunft zu ermöglichen. Der Kronzeuge kennt das Geheimnis um Gianni Versaces Tod.Und er hat es gewagt, sein Wissen den italienischen Aufdecker-Journalisten Gianluigi Nuzzi und Claudio Antonelli preiszugegeben. In einem speziellen Kapitel enthüllt SPIEGEL-Redakteur und Mafia-Experte Andreas Ulrich, wie souverän und unbehelligt sich die ''Ndrangheta in Deutschland, Österreich und der Schweiz seit Jahrzehnten bewegt.

Die Torstraße verbindet die Friedrichstraße im Westen mit der Prenzlauer Allee im Osten. Wie in kaum einer anderen Straße ist hier noch die brüchige Geschichte Berlins greifbar. Am Beispiel des Hauses Nr. 94 geht Andreas Ulrich den Spuren der Vergangenheit nach: Ob Agentin oder Konditor, ob Bankräuber oder Näherin, ob Super-Model oder Parteisekretär – das Haus und seine Bewohner haben viel erlebt: Dramatisches und Komisches, Absurdes und Unglaubliches.

Zwischen 1969 und 1973 entstand im Zentrum Ost-Berlins ein einzigartiger Hochhauskiez.In die markanten Neubauten auf der Fischerinsel zogen neben kinderreichen Familien vor allem Künstler, Wissenschaftler, Funktionäre und Diplomaten ein – DDR-Alltag traf hier auf Prominenz und Extravaganz.Auch die Familie von Andreas Ulrich lebte eine Zeitlang auf der Fischerinsel. Fünf Jahrzehnte später begibt sich der Journalist auf die Suche nach seinen einstigen Mitschülern, um herauszufinden, was aus ihnen geworden ist. Die Recherchen führen ihn weit über Berlin hinaus und offenbaren bewegende und außergewöhnliche Lebensgeschichten.