Sādhak Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing Chiron An Integrated Program Analysis Framework for Graduate Courses in Software Engineering