From Tests to ProofExplores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Testing Actor SystemsExplores testing actor systems, covering principles, Akka's Test Kit, dependencies, interaction with the parent, and actor hierarchies.