Zhenyu Chen

Orcid: 0000-0002-9592-7022

Affiliations:
  • Nanjing University, Software Institute, China
  • Southeast University, Nanjing, China (former)


According to our database1, Zhenyu Chen authored at least 196 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation.
IEEE Trans. Software Eng., April, 2024

APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models.
IEEE Trans. Software Eng., March, 2024

An Extractive-and-Abstractive Framework for Source Code Summarization.
ACM Trans. Softw. Eng. Methodol., March, 2024

A Survey of Learning-based Automated Program Repair.
ACM Trans. Softw. Eng. Methodol., February, 2024

Generation-based Differential Fuzzing for Deep Learning Libraries.
ACM Trans. Softw. Eng. Methodol., February, 2024

COPS: An improved information retrieval-based bug localization technique using context-aware program simplification.
J. Syst. Softw., January, 2024

Pre-trained Model-based Actionable Warning Identification: A Feasibility Study.
CoRR, 2024

MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.
CoRR, 2024

2023
Local-to-Global Panorama Inpainting for Locale-Aware Indoor Lighting Prediction.
IEEE Trans. Vis. Comput. Graph., November, 2023

Security-based code smell definition, detection, and impact quantification in Android.
Softw. Pract. Exp., November, 2023

Are duplicates really harmful? An empirical study on bug report summarization techniques.
J. Softw. Evol. Process., November, 2023

Crowdsourced test case generation for android applications via static program analysis.
Autom. Softw. Eng., November, 2023

Iterative Android automated testing.
Frontiers Comput. Sci., October, 2023

Mobile App Crowdsourced Test Report Consistency Detection via Deep Image-and-Text Fusion Understanding.
IEEE Trans. Software Eng., August, 2023

Deep graph learning for spatially-varying indoor lighting prediction.
Sci. China Inf. Sci., March, 2023

ShadowMover: Automatically Projecting Real Shadows onto Virtual Object.
IEEE Trans. Vis. Comput. Graph., 2023

A Prompt Learning Framework for Source Code Summarization.
CoRR, 2023

A Survey on Large Language Models for Software Engineering.
CoRR, 2023

Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms.
CoRR, 2023

Abstract Syntax Tree for Programming Language Understanding and Representation: How Far Are We?
CoRR, 2023

Machine Learning for Actionable Warning Identification: A Comprehensive Survey.
CoRR, 2023

TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree transformation.
CoRR, 2023

A Survey of Source Code Search: A 3-Dimensional Perspective.
CoRR, 2023

Vision-Based Mobile App GUI Testing: A Survey.
CoRR, 2023

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair.
CoRR, 2023

Pre-trained Model-based Automated Software Vulnerability Repair: How Far are We?
CoRR, 2023

Benchmarking Robustness of AI-enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
CoRR, 2023

Automatic Code Summarization via ChatGPT: How Far Are We?
CoRR, 2023

Boosting Automated Patch Correctness Prediction via Pre-trained Language Model.
CoRR, 2023

Dynamic Data Fault Localization for Deep Neural Networks.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

LLM for Test Script Generation and Migration: Challenges, Capabilities, and Opportunities.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Exploring the Capability of ChatGPT in Test Generation.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Human-Machine Collaborative Testing for Android Applications.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Performance Optimization for Information Sharing Process of BlockIoV Based on Multi-Objective Particle Swarm.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Evaluating Ethereum Reentrancy Detection Tools via Mutation Testing.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

DiPri: Distance-Based Seed Prioritization for Greybox Fuzzing (Registered Report).
Proceedings of the 2nd International Fuzzing Workshop, 2023

Real-time Fruit Detection Method Based on RGB-D Image Fusion.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

DVTest: Deep Neural Network Visualization Testing Framework.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

MuTCR: Test Case Recommendation via Multi-Level Signature Matching.
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

Education Reform of Software Engineering in the Age of A.I: Keynote Address.
Proceedings of the 23rd IEEE/ACIS International Conference on Computer and Information Science, 2023

2022
Clustering Crowdsourced Test Reports of Mobile Applications Using Image Understanding.
IEEE Trans. Software Eng., 2022

