Software inspections: comparing a formal method based with a classical reading methodology.
Luciana Brasil Rebelo dos SantosValdivino Alexandre de Santiago JúniorLucas Venezian PovoaAlbino Vieira FreitasCleyton De Castro MarioPublished in: Int. J. Comput. Appl. Technol. (2019)
Keyphrases
- experimental evaluation
- classical methods
- preprocessing
- computationally efficient
- segmentation method
- theoretical analysis
- significant improvement
- cost function
- computational cost
- high accuracy
- software systems
- formal model
- optimization method
- fully automatic
- mutual information
- mathematical model
- synthetic data
- detection algorithm
- optimization algorithm
- machine learning
- probabilistic model
- pairwise
- image segmentation
- clustering algorithm
- image processing