Browse Course Material
  • Syllabus

  • Calendar

  • Readings

  • Assignments

  • Projects

  • Study Materials

Course Info

Instructor:
  • Prof. Michael Ernst
Course Number:
  • 6.883
Departments:
  • Electrical Engineering and Computer Science
As Taught In: Fall 2005
Level: Graduate

Topics

  • Engineering
    Computer Science
    Algorithms and Data Structures
    Software Design and Engineering

Learning Resource Types

group_work Projects with Examples
MIT OpenCourseWare MIT OpenCourseWare
  • search
  • Give Now
  • About OCW
  • Help & Faqs
  • Contact Us
MIT OpenCourseWare MIT OpenCourseWare
search give now about ocw help & faqs contact us
Course Info
Program Analysis
  • Syllabus

  • Calendar

  • Readings

  • Assignments

  • Projects

  • Study Materials

Resources

arrow_back browse course material library_books

Assignments

assign1.pdf


Projects

elaboration_hard.pdf

javarifier.pdf

object_control_i.pdf

test_case_anon.pdf

test_case_reduct.pdf

test_generation.pdf

unit_regression.pdf

unit_type_infere.pdf


Course Info

Instructor:
  • Prof. Michael Ernst
Course Number:
  • 6.883
Departments:
  • Electrical Engineering and Computer Science
As Taught In: Fall 2005
Level: Graduate

Topics

  • Engineering
    Computer Science
    Algorithms and Data Structures
    Software Design and Engineering

Learning Resource Types

group_work Projects with Examples
MIT Open Learning
Accessibility Creative Commons License Terms and Conditions

MIT OpenCourseWare is an online publication of materials from over 2,500 MIT courses, freely sharing knowledge with learners and educators around the world. Learn more

Accessibility Creative Commons License Terms and Conditions

PROUD MEMBER OF : Open Education Global

© 2001–2022 Massachusetts Institute of Technology

  • facebook
  • instagram
  • twitter
  • youtube
  • LinkedIn