Profile image of sarmadmakhdoom
Flag of Pakistan Hafizabad, Pakistan
Member since February 11, 2010
0 Recommendations


Online Offline
I am very versatile in programming. I can handle small to large scale of applications problems. I am very proficient in all languages like C, C++, C#, Objective C, Java, PHP, Python and Visual Basic. Have abilities to handle short deadline work very efficiently, most of my clients admire me for this because no matter what time it is, I would be available for work. So just hand me any sort of your work and forget all worries about it. I’ll make sure that you will get everything you asked for and I always obey deadlines, so lets work together. Development Areas: - Desktop Applications - Dynamic Websites - iPhone App Development - Service Oriented Systems - Distributed System - Software Testing Research publications: Incremental symbolic execution for automated test suite maintenance IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
$30 USD/hr
94 reviews
  • 94%Jobs Completed
  • 100%On Budget
  • 100%On Time
  • 35%Repeat Hire Rate


Recent Reviews


Web Programmer

Apr 2010

Working online with Web Dynamics as a lead programmer on couple of website projects. Major projects are Kip America ([login to view URL]), Azon Equipment ([login to view URL]) and SCP Software ([login to view URL]). Major responsibilities at Web Dynamics are designing xHTML websites, implementing functionalities and updating them.

Web Developer

Jun 2008 - Jul 2009 (1 year)

Create, update and maintain websites for [login to view URL] and [login to view URL], using CSS, HTML, JavaScript, XML and ASP .NET. Provided technical support for usability issues and critical site problems.


Masters of Computer Science

2012 - 2014 (2 years)

Bachelors of Computer Science

2008 - 2012 (4 years)


Campus Gold Medalist and Chancellor Gold Medalist in CIIT (2012)

Comsats Institute of Information and Technology

I was awarded Compus and Chancellor Gold Medalist in 2012 for achieving 1st position (in Computer Science degree) in my own university campus as well as all the 7 campuses in the Pakistan.


Incremental symbolic execution for automated test suite maintenance

Scaling software analysis techniques based on source-code, such as symbolic execution and data flow analyses, remains a challenging problem for systematically checking software systems. In this work, we aim to efficiently apply symbolic execution in increments based on versions of code. Our technique is based entirely on dynamic analysis and patches completely automated test suites based on the code changes. Our key insight is that we can eliminate constraint solving for unchanged code by checking constrain


  • VB .Net Level 1
  • XHTML 1
  • PHP Level 1
  • Html 4
  • Html 4


  • Facebook Connected
  • Preferred Freelancer
  • Payment Verified
  • Phone Verified
  • Identity Verified
  • Email Verified

My Top Skills

Browse Similar Freelancers