Adventures in Automated Smart Contract Testing: A Spark Is Born · HackerLangs