Vapaa alfa kuusi kuukautta sitten Väsynyt: Markdown-speksit ja generointitestit Wired: formaalit menetelmät