Truong-Thang Nguyen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Legacy distributed applications are moving to the cloud in order to reduce operational costs and provide more scalable services to users. These applications are built by interconnecting independently developed packages and services distributed over multiple machines. The installation, deployment and management of such applications on the cloud is hard, and(More)
Software cost can be reduced if more software defects are detected earlier in the development phase. Motivated by the Extended Static Checking (ESC) technique, many programming errors have been discovered by ESC tools. In a typical ESC procedure, the source code of a program written in a high-level programming language, e.g. Java [1] or C#, Spec# [2], is(More)
  • 1