机译:指定和检查Java程序的方法调用顺序
Department of Computer Science, The University of Texas at El Paso, El Paso, TX 79968;
method call sequence specification; runtime checking; assertion; pre and postconditions; programming by contract; JML language;
机译:使用JAVA路径查找器对JAVA程序进行模型检查
机译:使用软件模型检查来验证MPI Java程序
机译:使用Java Pathfinder进行UDP网络程序模型检查的框架
机译:CoffeeStrainer-静态检查Java程序上的结构约束
机译:面向静态验证JavaScript的实时编程环境
机译:VirusBanker数据库使用Java程序可以灵活地搜索Bunyaviridae序列
机译:指定和检查Java程序的方法调用序列
机译:使用Java pathfinder检查JaVa程序的模型