保存此搜索
研究论文 2024年6月 分析Java应用程序上已知反序列化漏洞的前提条件 我们分析了以Java编程语言开发的应用程序为目标的已知反序列化漏洞。 正如先前的研究表明的那样,由于开发的复杂性,充分理解这种类型的漏洞并非易事,主要是。。。 海报 2024年5月 Android移动应用程序中如何使用合同? ICSE-Companion'24:2024 IEEE/ACM第46届软件工程国际会议论文集:相关论文集 2024年4月, 第400–401页 https://doi.org/10.1145/3639478.3643536 形式契约和断言是通过实施前置条件、后置条件和不变量来提高软件质量的有效方法。 然而,合同在移动应用程序开发中的采用和影响,特别是。。。 研究论文 2024年5月 一个加速Java编程暑期项目——海报摘要 《大学计算科学杂志》(JCSC)第39卷第8期 第218–219页 自2018年以来,新泽西州高中被要求开设计算机科学课程,这些课程的性质可能会有很大差异。 该提案建议实施一个专门为即将到来的。。。 第条 2024年4月 jPackFaaS:Federated FaaS中评测Java无服务器功能部署包大小 摘要 无服务器计算,尤其是功能即服务(Function-as-a-Service,FaaS),正在成为现代云应用程序编码的实际标准。 用户可以对其无服务器功能进行编码,以使用受……支持的各种云管理服务。。。 第条 2024年4月 在Chapel、Charm++、C++、HPX、Go、Julia、Python、Rust、Swift和Java中对并行1D热方程求解器进行基准测试 摘要 许多科学的高性能代码模拟 例如 黑洞、海浪、气候和天气等依赖于块结构网格,并使用有限差分方法求解适当的微分方程组。。。 -
第条 2024年4月 SWAT:使用动态工具的Java应用程序模块化动态符号执行(竞争贡献) 摘要 SWAT是一种新颖的动态符号执行引擎,用于利用动态检测的Java应用程序。 SWAT独特的模块化设计有助于其符号浏览器和使用HTTP端点的执行器之间的灵活通信,因此。。。 第条 2024年4月 JPF:2003年至2023年 摘要 我们介绍了JPF在过去20年中的当前架构。 主要变化包括模块化、可扩展设计和Java 11支持。 Java 11在语言和运行时方面带来了根本性的变化。。。 研究论文 2024年3月 软件库的自动分类 摘要 如今,第三方库在软件中的使用非常普遍。 与此同时,已出版的图书馆数量继续增加。 自动分类应有助于维护概览并识别类似的软件库。。。 研究论文 2024年3月 比较苹果和桔子? 调查多个java版本的CPU和内存探查器结果的一致性 摘要 分析是软件开发人员的一个重要工具,用于识别 热的 使用大多数计算资源的方法,以集中精力提高效率。 剖析器在基因改良方面也很重要(。。。 研究论文 2024年3月 SourcererJBF:用于大规模编译的Java构建框架 从事动态分析、软件测试、自动程序修复、验证和验证的研究人员和工具开发人员需要大型编译、可编译和可执行代码语料库来测试他们的想法。 公开的语料库是。。。 研究论文 2024年3月 加密API完成任务中嵌入选择的度量 在本文中,我们进行了一项测量研究,以全面比较密码API完成任务中多个嵌入选项的准确性影响。 嵌入是自动学习程序向量表示的过程。。。 研究论文 2024年3月 组织计算机科学专业学生小组工作的可能性 Procedia Computer Science(PROCS),第225卷,C期 2023, 第1407-1414页 https://doi.org/10.1016/j.procs.2023.10.129 摘要 本文致力于解决使用不同方法为计算机科学学生进行小组项目的问题。 这项研究是在“解的算法化和编程”和“……”两门课程上进行的。。。 研究论文 2023年12月 通过CodeChum平台评估面向对象编程结果 面向对象编程是计算机科学学士(BSCS)和信息技术学士(BSIT)课程中的一门重要课程。 在宿务理工学院计算机研究学院(CCS)。。。 研究论文 2023年12月 使用编程语言的知识单元为推送请求推荐审阅者:一项实证研究 摘要 为给定的代码更改确定合适的代码审阅者需要了解更改代码的特征,确定每个潜在审阅者的技能(专业知识简介),并在两者之间找到良好的匹配。 收件人。。。 研究论文 2023年12月 java方法中异常前提条件的轻量级精确自动提取 摘要 当方法抛出异常时 例外前提条件 -是方法文档中的一个关键元素,客户应该知道如何正确使用它。不幸的是,异常行为通常记录得很差,并且对更改很敏感。。。 第条 2023年12月 关于废弃的API用法:GitHub顶级项目的探索性研究 摘要 A已弃用 应用程序编程接口 ( API程序 )是一个不再建议其原始开发人员使用的版本。 不推荐使用的API( 即。, 不推荐使用的字段、方法和类)仍然实现,它们可以在将来删除。。。 研究论文 2023年12月 Java编程学习辅助系统中测试代码阅读学习中短语填空问题的实现 Java是一种围绕对象和类概念的多用途编程语言。 JUnit是一个单元测试框架,用于Java开发人员编写测试代码,并对高度可靠且无错误的代码执行测试。 以前,为了帮助。。。 研究论文 2023年12月 APR4Vul:针对真实Java漏洞的自动程序修复技术的实证研究 摘要 安全漏洞修复可能是自动程序修复(APR)技术的一个很有前途的研究途径。 近年来,APR工具已被彻底开发用于修复通用错误。 然而,该地区仍相对未开发。。。 研究论文 2023年12月 始终提供上下文:代码上下文对编程错误消息增强的影响 编程错误消息(PEM)对于新手程序员来说是出了名的难以利用。 为了增强PEM,已经做出了许多努力,以便对其进行改写,以新手能够理解的方式解释问题。 然而,……的有效性。。。 结晶器:用于帮助发现反序列化漏洞的混合路径分析框架 ESEC/FSE 2023:第31届ACM联合欧洲软件工程会议和软件工程基础研讨会会议记录 2023年11月, 第1586-1597页 https://doi.org/10.1145/3611643.3616313 应用程序使用序列化和反序列化来交换数据。 序列化允许开发人员在分布式应用程序中交换消息或执行远程方法调用。 然而,应用程序逻辑本身负责安全。。。