A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. - Isabel Nunes; Filipe Luís (ICST Workshops, 2013)

Testing Java implementations of algebraic specifications - Isabel Nunes; Filipe Luís (MBT, 2013)