A Model Based Testing Approach for Java Bytecode Programs

机译：基于模型的Java字节码程序测试方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Safaa Achour;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications [J] . Safaa Achour, Mohammed Benattou, Jean-Louis Lanet IAENG Internaitonal journal of computer science . 2021,第2Pta2期

机译：使用BML规范注释的Java Bytecode程序的正式模型。
2. A local approach for temporal model checking of Java bytecode [J] . Santone A, Vaglini G Journal of computer and system sciences . 2005,第2期

机译：Java字节码的时态模型检查的本地方法
3. Provably correct control flow graphs from Java bytecode programs with exceptions [J] . Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, International Journal on Software Tools for Technology Transfer . 2016,第6期

机译：可以从Java字节码程序正确纠正控制流程图，但有例外
4. Constraint Based Testing and Verification of Java Bytecode Programs [C] . Safaa Achour, Mohammzed Benattou International Congress on Information Science and Technology . 2018

机译：基于约束的Java字节码程序的测试和验证
5. An approach for automated grading of Java GUI-based student programs. [D] . Feng, Man Yu. 2006

机译：一种基于Java GUI的学生程序的自动评分方法。
6. Evaluating Intervention Programs with a Pretest-Posttest Design: A Structural Equation Modeling Approach [O] . Guido Alessandri, Antonio Zuffianò, Enrico Perinelli -1

机译：用前测-后测设计评估干预计划：一种结构方程建模方法
7. An approach for formal verification of updated Java bytecode programs [O] . Lounas R., Mezghiche M., Lanet J.-L. 2015

机译：正式验证更新的Java字节码程序的方法
8. Model Checking JAVA Programs Using Java Pathfinder [R] . Havelund, Klaus, Pressburger, Thomas 2000

机译：使用Java pathfinder检查JaVa程序的模型

A Model Based Testing Approach for Java Bytecode Programs

著录项

引文网络

相似文献

相关主题

期刊订阅