位置：成果数据库 > 会议 > 会议详情页
Specifying and Detecting Behavioral Changes in Source Code using Abstract Syntax Tree Differencing
  • 所属机构名称：北京邮电大学
  • 会议名称：ISCTCS
  • 时间：2012.5.29
  • 成果类型：会议
  • 相关项目：可信软件及服务的度量、评估、认证体系标准研究
同会议论文项目
可信软件及服务的度量、评估、认证体系标准研究
期刊论文 9 会议论文 14 著作 2
同项目会议论文
A New Measurement Method for Software Trustworthiness Based on Rough Sets
Service Behavior Trustworthiness Management
Research on Simulation and Real-Time Evaluation Method of IoT-Oriented Complex System
An Implementation of Trusted Remote Attestation Oriented the IaaSCloud
An Improved Design of the Trustworthiness Authentication Mechanism of IaaS
An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs
Timing Aspects Construction Using UML-MARTE Profile
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems
MDE-Based Verification of SysML State Machine Diagram by UPPAAL
CppIns: A Source Query Language for Instrumentation
An UML Model Query Method Based on Structure Pattern Matching
Composition of AADL Components by Transformation to Interface Automata
A Tool to Construct One Comprehensive Legal Environment for Behavioral Incompatible Components