Using Test Oracles Generated from Program Documentation - 161-173 p. Subjects--Topical Terms: Superconductors-Power