TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems

Activities

Activities per year 2015 2016 2017 2018

• 6 Talk at conference or symposium
• 2 Invited talk
• 1 Poster presentation
• 1 Talk at workshop, seminar or course

Activities per year

Search results

• Statistical Model Checking of Response Times for Different System Deployments

  Richard Alexander Schumi (Speaker)

  6 Sept 2018

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• Statistical Model Checking Meets Property-Based Testing, ICST 2017

  Richard Alexander Schumi (Speaker)

  16 Mar 2017

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles, ICTSS 2017

  Richard Alexander Schumi (Speaker)

  9 Oct 2017

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• Property-Based Testing with External Test-Case Generators, ICST Workshops 2017

  Richard Alexander Schumi (Speaker)

  17 Mar 2017

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016

  Richard Alexander Schumi (Speaker)

  11 Apr 2016

  Activity: Talk or presentation › Talk at conference or symposium › Science to science

• 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016

  Richard Alexander Schumi (Speaker)

  18 Nov 2016

  Activity: Talk or presentation › Talk at conference or symposium › Science to science