钱俊彦

2024

Towards robust neural networks: Exploring counterfactual causality-based repair

Expert Systems With Applications，Vol. 257

DOI

2023

一种模糊互模拟的局部算法

《桂林电子科技大学学报》

2023

模糊Kripke结构的子模型修复算法

《郑州大学学报(理学版)》

2022

基于最短长链接优先选择的VLSI阵列重构算法

《桂林电子科技大学学报》

2022

Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC

IEEE Transactions on Network and Service Management

DOI

2022

Evolutionary Measures for Object-oriented Projects and Impact on the Performance of Cross-version Defect Prediction

Asia-Pacific Symposium on Internetware

DOI

2022

Approximate Safety Properties in Metric Transition Systems

IEEE Transactions on Reliability

DOI

2022

Generating Optimal Class Integration Test Orders Using Genetic Algorithms

International journal of software engineering and knowledge engineering

DOI

2021

模糊安全性和活性

《计算机科学》

2021

一种基于区块链的物联网隐私数据保护方案

《桂林电子科技大学学报》

DOI

2021

面向稀有攻击的入侵检测方法

《桂林电子科技大学学报》

DOI

2020

基于度量线性时态逻辑的近似安全性

《计算机科学》

2020

模糊计算树逻辑的模型检测修复算法

《桂林电子科技大学学报》

DOI

2020

A Novel Class-Imbalance Learning Approach for Both Within-Project and Cross-Project Defect Prediction

IEEE Transactions on Reliability

DOI

2020

Behavior Compatibility Analysis for Service Mashup with Model Checking

DOI

2020

Process metrics for software defect prediction in object-oriented programs

IET Software

DOI

2019

云制造中策略可更新的去中心化访问控制机制

《计算机集成制造系统》

DOI

2019

基于相似路径的动态引导测试数据生成策略

《浙江理工大学学报(自然科学版)》

2019

基于网络流的高效VLSI子阵列重构

《桂林电子科技大学学报》

DOI

2019

基于Büchi自动机化简的JavaMOP监控器构造方法

《桂林电子科技大学学报》

DOI

2019

An Approach for Detecting Infeasible Paths Based on a SMT Solver

IEEE Access

DOI

2019

Efficient Test Case Generation for Thread-Safe Classes

IEEE Access

DOI

2019

Program Slicing Method of LLVM IR Based on Information-Flow Analysis

International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery

DOI

2019

Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical Study

IEEE Access

DOI

2019

An Empirical Study on the Effectiveness of Feature Selection for Cross-Project Defect Prediction

IEEE Access

DOI

2018

模糊交互时态逻辑的一些标记

《计算机科学与探索》

2018

基于动态调整简化粒子群优化的组合测试用例生成方法

《计算机科学》

2018

分类不平衡对软件缺陷预测模型性能的影响研究

《计算机学报》

2018

基于DBSCAN算法的测试用例优化方法

《计算机系统应用》

2018

紧耦合处理器阵列重构的整数规划模型

《桂林电子科技大学学报》

2018

快速解密且私钥定长的密文策略属性基加密方案

《电子与信息学报》

2018

基于动态调整简化粒子群优化的组合测试用例生成方法 (Combinatorial Test Case Generation Method Based on Simplified Particle Swarm Optimizationwith Dynamic Adjustment)

《计算机科学》

DOI

2018

Reachability Analysis of Asynchronous Dynamic Pushdown Networks Based on Tree Semantics Approach

World Journal of Social Science Research

DOI

2018

How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction

ACM Transactions on Software Engineering and Methodology

DOI

2018

Improvement in JavaMOP by Simplifying Büchi Automaton

International Symposium on Software Engineering: Theories, Tools, and Applications

DOI

2018

Evolutionary approach to generating test data for data flow test

IET Software

DOI

2018

Monadic Dynamic Slicing of Object-Oriented Programs

International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery

DOI

2018

A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks

ACM/IEEE International Conference on Mobile Computing and Networking

DOI

2017

一种抗地址淹没的缓冲区栈溢出算法

《计算机应用研究》

2017

基于时间动态下推网络可达性分析

《电子学报》

2017

基于行为和结构特征的相似语义工作流检索

《计算机研究与发展》

2017

一种基于Kalman滤波和粒子群优化的测试数据生成方法

《电子学报》

2017

基于整数规划的最大目标阵列重构算法

《桂林电子科技大学学报》

2017

容错处理器阵列的重构抽象模型

《桂林电子科技大学学报》

2017

高性能阵列重构的SAT描述模型

《桂林电子科技大学学报》

2017

An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization

IEEE International Conference on Software Quality, Reliability and Security Companion

DOI

2017

An Interactive Debugging Framework with Heuristic Graph

International Conference on Software Analysis, Testing and Evolution

DOI

2017

Research of Multiple Fault Localization Based on Cluster Analysis of Program Failures

DOI

2017

Path-oriented test cases generation based adaptive genetic algorithm

PLoS ONE

DOI

2016

基于时间多栈下推网络的实时系统验证

《计算机学报》

2016

面向有效错误定位的偶然正确性识别方法

《电子学报》

2016

基于分支相关性分析的不可达路径检测方法

《计算机研究与发展》

2016

计算节点不可靠网络可靠度的一种MDD算法

《计算机科学》

2016

一种基于余代数单子的Web服务形式化模型

