We are looking for a list of the most relevant models that have been applied and/or are being applied (pointers are welcome) for automatic bug detection. Also, what performance measures can be used to evaluate the models?

Similar questions and discussions