Tool support for executable documentation of Java class hierarchies. - Daniel Hoffman; Paul A. Strooper; Sarah Wilkin (Softw. Test. Verification Reliab., 2005)