Jun Yan

According to our database1, Jun Yan authored at least 36 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Lightweight energy consumption analysis and prediction for Android applications.
Sci. Comput. Program., 2018

Generating minimal test set satisfying MC/DC criterion via SAT based approach.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints.
Proceedings of the Knowledge Science, Engineering and Management, 2018

Characterizing and identifying misexposed activities in Android applications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017
Automatic Bug Triage using Semi-Supervised Text Classification.
CoRR, 2017

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Widget-Sensitive and Back-Stack-Aware GUI Exploration for Testing Android Apps.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Combinatorial Testing on Implementations of HTML5 Support.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.
Proceedings of the Formal Methods and Software Engineering, 2017

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.
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.
IEEE Trans. Software Eng., 2016

Target Directed Event Sequence Generation for Android Applications.
CoRR, 2016

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

Lightweight Method-Level Energy Consumption Estimation for Android Applications.
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.
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.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

The Floating-Point Extension of Symbolic Execution Engine for Bug Detection.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2014
Generating combinatorial test suite using combinatorial optimization.
Journal of Systems and Software, 2014

Choreography Scenario-Based Test Data Generation.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

2013
Towards Conformance Testing of Choreography Based on Scenario.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Search Strategy Guided by Uncovered Branches for Concolic Testing.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Characterizing and detecting resource leaks in Android applications.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Cascade: A Test Generation Tool for Combinatorial Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Profile directed systematic testing of concurrent programs.
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.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2010
Automatic Bug Triage using Semi-Supervised Text Classification.
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.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2008
A backtracking search tool for constructing combinatorial test suites.
Journal of Systems and Software, 2008

An efficient method to generate feasible paths for basis path testing.
Inf. Process. Lett., 2008

Test Data Generation for C Programs with String-Handling Functions.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Path-based verification for composition of semantic web services.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2006
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Finding Relations Among Linear Constraints.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006


  Loading...