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

Richard Alexander Schumi (Speaker)

Institute of Software Technology (7160)

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

Description

Towards Integrating Statistical Model Checking into Property-Based Testing

Period	18 Nov 2016
Event title	14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016
Event type	Conference
Location	Kanpur, IndiaShow on map

Keywords

Poster

Fields of Expertise

Information, Communication & Computing

Documents & Links

http://memocode.irisa.fr/2016/index.html

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

Publications
Towards Integrating Statistical Model Checking into Property-Based Testing
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review