《南京航空航天大学学报(自然科学版)》

2016

用于面向过程的基于实例推理的语义工作流相似性算法

《计算机集成制造系统》

2016

基于k-定界的动态下推网络可达性分析

《桂林电子科技大学学报》

2016

基于抽象不变式的程序安全性验证

《清华大学学报(自然科学版)》

2016

计算节点不可靠网络可靠度的一种MDD算法 (Novel Reliability Analysis Algorithm Based on MDDs in Networks with Imperfect Nodes)

《计算机科学》

DOI

2016

Which Is More Important for Cross-Project Defect Prediction: Instance or Feature?

International Conference on Software Analysis, Testing and Evolution

DOI

2016

時間マルチホップネットワークに基づく実時間システムの検証【JST・京大機械翻訳】

2015

基于对象引用关系的Java程序内存行为分析方法

《电子学报》

2015

基于Petri网的CSP并发系统验证技术研究

《计算机科学》

2015

基于邻接矩阵的Web服务组合

《计算机工程与科学》

2015

Static conversion method for time multi-stack push-down network

2014

基于上下文定界的递归队列并发程序可达性分析

《计算机学报》

2014

基于完备抽象解释的性质强保留抽象研究

《计算机学报》

2014

Summarization of Boolean satisfiability verification

DOI

2013

基于上下文定界的Fork/Join并行性的并发程序可达性分析

《计算机工程与科学》

2013

基于ASP的CSP进程描述与组合研究

《计算机科学》

2013

基于进程迹的CSP模型验证框架

《计算机科学》

2013

基于自动机的并发程序符号可达分析

《桂林电子科技大学学报》

2012

基于并发事务逻辑的语义Web服务组合

《计算机科学》

2012

基于ASP的CSP并发系统验证研究

《计算机科学》

2012

ASP-based Verification of Concurrent Systems Described by CSP

2012

Retraction notice to “Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction” [PROCS9 (2012) 1363–1370]

DOI

2012

WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing

2012 IEEE Eighth World Congress on Services

DOI

2012

modeling and quantifying the dependability based on pepa

DOI

2012

Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction

International Conference on Conceptual Structures

DOI

2011

正规逻辑程序回答集存在性研究

《计算机科学》

2011

基于答案集的Web服务组合验证

《计算机科学》

2011

面向属性计算的转义性计算研究

《桂林电子科技大学学报》

2010

从经典逻辑知识构建ASP知识库的新方法

《计算机应用》

2010

基于抽象解释的C程序信息保密性研究

《计算机工程》

2009

基于计算解语义的逻辑程序测试和调试框架

《计算机科学》

2009

基于完备抽象解释的模型检验CTL公式研究

《计算机学报》

2009

Automatic Construction of Complete Abstraction by Abstract Interpretation

2009 Eighth IEEE/ACIS International Conference on Computer and Information Science

DOI

2009

Model Checking CTL Based on Complete Abstraction Interpretation: Model Checking CTL Based on Complete Abstraction Interpretation

DOI

2008

目标独立的Prolog程序路径依赖分析语义

《计算机科学》

2008

基于抽象解释的Prolog程序验证技术研究

《计算机科学》

2008

基于自动机理论的符号模型检验

《兰州理工大学学报》

2008

基于SAT的程序谓词抽象技术研究

《桂林电子科技大学学报》

2008

SAT-based program predicate abstraction

2008

Application of call patterns semantics and correct call patterns semantics to CPM testing of Prolog programs

2008

Formula-Dependent Abstraction for CTL Model Checking

Communication Systems and Applications

DOI

2008

Novel method for slice-mutation based on program testing

2008

Test frame updating in CPM testing of Prolog programs

Software quality journal

DOI

2008

Abstract Interpretation Based Verification of Prolog Programs

2007

一种基于熵的OBDD变量排序算法

《计算机科学》

2007

基于结构化操作语义的安全协议分析框架研究

《计算机科学》

2007

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs

DOI

2007

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics

Asian Symposium on Programming Languages and Systems

DOI

2007

Verifying Programs Using Abstraction and Theorem Proving

International MultiConference of Engineers and Computer Scientists

2007

Formal Verification for C Program

Informatica

DOI

2006

A Base for Achieving Semantics for Prolog with Cut for Correct Observables

Software Engineering Research and Practice

2006

Optimization Construction of Region Automaton

International Conference on Parallel and Distributed Processing Techniques and Applications

2006

Compositional Abstraction for Concurrent Programs

Software Engineering Research and Practice

2006

CASE Tool SuperState for Verifying Statecharts

2006

A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics

International Conference on Software Engineering and Knowledge Engineering

2006

Designing Prolog Semantics for a Class of Observables

Pacific Rim International Conference on Artificial Intelligence

DOI

2006

On the New Application of Call Patterns to CPM Testing of Prolog Programs

Australian Conference on Artificial Intelligence

DOI

2005

Model Checking for Timed Statecharts

Formal Techniques for (Networked and) Distributed Systems

DOI

2004

Statecharts的抽象语法分析研究

《计算机工程》

2004

The compositional semantics of timed statecharts

IASTED Conf. on Software Engineering and Applications

2004

Abstract Syntax Analysis Based on Statecharts

2006

简述Statecharts的CASE工具SuperState

《广西计算机学会2006年年会》

2023

Human-in-the-loop online just-in-time software defect prediction

arXiv preprint