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
- Issue analysis
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