Which type of testing is performed to check if a program is behaving as expected?