Muhammad Adeel Khan

  • Citations Per Year
Learn More
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(More)
The recent trend, wireless communications has became one of the striving areas for the developments of cellular technologies. This is because, many people around the world would like to connect to the other, seamlessly, anytime anywhere. Therefore, the selection of the best network connection becomes crucial with the best quality of service. For that reason(More)
  • 1