Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.

[BibT_eX]

[DOI]

Zijie Li

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

GTFuzz: Guard Token Directed Grey-Box Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Multiple-entry testing of Android applications by constructing activity launching contexts.

[BibT_eX]

[DOI]

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

2019

Analyses for specific defects in android applications: a survey.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

DroidLeaks: a comprehensive database of resource leaks in Android apps.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Testing the Message Flow of Android Auto Apps.

[BibT_eX]

[DOI]

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

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Understanding Ineffective Events and Reducing Test Sequences for Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.

[BibT_eX]

[DOI]

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

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

[BibT_eX]

[DOI]

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

2018

Lightweight energy consumption analysis and prediction for Android applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Generating minimal test set satisfying MC/DC criterion via SAT based approach.

[BibT_eX]

[DOI]

Ling Yang

Jun Yan

Jian Zhang

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints.

[BibT_eX]

[DOI]

Minghao Liu

Feifei Ma

Jun Yan

Proceedings of the Knowledge Science, Engineering and Management, 2018

Characterizing and identifying misexposed activities in Android applications.

[BibT_eX]

[DOI]

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

LAND: a user-friendly and customizable test generation tool for Android apps.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Checking Activity Transition Systems with Back Transitions Against Assertions.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Method-Level Permission Analysis Based on Static Call Graph of Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017

基于Android平台的隐私泄漏静态检测工具的分析与比较 (Analysis and Comparison of Privacy Leak Static Detection Tools for Android Applications).

[BibT_eX]

[DOI]

计算机科学, 2017

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Combinatorial Testing on Implementations of HTML5 Support.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

Target Directed Event Sequence Generation for Android Applications.

[BibT_eX]

[DOI]

CoRR, 2016

PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment.

[BibT_eX]

[DOI]

Yan Hu

Jun Yan

Kim-Kwang Raymond Choo

Clust. Comput., 2016

Lightweight Method-Level Energy Consumption Estimation for Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Relda2: an effective static analysis tool for resource leak detection in Android apps.

[BibT_eX]

[DOI]

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

Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2014

Generating combinatorial test suite using combinatorial optimization.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Choreography Scenario-Based Test Data Generation.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion.

[BibT_eX]

[DOI]

Tianyong Wu

Jun Yan

Jian Zhang

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

2013

Towards Conformance Testing of Choreography Based on Scenario.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Search Strategy Guided by Uncovered Branches for Concolic Testing.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Characterizing and detecting resource leaks in Android applications.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Cascade: A Test Generation Tool for Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Profile directed systematic testing of concurrent programs.

[BibT_eX]

[DOI]

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

2012

A Path-oriented Approach to Generating Executable Test Sequences for Extended Finite State Machines.

[BibT_eX]

[DOI]

Tianyong Wu

Jun Yan

Jian Zhang

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.

[BibT_eX]

[DOI]

Feifei Ma

Jun Yan

Jian Zhang

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2010

Automatic Bug Triage using Semi-Supervised Text Classification.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Combinatorial Testing with Shielding Parameters.

[BibT_eX]

[DOI]

Baiqiang Chen

Jun Yan

Jian Zhang

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2008

A backtracking search tool for constructing combinatorial test suites.

[BibT_eX]

[DOI]

Jun Yan