Comparison of empirical testing and walkthrough methods in user interface evaluation | Synapse