Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Mutation Testing with Hyperproperties.

Fellner Andreas,Tabaei Befrouei Mitra,Weissenbacher Georg

Software & Systems Modeling（2021）

Cited 1|Views9
No score
Key words
Mutation Testing,Model Checking,Model-Based Testing,Dynamic Test Generation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined