Automated behavioral testing of refactoring engines

Authors:
Gustavo Soares 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 8
Cited 0

Feedback-Directed Random Test Generation

ICSE '07 Proceedings of the 29th international conference on Software Engineering
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
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
Identifying overly strong conditions in refactoring implementations

ICSM '11 Proceedings of the 2011 27th IEEE International Conference on Software Maintenance

Quantified Score

Hi-index	0.00

Visualization

Abstract

Refactoring is a transformation that preserves the external behavior of a program and improves its internal quality. Usually, compilation errors and behavioral changes are avoided by preconditions. However, defining and implementing preconditions is a complex task. As a result, even mainstream refactoring engines contain critical bugs. We propose an automated approach for testing of Java refactoring engines based on program generation.