摘要：前段时间出差了十几天，所以博客更新得有点慢了。前几天看这篇论文：D. Hovemeyer and W. Pugh, "Finding bugs is easy," SIGPLAN Not., vol. 39, pp. 92-106, 2004. 介绍了Findbugs这种工具最初实现时能够检测的18种缺陷。一种有一种印象挺深的，这里总结一下：Core Java Volume 1这本书在其197页也介绍到了这种规范，即如果在一个类中重新定义（重载）了equals()方法，那也必须同时定义（重载）hashCode()方法。由于在Object类中，hashCode()方法默认返回 阅读全文

摘要：最近看论文的时候，发现和软件分析、测试及模型检验相关的论文，都会引用两个Model Checking工具，分别是：BLAST: http://mtc.epfl.ch/software-tools/blast/index-epfl.php/ SLAM: http://research.microsoft.com/en-us/projects/slam/和这两个工具相关几篇主要论文，引用次数都很多，下面举几个例子：“Software model checking tools, like SLAM [1] and Blast [2], ……”——C. Y. Cho, D. Babi, P. Poos 阅读全文

摘要：这篇文章挺好玩，本来是讲软件测试的adequacy criteria的：M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria," in Proceedings of the 16th international conference on Software engineering, Sorrento, Italy, 1994, pp. 191- 阅读全文

摘要：今天开小组会的时候，谈到JPF的扩展和使用，就想总结一下10-11年相关会议上使用JPF的几篇论文，这里简单整理下：1. P. Joshi, M. Naik, K. Sen, and D. Gay, "An effective dynamic analysis for detecting generalized deadlocks," in Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, Santa Fe, Ne 阅读全文