Software Engineering Mcqs

Which of the following is a technique covered in Static Analysis ?

(A) Formal verification

(B) Model checking

(C) Automated program analysis

(D) All of the mentioned

Submitted By: Ali Uppal


Share this... Share on Facebook
Facebook
Tweet about this on Twitter
Twitter
Share on LinkedIn
Linkedin
Share on Whatsapp
Whatsapp

  • IF YOU THINK THAT ABOVE POSTED MCQ IS WRONG.

  • PLEASE COMMENT BELOW WITH CORRECT ANSWER AND ITS DETAIL EXPLANATION.

  • Related Mcqs


    Leave a Reply

    Your email address will not be published. Required fields are marked *