Software Languages Lab

   HOME |  PEOPLE |  RESEARCH |  PROJECTS |  SEMINAR |  PICTURE |  BOARD |  RELATION

Publications

      IoT and Software Security

    • IoT Software
    • Android system
    • Software security

      • Program Analysis and Verification
    • Static program analysis
    • Dynamic program analysis
    • Formal verification of software

      • Automated Software Engineering
    • Program visualization
    • Automatic software testing
    • Secure Coding

      • JAVA and Internet computing

    • Java and Internet programming languages
    • Mobile Java programming environment
    • Internet programming model and environment