Sign in
Detecting Trivial Mutant Equivalences via Compiler Optimisations.
Marinos Kintis
Mike Papadakis
Yue Jia
Nicos Malevris
Yves Le Traon
Mark Harman
Published in:
IEEE Trans. Software Eng. (2018)
Keyphrases
</>
programming language
general purpose
connected components
database systems
automatic detection
relational algebra
databases
computer vision
knowledge base
website
image sequences
search algorithm
parallel execution