Dynamic Mutant Subsumption Analysis using LittleDarwin.

Ali Parsai Serge Demeyer

Published in: CoRR (2018)

Keyphrases

neural network
artificial intelligence
description logics
database
web services
multiscale
objective function
control system
particle swarm optimization
statistical analysis
automatic analysis