
																
																	Automated debugging based on a constraint model of the program and a test case
																
																
																
															Keywords: محدودیت ها; Automated debugging; Algorithmic debugging; Model-based debugging; Constraints; Constraint satisfaction problem;