Bidirectional Symbolic Analysis for Effective Branch Testing.

Mauro Baluda Giovanni Denaro Mauro Pezzè

Published in: IEEE Trans. Software Eng. (2016)

Keyphrases

cost effective
genetic algorithm
computer vision
data analysis
medical images
data sets
artificial intelligence
relational databases
mobile robot
statistical analysis