Ο εντοπισμός λαθών σε προγράμματα κατά τη διαδικασία της αναπτυξης καθώς και οι έλεγχοι σε ήδη υπάρχοντα κώδικα συνιστούν σημαντικό μέρος του χρόνου που απαιτείται για την αναπτυξη και την συντήρηση εφαρμογών. Συνεπώς η ...