Formal analysis of seamless application execution in mobile cloud computing
Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis
Federated cloud resource management: Review and discussion.
A survey on energy estimation and power modeling schemes for smartphone applications
Reviewing and Classification of Software Model Checking Tools
Theorem Prover based Static Analyzer: Comparison Analysis between ESC/Java2 and KeY.
Abstract Formal Framework for Method Overriding
Review on UML CASE Tools
Personal CGPA Planning System for Undergraduates: Towards Achieving the First Class CGPA
Classification of Image Processing Software Tools for Cardiovascular Image Analysis
Extended Finite State Machines-Based Testing Using Metaheuristic Search Based Techniques: Issues, and Open Challenges
HEX Clustering Protocol for Routing in Wireless Sensor Network
