Jianjun Zhao

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

On the Effectiveness of Signal Rescaling in Hybrid System Falsification.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

An Empirical Study on Common Bugs in Deep Learning Compilers.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Identifying Bug Patterns in Quantum Programs.

[BibT_eX]

[DOI]

Pengzhan Zhao

Lei Ma

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

Some Size and Structure Metrics for Quantum Software.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021

Deepmix: Online Auto Data Augmentation for Robust Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

Learning to Adversarially Blur Visual Object Tracking.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

EfficientDeRain: Learning Pixel-wise Dilation Filtering for High-Efficiency Single-Image Deraining.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

DeepRepair: Style-Guided Repairing for DNNs in the Real-world Operational Environment.

[BibT_eX]

[DOI]

CoRR, 2020

Parallelizing Flow-Sensitive Demand-Driven Points-to Analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

DeepRhythm: Exposing DeepFakes with Attentional Visual Heartbeat Rhythms.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

How are Deep Learning Models Similar?: An Empirical Study on Clone Analysis of Deep Learning Software.

[BibT_eX]

[DOI]

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Few-Shot Guided Mix for DNN Repairing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

An Empirical Study on Robustness of DNNs with Out-of-Distribution Awareness.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

API recommendation for event-driven Android application development.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2019

DeepCT: Tomographic Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

DeepStellar: model-based quantitative analysis of stateful deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Coverage-Guided Fuzzing for Feedforward Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepMutation++: A Mutation Testing Framework for Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

A Quantitative Analysis Framework for Recurrent Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

DeepVisual: a visual programming tool for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

DeepHunter: a coverage-guided fuzz testing framework for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Scenario Testing of AngularJS-Based Single Page Web Applications.

[BibT_eX]

[DOI]

Gefei Zhang

Proceedings of the Current Trends in Web Engineering, 2019

Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems.

[BibT_eX]

[DOI]

Yang Liu

Lei Ma

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Tuning parallel symbolic execution engine for better performance.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

The role of model checking in software engineering.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2018

DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms.

[BibT_eX]

[DOI]

CoRR, 2018

Secure Deep Learning Engineering: A Software Quality Assurance Perspective.

[BibT_eX]

[DOI]

CoRR, 2018

Coverage-Guided Fuzzing for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Combinatorial Testing for Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

DeepGauge: Comprehensive and Multi-Granularity Testing Criteria for Gauging the Robustness of Deep Learning Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Type Conversion Sequence Recommendation Based on Semantic Web Technology.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

Visualizing Interactions in AngularJS-based Single Page Web Applications.

[BibT_eX]

[DOI]

Gefei Zhang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

DeepGauge: multi-granularity testing criteria for deep learning systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

DeepMutation: Mutation Testing of Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models.

[BibT_eX]

[DOI]

Qiang Hu

Lei Ma

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

<i>CLCMiner</i>: Detecting Cross-Language Clones without Intermediates.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

2016

Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Supporting Selective Undo for Refactoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Coverage-directed differential testing of JVM implementations.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

LockPeeker: detecting latent locks in Java APIs.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Mining revision histories to detect cross-language clones without intermediates.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

On the feasibility of detecting cross-platform code clones via identifier similarity.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Mining, 2016

Retrofitting automatic testing through library tests reusing.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

Rule-directed code clone synchronization.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015

Biped: Bidirectional Prediction of Order Violations.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2015

BIFER: a biphasic trace filter approach to scalable prediction of concurrency errors.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2015

CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Trace-based debugging for advanced-dispatching programming languages.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Implementation, 2015

2014

A constraint-weaving approach to points-to analysis for AspectJ.

[BibT_eX]

[DOI]

Yuting Chen

Frontiers Comput. Sci., 2014

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

AspectBreeze: integrating trustworthiness aspects into graph grammar supported architecture description language.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

2013

Extracting URLs from JavaScript via program analysis.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Constraint-based locality analysis for X10 programs.

[BibT_eX]

[DOI]

Yuting Chen

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

An in-depth investigation into the relationships between structural metrics and unit testability in object-oriented systems.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2012

Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Soot-based implementation of a demand-driven reaching definitions analysis.

[BibT_eX]

[DOI]

Longwen Lu

Cheng Zhang

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, 2012

Automatic parameter recommendation for practical API usage.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

MoonBox: debugging with online slicing and dryrun.

[BibT_eX]

[DOI]

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

EFindBugs: Effective Error Ranking for FindBugs.

[BibT_eX]

[DOI]

Haihao Shen

Jianhong Fang

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Probabilistic Points-to Analysis for Java.

[BibT_eX]

[DOI]

Yuting Chen

Proceedings of the Compiler Construction - 20th International Conference, 2011

AutoLog: facing log redundancy and insufficiency.

[BibT_eX]

[DOI]

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010

BPGen: an automated breakpoint generator for debugging.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Identifying semantic differences in AspectJ programs.

[BibT_eX]

