首页> 外文OA文献 >1 JML Runtime Assertion Checking: Improved Error Reporting and Efficiency using Strong Validity

【2h】

1 JML Runtime Assertion Checking: Improved Error Reporting and Efficiency using Strong Validity

机译：1 JmL运行时断言检查：使用强有效性改进错误报告和效率

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Patrice Chalin; Frédéric Rioux;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. How the design of JML accommodates both runtime assertion checking and formal verification [J] . Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Science of Computer Programming . 2005,第1a3期

机译：JML的设计如何适应运行时断言检查和形式验证
2. Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study [J] . Henrique Rebelo, Ricardo Lima, Gary T. Leavens, Science of Computer Programming . 2013,第8期

机译：使用程序转换为JML优化生成的面向方面的断言检查代码：一项实证研究
3. A Historical Perspective on Runtime Assertion Checking in Software Development [J] . Lori A. Clarke, David S. Rosenblum Software Engineering Notes . 2006,第3期

机译：软件开发中运行时断言检查的历史观点
4. JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity [C] . Patrice Chalin, Frederic Rioux FM 2008: Formal Methods . 2008

机译：JML运行时断言检查：使用强大的有效性改进了错误报告并提高了效率
5. A runtime assertion checker for the Java Modeling Language. [D] . Cheon, Yoonsik. 2003

机译：Java建模语言的运行时断言检查器。
6. Time for a step change? Improving the efficiency relevance reliability validity and transparency of aphasia rehabilitation research through core outcome measures a common data set and improved reporting criteria [O] . Marian C. Brady, Myzoon Ali, Chrysovalantis Fyndanis, -1

机译：是时候改变一步了吗？通过核心结果指标通用数据集和改进的报告标准提高失语症康复研究的效率相关性可靠性有效性和透明度
7. Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles [O] . Christian Murphy, Kuang Shen, Gail Kaiser 2011

机译：使用JmL运行时断言检查在没有测试规则的应用程序中自动执行变形测试

1 JML Runtime Assertion Checking: Improved Error Reporting and Efficiency using Strong Validity

著录项

引文网络

相似文献

相关主题

期刊订阅