位置：成果数据库 > 会议 > 会议详情页
Jonathan de Halleux and Hong Mei， Test Generation via Dynamic Symbolic Execution for Mutation Testin
  • 所属机构名称：北京大学
  • 成果类型：会议
  • 相关项目：可信软件的基础理论、方法和技术研究
同会议论文项目
可信软件的基础理论、方法和技术研究
期刊论文 36 会议论文 54 获奖 2
同项目会议论文
一种基于Internet的JAR包使用信息收集方法
Jtop: Managing JUnit Test Cases in Absence of Coverage Information
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
Handling Crosscutting Concerns during Software Process Improvement
MAPO: Mining and Recommending API Usage Patterns
Improving Performance of Matrix Multiplication and FFT on GPU
A lightweight Monitoring framework for Embedded systems
VIDA: Visual Interactive Debugging
An Automatic Compliance Checking Approach for Software Processes
Enabling On Demand Deployment of Middleware Services in Componentized Middleware
SM@RT: Towards Architecture-based Runtime Management of Internetware Systems
A Task-Oriented Navigation Approach to Enhancing Architectural Description Comprehension
以代理为中心的 OSGi 构件资源监控方法
TSRR: A Software Resource Repository for Trustworthiness Resource Management and Reuse
Inferring Resource Specifications from Natural Language API Documentation
Locating Need-to-Translate Constant Strings in Web Applications
Test Input Reduction for Result Inspection to Facilitate Fault Localization
Using QoS-Contracts to Drive Architecture-Centric Self-Adaptation
Service Encapsulation for Middleware Management Interfaces
Security Model Oriented Attestation on Dynamically Reconfigurable Component-Based System
SCOBA: Source Code Based Attestation on Custom Software
A Propositional Logic-Based and Evidence-Rich Web Services Trustworthiness Evaluation Framework
Developer Fluency: Achieving True Mastery in Software Projects
Management as a Service: An Empirical Case Study in the Internetware Cloud
A Browser-based Framework for Data Cache in Web-Delivered Service Composition
Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and
Is Operator-Based Mutant Selection Superior to Random Mutant Selection
A Semi-supervised Approach for Component Recommendation Based on Citations
Towards Automatic Tuning of Adaptive Computations in Autonomic Middleware.
Mashing-up Rich User Interfaces for Human-Interaction in WS-BPEL
Extracting Behavioral Models from WS-BPEL Processes for Service Discovery
A Flexible Multi-Source Web Service’s QoS Acquisition Framework and Implementation
Transaction-based Adaptive Dynamic Voltage Scaling for Interactive Applications
Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
Matching Dependence-Related Queries in the System Dependence Graph
Does the Initial Environment Impact the Future of Developers
Binary-Search Based Verification of Feature Models
A Multi-dimensional Hierarchical Model Methodology for Autonomic Computing System
Natural Language Processing based Detection of Duplicate Defect Patterns
Automating Reusable-Procedure Discovery through Developer’s Action Analysis
An Automatic Configuration Approach to Improve Real-Time Application Throughput While Attaining Dete
Integrating Resource Consumption and Allocation for Infrastructure Resources on-Demand
A Self-Adaptive Mechanism for Software Configuration Based on Case-based Reasoning and Policy
Towards Automated Generation of User-Specific Eclipse Wizard
An Automatic Approach to Aid Process Integration within a Secure Software Processes Family
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models
An Agent-based Autonomous Component Model for Internetware
Generating Synchronization Engines between Running Systems and Their Model-Based Views
Towards Architecture-centric Collaborative Software Development
A Use Case Based Approach to Feature Models’ Construction
Semantic Attestation of Software Configuration
Towards Service Composition Middleware Embedded in Web Browser
Time-Aware Test-Case Prioritization using Integer Linear Programming