Projects‎ > ‎depex‎ > ‎

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

 

 

  

Comments