ACM Transactions on Software Engineering and Methodology : Volume 22, Nomor 4, 2013

1. Test-and-Adapt : An Approach for Improving Service Interchangeability

2. A Methodology for Testing CPU Emulators

3. Exception Handlers for Healing Component-Based Systems

4. A Theoretical Analysis of the Risk Evaluation Formulas for Spectrum-Based Fault Localization

5. Path Exploration Based on Symbolic Output

Etc.