This talk presents generic techniques, which can be used to investigate problems in software — regardless of the technology. This... [więcej]