Active Projects

• Advanced Combinatorial Testing System (ACTS) 
• Locating Faults based on Combinatorial Testing
• Stress Testing for Concurrent Programs
• Modeling Methodology for Warehouse-Scale Computing
• Input Parameter Modeling
• Big Data Software Engineering