Security Testing
Advanced Lecture - Winter Semester 2017/2018

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page
  

The lecture takes place every thursday in the Winter Semester 2017/2018. It started on 19th October. The previous iteration was Security Testing 2017.

Course Website

The course materials are now hosted at the CISPA CMS: https://cms.cispa.saarland/sectest1718/.
Any information regarding the course is published there.

Slides and Code Samples

All material is available upon request, please contact: zeller @ cs.uni-saarland.de

Preliminary course info

Topics and Lectures

  • Intro
  • Fuzzing
  • Simplifying Tests
  • Testing with Mutations
  • Testing with Grammars
  • Grammar Inference
  • Taint Analysis
  • Coverage-Driven Testing
  • Search-Based Testing
  • Solving Constraints
  • Inferring Preconditions
  • Mutation Analysis
  • Automated Repair and Protection
  • Test Carving and Decomposition

Advanced course (6 CP)

  • 12-14 lectures
  • Thu 14-16 @ CISPA Lecture Hall
  • Start: Oct 19

Contacts

For any questions about the course you can contact the Security Testing Staff.

Registration

You can register for the lecture here until Thursday, October 26th 2017, 23:59.
Additionally, you have to register with lsf.

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/securitytesting/2018/ · Stand: 2018-04-05 13:40