Red Hat Research Quarterly
About the author
Henrich Lauko is a PhD candidate at the Faculty of Informatics, Masaryk University in Brno. He is intrigued by both theoretical and engineering aspects of computer science. He finds the sweet spot for both in program verification, where he focuses on the development of reusable analyses using compiler toolchains.
Articles by this author
Writing tests with high coverage is almost always tedious work that is still error prone. This can lead to missing crucial details that cause undesirable behavior, and, in the worst case, a complete system failure. What if there were an efficient way to automate this work?