Cloud Testing Service

VAL(Verification Automation Lab) and STL (Software Testing Lab) 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. 


Address: BL618, No. 1, Sec. 4, Roosevelt Road, Taipei, 10617 Taiwan(R.O.C)

TEL: +886-2-3366-3700 #6618