Chopra, Bhavya; Purandare, Rahul (Advisor)
(IIIT-Delhi, 2022-05)
Assertions are often used by programmers to test assumptions that they have about the program. Meaningful assertions often help in early detection of bugs, and also help developers in understanding the working of their ...