Classifying crowdsourced mobile test reports with image features: An empirical study.
J. Syst. Softw., 2022

Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation.
CoRR, 2022

Universally Adaptive Cross-Platform Reinforcement Learning Testing via GUI Image Understanding.
CoRR, 2022

SemCluster: a semi-supervised clustering tool for crowdsourced test reports with deep image understanding.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Context-Aware Program Simplification to Improve Information Retrieval-Based Bug Localization.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

MetaA: Multi-Dimensional Evaluation of Testing Ability via Adversarial Examples in Deep Learning.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

QATest: A Uniform Fuzzing Framework for Question Answering Systems.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

UniRLTest: universal platform-independent testing with reinforcement learning via image understanding.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

ASRTest: automated testing for deep-neural-network-driven speech recognition systems.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

META: Multidimensional Evaluation of Testing Ability.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

DeepState: Selecting Test Suites to Enhance the Robustness of Recurrent Neural Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Adaptive Test Selection for Deep Neural Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Adversarial Attacks in DNN-based Modulation Recognition: A Preliminary Study.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Automated Quality Assessment for Crowdsourced Test Reports Based on Dependency Parsing.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Intelligent Crowdsourced Testing
Springer, ISBN: 978-981-16-9642-8, 2022

2021
Smart Contract Development: Challenges and Opportunities.
IEEE Trans. Software Eng., 2021

Duo: Differential Fuzzing for Deep Learning Operators.
IEEE Trans. Reliab., 2021

Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis.
IEEE Trans. Reliab., 2021

Detecting Crowdsourced Test Report Consistency for Mobile Apps with Deep Image Understanding and Text Analysis.
CoRR, 2021

Automated Mobile App Test Script Intent Generation via Image and Code Understanding.
CoRR, 2021

An Online Multistep-Forward Voltage-Prediction Approach Based on an LSTM-TD Model and KF Algorithm.
Computer, 2021

Predoo: precision testing of deep learning operators.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

DialTest: automated testing for recurrent-neural-network-driven dialogue systems.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

TauMed: test augmentation of deep learning in medical diagnosis.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Graph-based Fuzz Testing for Deep Learning Inference Engines.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
How Practitioners Perceive Automated Bug Report Management Techniques.
IEEE Trans. Software Eng., 2020

A systemic framework for crowdsourced test report quality assessment.
Empir. Softw. Eng., 2020

Graph-Based Fuzz Testing for Deep Learning Inference Engine.
CoRR, 2020

Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing.
CoRR, 2020

Quality assessment of crowdsourced test cases.
Sci. China Inf. Sci., 2020

Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Test recommendation system based on slicing coverage filtering.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Special issue on trustworthy systems and software.
Softw. Qual. J., 2019

File-level socio-technical congruence and its relationship with bug proneness in OSS projects.
J. Syst. Softw., 2019

A Unified Framework for Bug Report Assignment.
Int. J. Softw. Eng. Knowl. Eng., 2019

Automatic test report augmentation to assist crowdsourced testing.
Frontiers Comput. Sci., 2019

How does code style inconsistency affect pull request integration? An exploratory study on 117 GitHub projects.
Empir. Softw. Eng., 2019

Successes, challenges, and rethinking - an industrial investigation on crowdsourced mobile application testing.
Empir. Softw. Eng., 2019

Software Engineering Practice in the Development of Deep Learning Applications.
CoRR, 2019

Mutation Testing for Ethereum Smart Contract.
CoRR, 2019

DeepGini: Prioritizing Massive Tests to Reduce Labeling Cost.
CoRR, 2019

Software-Testing Contests: Observations and Lessons Learned.
Computer, 2019

Branch Use in Practice: A Large-Scale Empirical Study of 2, 923 Projects on GitHub.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

NeuralVis: Visualizing and Interpreting Deep Learning Models.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

MuSC: A Tool for Mutation Testing of Ethereum Smart Contract.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Data Quality for Deep Learning of Judgment Documents: An Empirical Study.
Proceedings of the Semantic Technology - 9th Joint International Conference, 2019

CTRAS: a tool for aggregating and summarizing crowdsourced test reports.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

