How much Specification is Enough? Mutation Analysis for Software Contracts.

Alexander Knüppel Leon Schaer Ina Schaefer

Published in: FormaliSE@ICSE (2021)

Keyphrases

test cases
real time
databases
neural network
genetic algorithm
evolutionary algorithm
object oriented
metadata
high level
data analysis
image analysis
open source
quantitative analysis