Prof. Wang's is now interested at helping the industry to reduce the cost of verification (or debugging), which has sky-rocketed up to more than 50% of the total development budget. His research mainly are focused on two techniques.
1. Automating human verification experiences to develop verification tools with high abstractness and efficiency. Such tools have been shown effective in MS SLAM project to reduce the bugs of Windows drivers and the quality control in Intel CPU designs.
2. Automatic test plan generation for embedded software. In most companies, testing is still the major technique used to control the quality of software systems. Our focus is to use automated technology to analyze system spec. and generate quality test plans that can check out bugs systematically and methodically.
He is now executing the following projects.
NAS Server Functional Testing and Verification, Quanta Computers Inc. (廣達電腦), 2005/10/1-2006/9/30, NT$1,570,000.00
Research on the Automation and Visualization Technology of Testcases for Software Systems, III (資策會), 2006/1/1-2006/12/31, NT$900,000.
A New Theory for Program Execution Time Analysis, NSC (國科會), 2005/8/1-2008/7/31, 3*NT$773,000.00.
An Integrated Framework for the Formal Development of Complex Embedded Systems, NSC (國科會), 2005/8/1-2008/7/31, 3*NT$483,000.00.
Formal Method Course Planning, Software Engineering Consortium, Ministry of Education(教育部), 2004/3/1-2006/12/31, 2*NT$450,000.00.
Intel Multi-Core Course Planning, Intel, 2006/4/1-2007/3/31, USD$20,000. (with Prof. S.-Y. Kuo, C.-L. Lei, H.-C. Yen)