CoCoTest: collaborative crowdsourced testing for Android applications.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Data Augmentation for Deep Learning of Judgment Documents.
Proceedings of the Intelligence Science and Big Data Engineering. Big Data and Machine Learning, 2019

A Preliminary Study on Data Augmentation of Deep Learning for Image Classification.
Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

From Data Quality to Model Quality: An Exploratory Study on Deep Learning.
Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

The Evolution of Open-Source Blockchain Systems: An Empirical Study.
Proceedings of the Internetware '19: The 11th Asia-Pacific Symposium on Internetware, 2019

Variable Strength Combinatorial Testing for Deep Neural Networks.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Global optimization of numerical programs via prioritized stochastic algebraic transformations.
Proceedings of the 41st International Conference on Software Engineering, 2019

MAF: method-anchored test fragmentation for test code plagiarism detection.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

CTRAS: crowdsourced test report aggregation and summarization.
Proceedings of the 41st International Conference on Software Engineering, 2019

DeepPath: Path-Driven Testing Criteria for Deep Neural Networks.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Behavior Pattern-Driven Test Case Selection for Deep Neural Networks.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
Fuzzy Clustering of Crowdsourced Test Reports for Apps.
ACM Trans. Internet Techn., 2018

PTM: A Topic Model for the Inferring of the Penalty.
J. Comput. Sci. Technol., 2018

Automated quality assessment for crowdsourced test reports of mobile applications.
Proceedings of the 25th International Conference on Software Analysis, 2018

Does Socio-Technical Congruence Have an Effect on Continuous Integration Build Failures? An Empirical Study on 10 GitHub Projects.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

MuNN: Mutation Analysis of Neural Networks.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

An Empirical Study on Software Failure Classification with Multi-label and Problem-Transformation Techniques.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Improving Software Testing Education via Industry Sponsored Contests.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
An empirical study on user-topic rating based collaborative filtering methods.
World Wide Web, 2017

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
IEEE Trans. Software Eng., 2017

Effective software fault localization using predicted execution results.
Softw. Qual. J., 2017

An empirical study on constraint optimization techniques for test generation.
Sci. China Inf. Sci., 2017

An Industrial Study of Natural Language Processing Based Test Case Prioritization.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Clustering on the Stream of Crowdsourced Testing.
Proceedings of the 14th Web Information Systems and Applications Conference, 2017

2016
Verifying Synchronization for Atomicity Violation Fixing.
IEEE Trans. Software Eng., 2016

SITAR: GUI Test Script Repair.
IEEE Trans. Software Eng., 2016

Measuring the Diversity of a Test Set With Distance Entropy.
IEEE Trans. Reliab., 2016

A Spatial-Temporal Topic Model for the Semantic Annotation of POIs in LBSNs.
ACM Trans. Intell. Syst. Technol., 2016

Mubug: a mobile service for rapid bug tracking.
Sci. China Inf. Sci., 2016

Exploring the Influence of Time Factor in Bug Report Prioritization.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Automated Evaluation for Performance Test Scripts.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Multi-objective test report prioritization using image understanding.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Guiding the crowds for Android testing.
Proceedings of the 38th International Conference on Software Engineering, 2016

Revisit of automatic debugging via human focus-tracking analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? An Empirical Study.
IEEE Trans. Software Eng., 2015

Focus section on quality software.
Softw. Pract. Exp., 2015

EFSM-Based Test Case Generation: Sequence, Data, and Oracle.
Int. J. Softw. Eng. Knowl. Eng., 2015

Test report prioritization to assist crowdsourced testing.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

An Empirical Study of Bug Fixing Rate.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Predicting Users' Purchasing Behaviors Using Their Browsing History.
Proceedings of the Databases Theory and Applications, 2015

Predicting Passengers in Public Transportation Using Smart Card Data.
Proceedings of the Databases Theory and Applications, 2015

2014
Similarity-based test case prioritization using ordered sequences of program entities.
Softw. Qual. J., 2014

GUI testing assisted by human knowledge: Random vs. functional.
J. Syst. Softw., 2014

WAS: A weighted attribute-based strategy for cluster test selection.
J. Syst. Softw., 2014

Special issue on Emerging Topics on Software Debugging.
J. Syst. Softw., 2014

