logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
T

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF
论文数17
被引数
期刊论文 17
发表时间
delete
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation定时自动机模型检测器的随机测试与自动化Oracle生成
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteManini, Andrea; Rossi, Matteo; San Pietro, Pierluigi
delete分享
delete收藏
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs晶态操作语义：一种用于并行EVM的智能合约语言
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXu, Ziyun; Wang, Hao; Sun, Meng
delete分享
delete收藏
A Coherent Index for Dichotomy in Version-Controlled Repositories版本控制仓库中二分法的相干索引
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBulteau, Laurent; David, Pierre-Yves; Horn, Florian; Tran-Girard, Euxane
delete分享
delete收藏
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal通过动态遍历释放基于CAR模型的模型检测的隐藏力量
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDong, Yibo; Chen, Yu; Li, Jianwen; Pu, Geguang
delete分享
delete收藏
Failure Divergence Refinement for Event-BFailure Divergence Refinement for Event-B Event-B的失败分歧精化
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteStock, Sebastian; Leuschel, Michael; Mashkoor, Atif
delete分享
delete收藏
A Cross-Domain Data Sharing Scheme Based on Federated Blockchain基于联邦区块链的跨域数据共享方案
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMao, Honglin; Zhang, Jie; Zhang, Yao; Li, Xiaohong
delete分享
delete收藏
Robust Deep Reinforcement Learning Using Formal Verification基于形式化验证的鲁棒深度强化学习
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRaviv, Avraham; Vistuch, Shaiel; Gurevich, Boaz; Dekel, Erel; Kugler, Hillel
delete分享
delete收藏
Machine-Checked Compositional Specification and Proofs for Embedded Systems嵌入式系统的机器检验组合规范与证明
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deletePalmskog, Karl; Nyberg, Mattias; Gurov, Dilian
delete分享
delete收藏
Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness基于程序切片的测试驱动形式化验证在功能完备性和完备性方面的测试
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiu, Ai; Liu, Yang; Liu, Shaoying; Yang, Zhibin
delete分享
delete收藏
State Significance-Guided Fuzzing for Stateful Protocol Program基于状态重要性的有状态协议程序模糊测试
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJian, Kunpeng; Zou, Yanyan; Wang, Chen; Li, Ning; Li, Menghao; Huo, Wei
delete分享
delete收藏
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE DetectionCASTLE：面向CWE检测的静态代码分析器和大型语言模型基准测试数据集
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDubniczky, Richard A.; Horvat, Krisztofer Zoltan; Bisztray, Minas; Ferrag, Mohamed Amine; Cordeiro, Lucas C.; Tihanyi, Norbert
delete分享
delete收藏
Portability of Optimizations from SC to TSO从SC到TSO的优化可移植性
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGopalakrishnan, Akshay; Verbrugge, Clark
delete分享
delete收藏
A Formally Verified Neural Network Converter for the Interactive Theorem Prover COQ形式化验证的神经网络转换器用于交互式定理证明器COQ
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGummersbach, Leo Alexander; Voellinger, Kim; Aleksandrov, Andrei
delete分享
delete收藏
Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification自适应子句管理在SMT求解器中的应用：形式化验证的动态加权框架
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLeng, Wenda; Liu, Meihua; Jin, Yufeng
delete分享
delete收藏
Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning使用最弱前置条件推理检测投机性数据流漏洞
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSmith, Graeme
delete分享
delete收藏
Mining Diamonds in Labelled Transition Systems在标记转移系统中的钻石挖掘
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan Spaendonck, P. H. M.; Jilissen, K. H. J.
delete分享
delete收藏
Dependent Assertion Logic for Modular Software Verification模块化软件验证的依赖断言逻辑
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGraetz, Lukas
delete分享
delete收藏