SSP Group Meeting
Wednesday, 12th December, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Synthesising Web Sites for Experiments

David Roberston

One of the aims of our Web Site Synthesis project is to use automated synthesis to enable experiments to be conducted on the use of Web sites for safety-related issues such as accident reporting. But what sorts of experiments should we conduct and how do we use synthesis to construct experiments which wouldn't be easy by other means? I shall discuss some possibilities, using as an example the exploration of causal relationships in accident reports.