A Risk Poker Based Testing Model For Scrum
Formal analysis of seamless application execution in mobile cloud computing
Federated cloud resource management: Review and discussion.
Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis
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
Performance assessment of dynamic analysis based energy estimation tools
Process state synchronization for mobility support in mobile cloud computing
Personal CGPA Planning System for Undergraduates: Towards Achieving the First Class CGPA
Classification of Image Processing Software Tools for Cardiovascular Image Analysis
