Zur Webseite der Informatik

Seminar

Ausgewählte Themen der Softwaretechnik: Software Verifikation

Neuigkeiten

  • 04.11.2014: Presentation schedule updated.
  • 01.11.2014: The presentation dates are online.
  • 14.10.2014: The Kick-off meeting for the seminar will take place on Tuesday, 14.07.2014, 11:30 - 13:00, room 0.463.
  • 26.06.2014: Die Seminarthemen stehen jetzt zur Verfügung. Bitte schauen Sie sich vor der Anmeldung die Liste der Themen an, um sicherzugehen, dass das Seminar für Sie interessant ist. Gerne können Sie sich vorab mit den Betreuern bzgl. der Themen in Verbindung setzen.

Beschreibung

Software Evolution is inevitable when the adaption of software to new platforms is needed or continuously changing requirements, new emerging technologies, and integration of a new software (new hardware and new system components) appear. Software evolution can be investigated in three ways: managing, understanding and analyzing the software evolution. These investigations can be on both model evolution and run-time evolution and focus on the problems such as synchronization, consistency maintenance, inconsistency management, traceability, incremental verification and change propagation. Additionally, one of the critical concern for software is quality maintenance during the software evolution. This concern asks the question: How does the quality or the requirements keep satis ed when the software evolves? In this seminar, we will investigate these questions and explore the research eld of software evolution and di erent concern of software such as quality during the software evolution including an overview of the overall topic as well as detailed discussions of selected approaches and underlying evaluation techniques.

Master students who want to attend this seminar should be interested in software quality, software verication, model based engineering, software monitoring

Wichtige Termine

Erstes Treffen
14.10.2014, 11:30 - 13:00, Raum 0.463
Struktur und Literaturliste* 14.11.2014
Voreinreichung der Ausarbeitung* 19.12.2014
Finale Einreichung der Ausarbeitung* 09.01.2015
Einreichung des Peer-Reviews* 23.01.2015
Einreichung der überarbeiteten Ausarbeitung* 06.02.2015
Präsentation

Detaillierter Zeitplan s.u.

*= Die Ausarbeitung (im PDF-format) muss über die Seminar-Einreichungsseite eingereicht werden: https://easychair.org/conferences/?conf=rsssvws2015. Es ist möglich, zusätzliches Material (z.B. Quelltexte, Daten) als ZIP-Datei zusammen mit der Ausarbeitung einzureichen.

Themenliste

Eine vollständige Liste der Themen wird beim ersten Treffen präsentiert. Jeder Teilnehmer muss zur Themenverteilung anwesend sein.

Bitte schauen Sie sich vor der Anmeldung die Liste der Themen an, um sicherzugehen, dass das Seminar für Sie interessant ist!

Gerne können Sie sich vorab mit den Betreuern bzgl. der Themen in Verbindung setzen.

(*=aus Datenschutzgründen weggelassen)

No.

Thema

Betreuer

Student

1 Learning-based approaches for MDP verification Antonio Filieri
2 Parallel probabilistic symbolic execution Antonio Filieri
3 Python implementation of a parametric probabilistic model-checking approach Antonio Filieri
4 Workload Models in Standard Enterprise Performance Benchmarks André van Hoorn
5 Descartes Meta-Model for Online Performance Prediction André van Hoorn *
6 Systematic Performance Experiments with the Software Performance Cockpit André van Hoorn *
7 Design and Architecture of Cloud Systems Eugen Massini *
8 Process Algebra for Performance Evaluation Eugen Massini *
9 Reliability Estimation under No Failure Testing Eugen Massini *
10 Characterizing and Detecting Performance Bugs for Smartphone Applications Lars Grunske
11 Bayesian Inference using Data Flow Analysis Lars Grunske *
12 Verification and Testing Techniques for Automatic Program Repair Lars Grunske *
13 Counterexample-Guided Abstraction Re finement Sinem Getir *
14 Compositional Verification Sinem Getir
15 Run-time Verification of Non-functional Properties Sinem Getir
16 Mining Specifications: Learning Specifications from Software Verification Sinem Getir *
17 Software Fault Injection Teerat Pitakrat *
18 Software Fault Prediction Teerat Pitakrat *

Präsentationszeitplan (Vorläufig)

Raum: 0.463
Zeit: 11:30 - 13:00

No.

Präsentationsdatum

Thema

Betreuer

1 13.01.2015 Design and Architecture of Cloud Systems Eugen Massini
2 Systematic Performance Experiments with the Software Performance Cockpit André van Hoorn
3 Counterexample-Guided Abstraction Refinement Sinem Getir
4 20.01.2015 Process Algebra for Performance Evaluation Eugen Massini
5 Descartes Meta-Model for Online Performance Prediction André van Hoorn
6 Mining Specifications: Learning Specifications from Software Verification Sinem Getir
7 27.01.2015 Software Fault Injection Teerat Pitakrat
8 Verification and Testing Techniques for Automatic Program Repair Lars Grunske
9 03.02.2015 Software Fault Prediction Teerat Pitakrat
10 Reliability Estimation under No Failure Testing Eugen Massini
11 Bayesian Inference using Data Flow Analysis Lars Grunske


Seminar-Hinweise

Format der Ausarbeitung
  • Ausarbeitungen müssen in Englisch verfasst sein und eine Länge von 15 Seiten nicht überschreiten. Es ist das LaTeX-Template für das Seminar zu nutzen.
Review-Prozess
  • Jeder Teilnehmer verfasst ein Gutachten zu zwei weiteren Ausarbeitungen anderer Seminar-Teilnehmer.
  • Das Gutachten muss den Seminar-Begutachtungs-Hinweisen (werden zur Verfügung gestellt) folgen.
Überarbeitete Ausarbeitung
  • Die Teilnehmer müssen ihre Ausarbeitung basierend auf den Hinweisen der Betreuer sowie der Gutachten überarbeiten.
  • Das Antwortschreiben auf die Gutachten muss den entsprechenden Hinweisen (werden zur Verfügung gestellt) folgen und zusammen mit der überarbeiteten Version der Ausarbeitung eingereicht werden.
Präsentation
  • Die Präsentationsdauer ist 20 Minuten gefolgt von 5 Minuten für Fragen und Diskussion.
  • Die Teilnehmer werden dazu ermutigt, ihre Präsentation auf Englisch zu halten.

 

Zusätzliche Informationen:



Contact:
Prof. Dr. Lars Grunske, grunske@informatik.uni-stuttgart.de
Reliable Software Systems (RSS) Group
Institute for Software Technology (ISTE), University of Stuttgart