A software application has a complex menu system with various options and sub-menus. Testers need to ensure that the application correctly navigates between different menu states. Which test design technique would be most effective for testing the menu navigation?