Property-Based Testing: QuickChickExplores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
HexHive: Research and ImpactExplores the HexHive project's research questions, bug pruning techniques, and industry collaborations, showcasing its impactful alumni.
Path-Delay Fault TestingCovers linked and unlinked faults in VLSI systems, March test algorithms, critical paths, and path-delay fault testing.