ASE-Pex Students

  • Justin Gorham (Aug 10-)
    • Configurable system testing
  • Madhuri Marri (Jan 08-)
      • Security testing
      • Environment modeling (Parameterized Models for Testing and Testing Parameterized Models)
  • Rahul Pandita (Aug 09-)
    • Environment modeling (Parameterized Models for Testing and Testing Parameterized Models)
    • Network application testing
    • Guided coverage testing (inactive)
  • Yoonki Song (Jan 07-)
    • Visualization
  • Kunal Taneja (Aug 06-)
      • Regression testing
      • Database application testing
  • Suresh Thummalapenta (Jan 07-)
    • Method sequence generation
  • Xusheng Xiao (Aug 09-)
    • Issue analysis
      • Infeasible branch detection

Dormant but still live projects

  • Kiran Shakya (Dec 09-)
    • Debugging
  • Ge Xi (Dec 09-)
      • Integration of Pex and Clousot (Code Contract static checker)
    • Lingming Zhang (PKU)
      • Mutation testing
    • Yitao Ni (PKU)
      • Web service testing
    • Lin Yan (PKU)
      • Assertion repairing
    • Hao Zhong (IOS, CAS)
      • Testing API mapping between C# and Java

Candidate projects

    • Web application testing
    • Security testing
    • GUI application testing
    • JavaScript testing
    • Fix generation/automatic test generalization
    • Azure cloud application testing
    • XNA game application testing
    • Integration testing (e.g., testing design pattern implementations)
    • Fault/code-coverage difficulty measurement
    • Confidence level on fault detection
    • Complexity testing
    • Grammar guided testing