 Customers provide examples of how their software should work.Those examples are then connected to the software with programmer-written test fixtures and automatically checked for correctness.The customers' examples are formatted in tables and saved as HTML using ordinary business tools such as Microsoft Excel.