logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
T

THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025

IF
Papers17
Citations
Journal Papers 17
Publication Date
delete
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteManini, Andrea; Rossi, Matteo; San Pietro, Pierluigi
deleteShare
deleteSave
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXu, Ziyun; Wang, Hao; Sun, Meng
deleteShare
deleteSave
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
deleteShare
deleteSave
Unleash the Hidden Power of CAR-Based Model Checking Through Dynamic Traversal
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDong, Yibo; Chen, Yu; Li, Jianwen; Pu, Geguang
deleteShare
deleteSave
Failure Divergence Refinement for Event-B
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteStock, Sebastian; Leuschel, Michael; Mashkoor, Atif
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE Detection
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
deleteShare
deleteSave
Portability of Optimizations from SC to TSO
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGopalakrishnan, Akshay; Verbrugge, Clark
deleteShare
deleteSave
A Formally Verified Neural Network Converter for the Interactive Theorem Prover COQ
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGummersbach, Leo Alexander; Voellinger, Kim; Aleksandrov, Andrei
deleteShare
deleteSave
Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLeng, Wenda; Liu, Meihua; Jin, Yufeng
deleteShare
deleteSave
Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition Reasoning
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSmith, Graeme
deleteShare
deleteSave
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.
deleteShare
deleteSave
Dependent Assertion Logic for Modular Software Verification
deleteTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGraetz, Lukas
deleteShare
deleteSave