Santos J, Abreu R.? 2012.??Lightweight Automatic Error Detection by Monitoring Collar Variables. Testing Software and Systems. :215?230.