Chianti: a change impact analysis tool for java programs
Proceedings of the 27th international conference on Software engineering
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Challenge proposal: verification of refactorings
Proceedings of the 3rd workshop on Programming languages meets program verification
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
From behaviour preservation to behaviour modification: constraint-based mutant generation
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
(Un-)Covering Equivalent Mutants
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
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
| Hi-index | 0.00 |
We propose a tool (Safira) capable of determining if a transformation is behavior preserving through test generation for entities impacted by transformation. We use Safira to evaluate mutation testing and refactoring tools. We have detected 17 bugs in MuJava, and 27 bugs in refactorings implemented by Eclipse and JRRT.