Hints on test data selection: Help for the practicing programmer
Debugging with dynamic slicing and backtracking
Software: Practice and Experience
Frederick G Sayward
Eugene H. Spafford
Richard J Lipton
Hiralal Agrawal
Tardis: Affordable Time-travel Debugging in Managed Runtimes
Mecanismos de Apoio à Modelagem de Conteúdos: Uma Contribuição ao Processo de Desenvolvimento de Módulos Educacionais