According to our database1, Jun Yan authored at least 34 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps.
IEEE Trans. Software Eng., 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
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
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
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
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
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
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