sdg·۶ سال پیشمعرفی رویکرد مقاله " Using Likely Invariants for Test Data Generation "چکیده:با توجه به رشد سریع اندازه و پیچیدگی نرم افزارها و به دلیل ماهیت غیرخطی آن ها، از میان روش های مختلفی که برای حل مسئله تولید خودکار د…