QED (Quality Ensured Demonstrations) is a TDD/BDD framework utilizing Literate Programming techniques.