Statistical Model Checking Meets Property-Based Testing, ICST 2017

Richard Alexander Schumi (Speaker)

Institute of Software Technology (7160)

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

Description

Statistical Model Checking Meets Property-Based Testing

Period	16 Mar 2017
Event title	10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017): ICST 2017
Event type	Conference
Location	Tokyo, Japan

Related content

Projects
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
Project: Research project

Research Outputs
Statistical Model Checking Meets Property-Based Testing
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review