Automated behavioral testing of refactoring engines

Authors:
Gustavo Soares
Affiliations:
Federal University of Campina Grande, Campina Grande, Brazil
Venue:
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Year:
2012

Citing 7
Cited 0

Automated testing of refactoring engines

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Refactoring Tools: Fitness for Purpose

IEEE Software
Challenge proposal: verification of refactorings

Proceedings of the 3rd workshop on Programming languages meets program verification
Reducing the Costs of Bounded-Exhaustive Testing

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Test generation through programming in UDITA

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Making Program Refactoring Safer

IEEE Software
Specifying and implementing refactorings

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Defining and implementing preconditions are non-trivial tasks. As a result, even mainstream refactoring engines contain critical bugs. We propose an automated approach for testing of Java refactoring engines. It has been useful for identifying more than 100 bugs in state-of-the-art industrial and academic refactoring engines.