Editorial introduction
Model-driven reverse engineering of legacy graphical user interfaces
Adaptable, model-driven security engineering for SaaS cloud-based applications
Counterexample-guided abstraction refinement for linear programs with arrays
DConfusion: a technique to allow cross study performance evaluation of fault prediction studies
Guest editorial: automated techniques for migrating to the cloud (II)
Multicast and customized deployment of large-scale operating systems
SFDCloud: top-k service faults diagnosis in cloud computing
JackHare: a framework for SQL to NoSQL translation using MapReduce
Graph database benchmarking on cloud environments with XGDBench
Editorial: ASE 2013 Conference Trip Report
Exploring optimization and caching for efficient collection operations
A method for evaluation of learning components
GUITAR: an innovative tool for automated testing of GUI-driven software
Behind the scenes in SANTE: a combination of static and dynamic analyses
Guest editorial: automated techniques for migrating to the Cloud (I)
Exploiting ensemble techniques for automatic virtual machine clustering in cloud systems
Cloud refactoring: automated transitioning to cloud-based services
Data error locations reported by public auditing in cloud storage service
MobiCloUP!: a PaaS for cloud services-based mobile applications