Statistical Model Checking Meets Property-Based Testing, ICST 2017

Richard Alexander Schumi (Speaker)

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

Description

Statistical Model Checking Meets Property-Based Testing
Period16 Mar 2017
Held at10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Event typeConference
LocationTokyo, Japan

Related content

Research Outputs

Statistical Model Checking Meets Property-Based Testing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Projects

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

Project: Research project