反例引导的抽象精化论文

Web应用的验证与测试方法研究
论文摘要Internet的普及以及分布式计算、基于构件的开发和WebServices等技术的迅速发展和应用使Web应用渗透到国计民生的各个领域。Web应用的质量将直接影响人们的...