Developer social networks in software engineering: construction, analysis, and applications.
Sci. China Inf. Sci., 2014

Automatic Numerical Analysis Based on Infinite-Precision Arithmetic.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

Bug Inducing Analysis to Prevent Fault Prone Bug Fixes.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Testing as an Investment.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Combining research and education of software testing: a preliminary study.
Proceedings of the Symposium on Applied Computing, 2014

Virtual DOM coverage for effective testing of dynamic web applications.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Hybrid test data generation.
Proceedings of the 36th International Conference on Software Engineering, 2014

Quasi-crowdsourcing testing for educational projects.
Proceedings of the 36th International Conference on Software Engineering, 2014

Towards more accurate multi-label software behavior learning.
Proceedings of the 2014 Software Evolution Week, 2014

2013
A Clustering-Based Strategy to Identify Coincidental Correctness in Fault Localization.
Int. J. Softw. Eng. Knowl. Eng., 2013

Mining Sequential Patterns of Predicates for Fault Localization and Understanding.
Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

A Hybrid Coverage Criterion for DynamicWeb Testing (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Comparing Collaborative Filtering Methods Based on User-Topic Ratings.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

ABEY: an Incremental Personalized Method Based on Attribute Entropy for Recommender Systems (S).
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Multi-objective test case prioritization for GUI applications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

An empirical study on clustering for isolating bugs in fault localization.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Foreword.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

8th international workshop on automation of software test (AST 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Comparing logic coverage criteria on test case prioritization.
Sci. China Inf. Sci., 2012

Using Weighted Attributes to Improve Cluster Test Selection.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Empirical Study on Recommendation Methods for Vertical B2C E-commerce.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Fault class prioritization in Boolean expressions.
Proceedings of the ACM Symposium on Applied Computing, 2012

Using inferred tag ratings to improve user-based collaborative filtering.
Proceedings of the ACM Symposium on Applied Computing, 2012

Automated EFSM-based test case generation with scatter search.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Test case prioritization incorporating ordered sequence of program elements.
Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Multi-label software behavior learning.
Proceedings of the 34th International Conference on Software Engineering, 2012

Product Recommendation Based on Search Keywords.
Proceedings of the Ninth Web Information Systems and Applications Conference, 2012

2011
A revisit of fault class hierarchies in general boolean specifications.
ACM Trans. Softw. Eng. Methodol., 2011

Using Program Slicing to Improve the Efficiency and Effectiveness of Cluster Test Selection.
Int. J. Softw. Eng. Knowl. Eng., 2011

An empirical study on the effectiveness of time-aware test case prioritization techniques.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Using semi-supervised clustering to improve regression test selection techniques.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A new prediction approach based on linear regression for collaborative filtering.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Mutation Selection: Some Could be Better than All.
Proceedings of the EAST 2011, 2011

Delivering PSP course in tertiary education environment: Challenges and solution.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

Teaching software testing methods based on diversity principles.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
Software debugging through dynamic analysis of program structures
PhD thesis, 2010

Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Improving Cluster Selection Techniques of Regression Testing by Slice Filtering.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An Improved Regression Test Selection Technique by Clustering Execution Profiles.
Proceedings of the 10th International Conference on Quality Software, 2010

A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization.
Proceedings of the 10th International Conference on Quality Software, 2010

A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information.
Proceedings of the Third International Conference on Software Testing, 2010

2009
A Novel Method of Mutation Clustering Based on Domain Analysis.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

A New Mutation Analysis Method for Testing Java Exception Handling.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
A Degraded ILP Approach for Test Suite Reduction.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A novel approach for test suite reduction based on requirement relation contraction.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A detectability analysis of fault classes for Boolean specifications.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

2007
QBF-Based Symbolic Model Checking for Knowledge and Time.
Proceedings of the Theory and Applications of Models of Computation, 2007

Implication-Based Approximating Bounded Model Checking.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Comparing Fault-based Testing Strategies of General Boolean Specifications.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Variable Minimal Unsatisfiability.
Proceedings of the Theory and Applications of Models of Computation, 2006

2005
Automatic abstraction refinement for Petri nets verification.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005


  Loading...