[DOI]

Martin Th Görg

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Incremental call graph reanalysis for AspectJ software.

[BibT_eX]

[DOI]

Yu Lin

Sai Zhang

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

2008

An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics.

[BibT_eX]

[DOI]

Haihao Shen

Sai Zhang

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Aspect-Aware Points-to Analysis.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Effective identification of failure-inducing changes: a hybrid approach.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

XFindBugs: eXtended FindBugs for AspectJ.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Maintenance support for aspect-oriented programs: opportinuties and challenges.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

AutoFlow: An automatic debugging tool for AspectJ software.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Change impact analysis for AspectJ programs.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Celadon: a change impact analysis tool for aspect-oriented programs.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Test Case Prioritization Based on Analysis of Program Structure.

[BibT_eX]

[DOI]

Zengkai Ma

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

Flota: a programmer assistant for locating faulty changes in AspectJ software evolution.

[BibT_eX]

[DOI]

Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, 2008

2007

Assessment of Contemporary Modularization Techniques - ACoM'07: workshop report.

[BibT_eX]

[DOI]

Elisa L. A. Baniassad

Cristina Videira Lopes

Christa Schwanninger

ACM SIGSOFT Softw. Eng. Notes, 2007

1st Workshop on Assessment of Contemporary Modularization Techniques (ACoM.07).

[BibT_eX]

[DOI]

Alessandro Garcia

Elisa L. A. Baniassad

Cristina Videira Lopes

Christa Schwanninger

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

On Identifying Bug Patterns in Aspect-Oriented Programs.

[BibT_eX]

[DOI]

Sai Zhang

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Specifying Pointcuts in AspectJ.

[BibT_eX]

[DOI]

Yi Wang

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Perspectives on automated testing of aspect-oriented programs.

[BibT_eX]

[DOI]

Tao Xie

Proceedings of the 3rd workshop on Testing aspect-oriented programs, 2007

2006

Control-Flow Analysis and Representation for Aspect-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).

[BibT_eX]

[DOI]

Elisa L. A. Baniassad

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Towards regression test selection for AspectJ programs.

[BibT_eX]

[DOI]

Tao Xie

Nan Li

Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

Detecting Redundant Unit Tests for AspectJ Programs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A framework and tool supports for generating test inputs of AspectJ programs.

[BibT_eX]

[DOI]

Tao Xie

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2004

Model for Slicing JAVA Programs Hierarchically.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2004

Complexity Metrics for Software Architectures.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2004

O(1) Time Algorithm on BSR for Constructing a Binary Search Tree with Best Frequencies.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004

Measuring Aspect Cohesion.

[BibT_eX]

[DOI]

Baowen Xu

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

Measuring cohesion of packages in Ada95.

[BibT_eX]

[DOI]

Baowen Xu

Zhenqiang Chen

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Partial Slicing for Large Programs.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Pipa: A Behavioral Interface Specification Language for AspectJ.

[BibT_eX]

[DOI]

Martin C. Rinard

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Data-Flow-Based Unit Testing of Aspect-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

Change impact analysis to support architectural evolution.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2002

An overview of methods for dependence analysis of concurrent programs.

[BibT_eX]

[DOI]

Zhenqiang Chen

Baowen Xu

ACM SIGPLAN Notices, 2002

Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR.

[BibT_eX]

[DOI]

Limin Xiang

Parallel Process. Lett., 2002

Concurrent Ada dead statements detection.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

Change impact analysis for aspect-oriented software evolution.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Slicing Aspect-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Program Comprehension (IWPC 2002), 2002

ICBMC: An Improved Cohesion Measure for Classes.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A Novel Approach to Measuring Class Cohesion Based on Dependence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

Static Dependency Analysis for Concurrent Ada 95 Programs.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2002

2001

Using Dependence Analysis to Support Software Architecture Understanding

[BibT_eX]

[DOI]

CoRR, 2001

A Program Dependence Model for Concurrent Logic Programs and its Applications.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Change Impact Analysis for Architectural Evolution.

[BibT_eX]

Proceedings of the 2001 International Workshop on Formal Foundations of Software Evolution, 2001

CLPKIDS: A Program Analysis System for Concurrent Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Computing Executable Slices for Concurrent Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

A Slicing-based Approach to Extracting Reusable Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

Dependence Analysis of Java Bytecode.

[BibT_eX]

[DOI]

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999

Multithreaded Dependence Graphs for Concurrent Java Programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Slicing Concurrent Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998

On assessing the complexity of software architectures.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Architecture, 1998

Applying Slicing Technique to Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

A Metrics Suite for Concurrent Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance.

[BibT_eX]

[DOI]

Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering (CSMR '98), 1998

Applying program slicing to software architectures.

[BibT_eX]

Proceedings of the Computers and Their Applications (CATA-98), 1998

1996

Static Slicing of Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

1995

Program Dependence Analysis of Concurrent Logic Programs and Its Applications.

[BibT_eX]