MAIDAY: An Environment for Guided Programming.

Jacques Guyard, Jean-Pierre Jacquot

Browse the full ICSE paper archive.