阿达布 swMATH ID: 15736 软件作者： 描述： 使用ADABU挖掘对象行为。要了解什么是正确的程序行为，可以从正常行为开始。我们观察实际的程序执行来构造总结对象行为的状态机。这些状态机称为对象行为模型，它捕获两种方法之间的关系：改变状态的变量（如add（））和保持状态不变的检查器（如isEmpty（））：“Vector对象最初处于isEmpty（）状态；在add（）之后，它将进入“isEmpty（）”状态。我们的JAVA ADABU原型已成功地从AspectJ编译器和Columba电子邮件客户端挖掘出未记录行为的模型；模型往往很小，很容易理解。 主页： http://dl.acm.org/citation.cfm？id=1138918 相关软件： Daikon公司;轻量级Java;橡皮擦;JML公司;JBoss公司;苏贝尔;猎鹰;反链;SMArTIC公司;佩拉科塔;兔子MQ;学习库;TorX公司;CADP公司;Uppaal公司;MRMC公司;JTorX公司;罗斯特拉;艾菲尔 引用于： 2文件 全部的 前5名9位作者引用 1 阿尔茨、菲德斯 1 哈科·库彭斯 1 希拉·佩勒 1 沙龙·肖姆 1 特雷特曼，简 1 Vaandrager，Frits W。 1 四川省韦尔市 1 叶哈夫，埃兰 1 杨红seok 2篇连载文章中引用 1 信息学报 1 机器学习 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文