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