Zur Webseite der Informatik

Seminar

Selected Topics in Software Engineering: Software Quality Verification and Forecasting

News

  • 17.07.2015: The first meeting will take place on 28.07.2015, at 9 AM, in room 0.457 0.447.
  • 23.06.2015: The registration for the seminar will open on Wed, 24.06.2015.

Description

Software quality is a term which describes how well a software conforms to its requirements and {users' expectation}, such as, performance, safety, security, reliability, availability, and usability. With the increasing pervasiveness of software in business- and safety-critical applications, ensuring the quality of a software is gaining considerable importance. Examples of its applications are online banking, e-commerce, online booking and reservation, car and airplane control systems, remote surgery, high availability systems, such as e-mail servers, or adaptive systems, such as cloud computing controllers.

Software quality verification and forecasting are branches of software engineering concerned with the assurance of requirements satisfaction during both development and production phases. A broad range of techniques is involved in verification and forecasting. This seminar will focus on:

  • Formal verification: software model-checking, probabilistic model-checking, theorem proving, assume-guarantee reasoning
  • Systematic testing: methodologies for automatic test case generation, including model-based testing, random testing, mutation testing, search-based techniques, non-functional testing
  • Software analysis: Floyd-Hoare axiomatic semantics, symbolic execution, abstract interpretation, anti-patterns detection
  • Model-based prediction: workload prediction, software performance monitoring and prediction
  • Statistical forecasting and machine learning: online failure prediction, proactive failure management

Bachelor students who want to attend this seminar should be interested in critical systems design, formal methods, software performance, statistical forecasting, machine learning, as well as basic notions on logics, probability, testing, and object-oriented programming.

Important dates

First meeting
28.07.2015, 9 AM, Room 0.447
Structure and list of literature* 13.11.2015
Pre-submission* 18.12.2015
Final submission* 15.01.2016
Peer-Reviews* 29.01.2016
Camera-ready* 05.02.2016
Presentation

See below for details

*= The document (in PDF format) needs to be submitted via the seminar submission site: https://easychair.org/conferences/?conf=rsssqvfws15. It is possible to submit supplementary materials (e.g., source code, data) as a zip file along with the paper submission.

List of topics

A complete list of topics will be presented on the first meeting. All students are required to attend for topic selection.

Please check the list of topics before registration to be sure that the seminar is interesting for you. If you are interested in specific topics, you can contact the supervisor directly before the first meeting.

(*=name omitted for privacy reasons)

No.

Thema

Betreuer

Student

1 Incremental Analysis with Strongly Connected Components Sinem Getir
2

Specification mining for software verification

Sinem Getir *
3 Using domain specific languages for service level specification Dušan Okanović *
4 Optimization of Performance Testing Process Through Input Data Selection Dušan Okanović *
5
Model-based performance prediction with Layered Queuing Networks André van Hoorn
6
Coping with uncertainty in the evaluation of non-functional properties for software systems André van Hoorn *
7
Measurement-based, automatic detection of software performance problems with DynamicSpotter André van Hoorn *
8
Workload intensity modeling, extraction, and generation with LIMBO André van Hoorn *
9
Time series forecasting models for performance problem prediction
Teerat Pitakrat
*
10
Service response time modelling using neural networks
Teerat Pitakrat

*

11 Automatic Configuration of Baseline for Service Response Time Teerat Pitakrat
*
12 Predicting Software Bugs using Machine Learning Techniques Teerat Pitakrat *
13 Probabilistic Software Analysis for C Programs Mateus Borges *
14 Interval Constraint Propagation for Solving/Quantifying Floating-Point Constraints Mateus Borges *
15 Solving/Counting String Constraints Mateus Borges *

Presentation schedule

Room: 0.124
Time: 14:00-15:30

No.

Date

Topic

1 21.01.2016
Coping with uncertainty in the evaluation of non-functional properties for software systems
2 Service response time modelling using neural networks
3 Probabilistic Software Analysis for C Programs
4 28.01.2016
Time series forecasting models for performance problem prediction
5 Workload intensity modeling, extraction, and generation with LIMBO
6 Solving/Counting String Constraints
7 04.02.2016
Automatic Configuration of Baseline for Service Response Time
8 Measurement-based, automatic detection of software performance problems with DynamicSpotter
9 Predicting Software Bugs using Machine Learning Techniques
10 Using domain specific languages for service level specification

Seminar Guideline

Paper structure
  • Seminar papers must not exceed 15 pages using the seminar LaTeX template format.
Review process
  • Each student reviews and writes reports for 2 seminar papers of other students.
  • The reports should comply with the review guideline (to be provided).
Revising paper
  • The students should revise their own paper based on the comments given by the supervisors and the reviewers.
  • A response to the review reports should be provided according to the response template (to be provided) and submitted along with the revised version of the paper.
Presentation
  • The presentation should be 15 minutes long followed by 5 minutes for questions/discussion.
  • It is highly encouraged to give the presentation in English.

Seminar deregistration

If you would like to deregister from the seminar, please do so in person with Frau Ritzmann (Room 2.459) before 29.10.2015.

Additional information



Contact:
M.Sc. Teerat Pitakrat, pitakrat@informatik.uni-stuttgart.de
Reliable Software Systems (RSS) Group
Institute for Software Technology (ISTE), University of Stuttgart