The Weyukar's Anticomposition axiom which is a land mark result in this area appeared in IEEE transactions on software engineering in way back in 1986. The statement of his axiom is that adequate testing of each individual program components does not necessarily suffice adequate test of entire program.
ওয়্যুকার্স অ্যান্টি{কম্পোজিশন অক্সিওম এক্ষেত্রে একটা ল্যান্ডমার্ক আবিষ্কার। 1986 সালে সফটওয়্যার ইঞ্জিনিয়ারিংয়ের IEEE ট্রানস্যাকশনগুলোর ক্ষেত্রে ব্যবহৃত হয়েছিল। তার এই অক্সিওমের মূল বক্তব্য হলো, প্রতিটি প্রোগ্রাম কম্পোনেন্টকে পৃথক পৃথকভাবে যথাযথ পরীক্ষা করলেও তা সমগ্র প্রোগ্রামের যথেষ্ট পরিমাণ পরীক্ষাকে নির্দেশ করা না।