An application testing library for ASP.NET MVC