Publications

From stap
Revision as of 22:03, 2 August 2016 by Linziyi (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Selected Papers

  • Ziyi Lin, Hao Zhong, Yuting Chen and Jianjun Zhao.LockPeeker: Detecting Latent Locks in Java APIs.In Proc. ASE, 2016. File:LockPeeker.pdf
  • Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao.Coverage-Directed Differential Testing of JVM Implementations.In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), Santa Barbara, CA, June 13-17, 2016. (Conditionally accepted)
  • Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu and Jianjun Zhao.Rule-Directed Code Clone Synchronization.In Proc. ICPC 2016.
  • Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong and Jianjun Zhao.Supporting Selective Undo for Refactoring.In Proc. SANER, 2016.
  • Jiabin Ye, Cheng Zhang, Lei Ma, Haibo Yu and Jianjun Zhao.Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs.In Proc. SANER, 2016.
  • Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen and Jianjun Zhao.JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs.In Proc. ASE, 2015. File:JaConTeBe.pdf
  • Fei Lv, Hongyu zhang, Jianguang Lou, Shaowei Wang, Dongmei Zhang, and Jianjun Zhao.CodeHow: Effective Code Search based on API Understanding and Extended Boolean Model.In Proc. ASE, 2015.
  • Yuting Chen and Zhendong Su.Guided differential testing of certificate validation in SSL/TLS implementations.In Proc. ESEC/FSE, 2015. File:Mucert.pdf
  • Hao Zhong and Zhengdong Su. An empirical study on real bug fixes.In Proc. 37th IEEE/ACM International Conference on Software Engineering (ICSE), 2015.
  • Qiang Sun, Yuting Chen, Jianjun Zhao.A constraint-weaving approach to points-to analysis for AspectJ.Frontiers of Computer Science 8(1): 52-68 (2014).
  • Hao Zhong and Zhengdong Su.Detecting API documentation errors.In Proc. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), pages 803-816, 2013.
  • Hao Zhong, Suresh Thummalapenta, Tao Xie.Exposing behavioral differences in cross-language API mapping relations.In Proc. Fundamental Approaches to Software Engineering (ETAPS/FASE), pages 130-145, 2013.
  • Hao Zhong, Ye Yang, and Jacky Keung.Assessing the representativeness of open source projects in empirical software engineering studies.In Proc. 15th Asia-Pacific Software Engineering Conference (APSEC), pages 808-817, 2013.
  • Qiang Sun, Yuting Chen, Jianjun Zhao. Constraint-Based Locality Analysis for X10 Programs.In Proc. the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy, January 21-22, 2013.
  • Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou.Automatic Parameter Recommendation for Practical API Usage.In Proc. 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, 2012.
  • Rahul Pandita, Xusheng Xiao, Hao Zhong, Tao Xie, Stephen Oney, and Amit Paradkar.Inferring method specifications from natural language API descriptions.In Proc. 34th IEEE/ACM International Conference on Software Engineering (ICSE), pages 815-825, 2012.
  • Lin Shi , Hao Zhong, Tao Xie, and Mingshu Li.An empirical study on evolution of API documentation.In Proc. 14th Fundamental Approaches to Software Engineering (ETAPS/FASE), pages 416-431, 2011.
  • Sai Zhang, Cheng Zhang, and Michael D. Ernst.Automated Documentation Inference to Explain Failed Tests.In Proc. 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Oread, Lawrence, Kan, USA, Nov 6 - 10, 2011.
  • Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, and Yuting Chen. Frequency Estimation of Virtual Call Targets for Object-Oriented Programs.In Proc. 25th European Conference on Object-Oriented Programming (ECOOP 2011), Lancaster, UK, July 25-29, 2011.
  • Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, and Zheng Zhang. AutoLog: Facing Log Redundancy and Insufficiency.In Proc. 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2011), Shanghai, China, July 10-12, 2011. pp.47-51.
  • Qiang Sun, Jianjun Zhao, and Yuting Chen.Probabilistic Points-to Analysis for Java.In Proc. 2011 International Conference on Compiler Construction (CC 2011), Saarbrucken, Germany, March 26 - April 3, 2011. pp.62-81.
  • Haihao Shen, Jianhong Fang, and Jianjun Zhao.EFindBugs: Effective Error Ranking for FindBugs.In Proc. 4th IEEE International Conference on Software Testing, Verification and Validation (ICST 2011), Berlin, Germany, March 21-25, 2011. pp.299-308.
  • Hao Zhong, Suresh Thummalapenta, Tao Xie, Lu Zhang, Qing Wang.Mining API mapping for language migration.In Proc. 32nd IEEE/ACM International Conference on Software Engineering (ICSE), pages 195-204, 2010.
  • Shengli Sun, Zhenghua Huang, Hao Zhong, Dongbo Dai, Hongbin Liu, and Jinjiu Li.Efficient monitoring of skyline queries over distributed data streams.Knowledge and Information Systems 25(3), pages 575-606, 2010.
  • Cheng Zhang, Dacong Yang, Jianjun Zhao, Yuting Cheng, and Shengqian Yang.BPGen: An Automated Breakpoint Generator for Debugging.In Proc. 32th International Conference on Software Engineering (ICSE 2010), Formal Demonstration Track, Cape Town, South Africa, May 2-8, 2010.
  • Hao Zhong, Lu Zhang, Tao Xie, and Hong Mei.Inferring resource specifications from natural language API documentation.In Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 307-318, 2009.
  • Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, and Hong Mei.MAPO: Mining and recommending API usage patterns.In Proc. 23rd European Conference on Object-Oriented Programming (ECOOP), pages 318-343, 2009.
  • Qingzhou Luo, Sai Zhang, Jianjun Zhao and Min Hu.A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.In Proc. Fundamental Approaches to Software Engineering (FASE'2010), ETAPS 2010, Paphos, Cyprus, 22 - 26 March, 2010.(A previous version appeared as Technical Report SJTU-CSE-TR-09-01, Center for Software Engineering, Shanghai Jiao Tong University, March 2009).
  • Yu Lin, Xucheng Tang, Yuting Chen, and Jianjun Zhao.A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs.In Proc. 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, New Zealand, 16-20 November 2009.
  • Yu Lin, Sai Zhang and Jianjun Zhao.Incremental Call Graph Reanalysis for AspectJ Software.In Proc. 25th IEEE International Conference on Software Maintenance (ICSM 2009), Edmonton, Alberta, Canada, Sep 20-26, 2009.
  • Martin Gorg and Jianjun Zhao.Identifying Semantic Differences in AspectJ Programs.In Proc. ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA 2009), pp.25-36, Chicago, Illinois, USA, July 19-23, 2009.
  • Hao Zhong, Lu Zhang, and Hong Mei.Early filtering of polluting method calls for mining temporal specifications.In Proc. 15th Asia-Pacific Software Engineering Conference (APSEC), pages 9-16, 2008.
  • Hao Zhong, Lu Zhang, and Hong Mei.Inferring specifications of object oriented APIs from API source code.In Proc. 15th Asia-Pacific Software Engineering Conference (APSEC), pages 221-228, 2008.

Technical Reports

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox