Zijiang Yang    

  Publications (copyrights belong to the publishers)

 

 

 

2017

  1. [BIB]Yu Guo, Yan Cai and Zijiang Yang. AtexRace: Across Thread and Execution Sampling for In-house Race Detection. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). September 4-8, 2017. Paderborn, Germany. 
  2. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan and Zijiang Yang. Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection. IEEE Transactions on Software Engineering (TSE). 2017. To Appear.
  3. [BIB]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Transactions on Software Engineering (TSE). 2017. To Appear.
  4. [BIB]He Jiang, Xiaochen Li, Zijiang Yang and Jifeng Xuan. What Causes My Test Alarm?  Automatic Cause Analysis for Test Alarms in System and Integration Testing. The 39th International Conference on Software Engineering (ICSE), May 20-28, 2017. Buenos Aires, Argentina.
  5. [BIB]Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao and Ting Liu. Automated Testing of Definition-Use Data Flow for Multithreaded Programs. The 10th IEEE International Conference on Software Testing, Verification and Validation (ICST), March 13-18, 2017. Tokyo, Japan.
  6. [BIB]Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, and Zijiang Yang. Dependence Guided Symbolic Execution. IEEE Transactions on Software Engineering (TSE). 43(3): 252-271, 2017.
  7. [BIB]Pingyi Zhou, Jin Liu, Zijiang Yang and Guangyou Zhou. Scalable Tag Recommendation for Software Information Sites. The 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), February 20-24, 2017. Klagenfurt, Austria.


2016

 

  1. [BIB]Zhou Xu, Jin Liu, Gege An and Zijiang Yang. The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison. The 27th International Symposium on Software Reliability Engineering (ISSRE), October 23-27, 2016. Ottawa, Canada.
  2. [BIB]Yan Cai and Zijiang Yang. Radius Aware Probabilistic Testing of Deadlocks with Guarantees. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore.
  3. [BIB]Lin Cheng, Jialiang Chang, Zijiang Yang and Chao Wang. GUICat: GUI Testing as a Service. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7,  2016.  Singapore. Tool Paper.
  4. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Eryue Zhuang, Ming Fan, Zijiang Yang. Exploiting Thread-Related System Calls for Plagiarism Detection of Multithreaded Programs. Journal of Systems and Software (JSS), 119: 136-148, 2016.
  5. [BIB]Zhenzhou Tian, Ting Liu, Qinghua Zheng, Feifei Tong, Ming Fan, Zijiang Yang. A New Thread-Aware Birthmark for Plagiarism Detection of Multithreaded Programs. The 38th International Conference on Software Engineering (ICSE), May 14-22, 2016. Austin, USA. Poster.
  6. [BIB]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Minnan Luo, Yu Qu. Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions. IEEE Transactions on Fuzzy Systems (TFS).  24(3): 600-614, 2016.
  7. [BIB]Jin Liu, Yiqiuzi Tian, Xiao Yu, Zijiang Yang, Xiangyang Jia, Chuanxiang Ma, Zheng Xu. A Multi-Source Approach for Bug Triage. International Journal of Software Engineering and Knowledge Engineering 26(9-10): 1593-1604 (2016)

2015
  1. [BIB]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta. Assertion guided symbolic execution of multithreaded programs. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Bergamo, Italy. August 31-September 4, 2015.
  2. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Zhao Chen, and Chao Wang. A synergistic analysis method for explaining failed regression tests. The 37th International Conference on Software Engineering (ICSE), May 16-24, 2015. Firenze, Italy.
  3. [BIB]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Eryue Zhuang and Zijiang Yang. Software Plagiarism Detection with Birthmarks based on Dynamic Key Instruction Sequences. IEEE Transactions on Software Engineering (TSE). Vol PP, Num 99, 2015.
  4. [BIB]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu and Chen Zhao. Postconditioned Symbolic Execution. The 8th IEEE International Conference on Software Testing, Verification and Validation (ICST),  April 13-17, 2015. Graz, Austria.
  5. [BIB]Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Lidan Wang, Yuqiao Hou, Zijiang Yang. Exploring Community Structure of Software Call Graph and its Applications in Class Cohesion Measurement. Journal of Systems and Software (JSS), 2015.
  6. [BIB]Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang. Explaining software failures by cascade fault localization. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2015.
  7. [BIB]Ping Yang, Mikhail I. Gofman, Scott Stoller, and Zijiang Yang. Policy Analysis for Administrative Role Based Access Control without Separate Administration. Journal of Computer Security (JCS),  23(1) , 2015.

 

 

2014

 

  1. [BIB]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Xiangyang Li, Lechen Yu, Zijiang Yang. Reducing Test Cases with Causality Partitions. The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE), Vancouver, Canada, July 1-3, 2014.
  2. [BIB]Zhenzhou Tian, Qinghua Zheng, Ting Liu, Ming Fan, Xiaodong Zhang, Zijiang Yang. Plagiarism detection for multithreaded software based on thread-aware software birthmarks. The 22nd International Conference on Program Comprehension (ICPC), Hyderabad, India, June 2-3, 2014.
  3. [BIB]Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang. Directed test suite augmentation via exploiting program dependency. The 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA). May 31, 2014. Hyderabad, India.

 

2013

 

  1. [BIB]Hengshan Zhang, Qinghua Zheng, Ting Liu, Zijiang Yang, Jiahe Liu. A discrete region-based approach to improve the consistency of pair-wise comparison matrix . IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). July 7-10, 2013, Hyderabad, India.
  2. [BIB]Hongyi Ma, Steve R. Diersen, Liqiang Wang, Chunhua Liao, Daniel Quinlan, and Zijiang Yang. Symbolic Analysis of Concurrency Errors in OpenMP Programs. The 42nd International Conference on Parallel Processing (ICPP-2013). October 1-4, 2013, Lyon, France.
  3. [BIB]Ping Yang, Mikhail Gofman, and Zijiang Yang, Policy Analysis for Administrative Role Based Access Control without Separate Administration. The 27th IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSEC13), 2013.
  4. [BIB]Beng Heng Ng,  Earlence Fernandes,  Ajit Aluri,  Atul Prakash, David Velazquez and Zijiang Yang, Beyond Instruction Level Taint PropagationEuropean Workshop on System Security (EUROSEC), 2013. 
  5. [BIB]Zijiang Yang, Shiyong Lu, Ping Yang and Andrey Kashlev, Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments. International Journal of Computer Applications. Vol. 20, No. 2, June 2013.

 

2012

  1. [BIB]Mohamed Elwakil and Zijiang Yang. Deterministic Replay for Message-passing Based Concurrent Programs. ACM Transactions on Design Automation of Embedded Systems. Volumn 17, Issue 3, June 2012.


2011

 

  1. [BIB] Qichang Chen, Liqiang Wang, and Zijiang Yang. HEAT: A Combined Approach for Thread Escape Analysis. International Journal of Systems Assurance Engineering and Management (JSAEM), 2(2), 2011. Springer.
  2. [BIB] Qichang Chen, Liqiang Wang, and Zijiang Yang. SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. In Haifa Verification Conference (HVC) 2011. Haifa, Israel. Dec. 2011. Springer-Verlag.
  3. [BIB] Mohamed Elwakil and  Zijiang Yang. Deterministic Replay for MCAPI Applications. The 9th Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging (PADTAD), Toronto, Canada, July 2011.  
  4. [BIB] Chao Wang, Zijiang Yang and Aarti Gupta, Reachability Analysis for Program Verification. Patent Number 7,926,039. Issued  on April 12, 2011. 
  5. [BIBDongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang, Offline Symbolic Analysis to Infer Total Store Order.  The 17th International Symposium on High-Performance Computer Architecture (HPCA 17),  San Antonio, TX, February 12-16,  2011. 
  6. [BIB Mahmoud Said, Chao Wang, Zijiang Yang and Karem Sakallah, Generating Data Race  Witnesses by an SMT-based Analysis.  The 3rd NASA Formal Methods Symposium,  Pasadena, CA, April 18-20,  2011.  LNCS 6617, Springer-Verlag. 
  7. [BIB] Zijiang Yang, Shiyong Lu, Ping Yang, and Fahima Bhuyan, Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows, International Journal of Computers and Their Applications (IJCA), 18(3), pp.148-159, 2011.

 

2010

 

  1. [BIB] Aarti Gupta, Malay Ganai, Zijiang Yang and Pranav Ashar. Iterative Abstraction Using SAT-Based BMC with Proof Analysis. Patent Number 7,203,917.  Issued on June 22, 2010 .
  2. [BIB] Malay Ganai, Lintao Zhang, Aarti Gupta, Zijiang Yang and Pranav Ashar. Efficient approaches for bounded model checking Patent Number  7,711,525. Issued  on May 4, 2010.
  3. [BIB] Chao Wang, Aarti Gupta, Zijiang Yang and Franjo Ivancic, Disjunctive image computation for sequential systems, Patent Number 7,693,690. Issued  on April 6, 2010.
  4. [BIB] Zijiang Yang and Karem SakallahTrace-Driven Verification of Multithreaded Programs.  The 12nd International Conference on Formal Engineering Methods,  LNCS 6447, Springer-Verlag. 2010.
  5. [BIB] Mohamed Elwakil, Zijiang Yang, and Liqiang Wang. CRI: Symbolic Debugger for MCAPI ApplicationsThe 8th International Symposium on Automated Technology for Verification and Analysis (ATVA). Singapore. LNCS, Springer-Verlag. 2010.
  6. [BIB] Mohamed Elwakil, Zijiang Yang, Liqiang Wang, and Qichang Chen. Message Race Detection for Web Services by an SMT-Based Analysis. The 7th International Conference on Autonomic and Trusted Computing (ATC 2010) . LNCS, Springer-Verlag. 2010.
  7. [BIB] Mohamed Elwakil and  Zijiang Yang. Debugging Support Tool for MCAPI ApplicationsThe 8th Workshop on Parallel and Distributed Systems: Testing, Analysis and Debugging (PADTAD)  2010. Best Paper Award.
  8. [BIB] Ping Yang, Shiyong Lu, Mikhail Gofman, and Zijiang Yang, Information Flow Analysis of Scientific Workflows, Journal of Computer and System Sciences (JCSS), volume 76(6), pages 390-402, 2010.
  9. [BIB] L. Lilien, A. Gupta, Z. Kamal, and Z. Yang, Opportunistic Resource Utilization Networks—A New Paradigm for Specialized Ad Hoc Networks, Journal of Computers & Electrical Engineering (JCEE), Volume 36 Issue 2, Pages 328-340, March, 2010.

 

2009

 

  1. [BIB] Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang and Cristiano Pereira , Offline Symblolic Analysis for Multi-Processor ReplayThe 42nd IEEE/ACM International Symposium on Microarchitecure (Micro-42),  December 12-16, New York, NY, USA. 
  2. [BIB] Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic, Model Checking Sequential Software Programs Via Mixed Symbolic Analysis. ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 14, Issue 1, January, 2009, ACM.
  3. [BIB] Qichang Chen, Liqiang Wang, Zijiang Yang, and Scott D. Stoller. HAVE: Integrated Dynamic and Static Analysis for Atomicity ViolationsInternational Conference on Fundamental Approaches to Software Engineering (FASE), European Joint Conferences on Theory and Practice of Software (ETAPS). York, UK. Springer-Verlag, 2009. 
  4. [BIB] Z. Yang, B. Al-Rawi, K. Sakallah, X. Huang, S.A. Smolka and R. Grosu. Dynamic Path Reduction for Software Model Checking. The 7th International Conference on Integrated Formal Methods, Duesseldorf, Germany, February 2009, Springer, LNCS.
  5. [BIB] Qichang Chen, Liqiang Wang, Zijiang Yang. HEAT: A Combined Static and Dynamic Approach for Escape Analysis. 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC) . Seattle,Washington. IEEE Press, 2009.

 

2008

 

  1. [BIB] Franjo Ivancic, Pranav Ashar, Malay Ganai, Aarti Gupta, and Zijiang Yang. System and Method for Modeling, Abstraction, and Analysis of Software. Patent Number 7,346,486. Issued on March 18, 2008.
  2. [BIB] Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, and Pranav Ashar, Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking,  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD),  Volume 27(8), August 2008, IEEE.
  3. [BIB] Franjo Ivancic, Zijiang Yang, Malay Ganai, Aarti Gupta, and Pranav Ashar, Efficient SAT-based Bounded Model Checking for Software Verification,  Theoretical Computer Science (TCS), Volume 404(3), September 2008,  Elsevier. 
  4. [LNK][BIB] Zijiang Yang and Karem Sakallah, SMT-based Symbolic Model Checking for Multi-Threaded Programs,  Exploiting Concurrency Efficiently and Correctly Workshop, Princeton, NJ, July 2008.
  5. [BIB] Chao Wang, Zijiang Yang and Aarti Gupta, Peephole Partial Order Reduction, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Budapest, Hungary, April 2008.  

 

2007

 

  1. [BIB] Aarti Gupta, Malay Ganai, Zijiang Yang and P. Ashar. Efficient distributed SAT and SAT-based distributed bounded model checking. Patent Number 7,203,917. Issued on April 10, 2007.
  2. [LNK][BIB] Formal Modelling and Analysis of Scientific Workflows Using Hierarchical State Machines, 2nd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, held in conjuction with IEEE international conference on e-science and grid computing, (with P. Yang, Z. and S. Lu), 2007. 
  3. [BIB] Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.  19th International Conference on  Computer Aided Verification (CAV), (with Chao Wang, Aarti Gupta, and Franjo Ivancic),  Berlin, Germany, July 3-7, 2007.  
  4. [BIB] Chao Wang, Zijiang Yang, Franjo Ivancic, and Aarti Gupta. Disjunctive Image Computation for Software Verification.  ACM Transactions on Design Automation of Electronic Systems (TODAES),  volume 12(2), April 2007, article 10, ACM. ACM TODAES 2008 Best Paper Award.
  5. [LNK][BIB] Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows,   The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), (with Shiyong Lu and Ping Yang), Niagara Falls, Ontario, Canada, May 21-23, 2007. 
  6. [LNK][BIB] Opportunistic Networks for Emergency Applications and Their Standard Implementation FrameworkThe First International Workshop on Next Generation Networks for First Responders and Critical Infrastructure (NetCri07), (with Leszek Lilien, Ajay Gupta), New Orleans, Louisiana, April 11-13, 2007.
  7. [PDF][BIB] Sa’ed Abed, Otmane A. Mohamed, Zijiang Yang, and Ghiath A. Sammane, Integrating SAT with Multiway Decision Graphs for Efficient Model Checking, The 19th IEEE International Conference on Microelectronics, Cairo, Eygpt, December 29-31, 2007.
  8. Z.H. Kamal, A. Gupta, L. Lilien, and Z. Yang, The MicroOppnet Tool for Collaboration Experiments with Class 2 Opportunistic Networks, Proc. The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007),  White Plains, New York, November 2007.

 

 

2006

 

  1. [BIB] Whodunit? Causal Analysis for Counterexamples. Fourth international symposium on Automated Technology for Verification and Analysis (ATVA'06), (with Chao Wang, Aarti Gupta, and Franjo Ivancic), Beijing, China, 2006. 
  2. [LNK][BIB] Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking. International Journal on Software Tools for Technology Transfer (STTT), (with Malay Ganai, Aarti Gupta, and Pranav Ashar), Volume 8, Numbers 4-5, August 2006, Springer. 
  3. [BIB] Mixed Symbolic Representations for Model Checking Software Programs, ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode'06),  (with Chao Wang, Aarti Gupta, and Franjo Ivancic), Napa, California, USA, 2006. 
  4. [BIB] Runtime Security Verification for Itinerary-Driven Mobile Code,  IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC'06), (with Shiyong Lu, and Ping Yang),  Indiana University, Purdue University, Indianapolis, USA, 2006. 
  5. [BIB]Aleks Zaks, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Zijiang Yang, Malay Ganai, Aarti Gupta and Pranav Ashar. Using Range Analysis for Software Verification,  4th International Workshop on Software Verification and Validation(SVV'06), Seattle, USA, 2006. 
  6. [BIB] Disjunctive Image Computation for Embedded Software VerificationDesign, Automation and Test in Europe (DATE'06), (with C. Wang, F. Ivancic, and A. Gupta), Munich, Germany. March 2006. 
  7. [LNK][BIB] PDC: Pattern Discovery with Confidence in DNA Sequences, IASTED International Conference on Advances in Computer Science and Technology, (with Y. Lu, S. Lu, F. Fotouhi, Y. Sun and L. Liang), Puerto Vallarta, Mexico, 2006.

 

2005

 

  1. [BIB] Model Checking C Programs Using F-Soft, invited paper, IEEE International Conference on Computer Design (ICCD), (withF. Ivancic, I. Shlyakhter, A. Gupta, M. K. Ganai, V. Kahlon, C. Wang), 2005.
  2. [BIB] F-Soft: Software Verification Platform, 17th International Conference on Computer-Aided Verification(CAV), (with F.Ivancic,M. Ganai, A. Gupta, I. Shlyakhter and P.Ashar), 2005.

 

 

2004

 

  1. [LNK][BIB] Aarti Gupta, Zijiang Yang and Pranav Ashar. SAT-Based Image Computation with Application in Reachability Analysis . Patent Number: 6,728,665. Issued on April 27, 2004. 
  2. [LNK][BIB] Using Routing Data for Information Authentication in Sensor Networks, 3rd International Trusted Internet Workshop, (with V. Bhuse, A. Gupta, M. Terwilliger, and Z. Kamal), 2004.
  3. [LNK][BIB] Efficient SAT-based Bounded Model Checking for Software Verification,  1st International Symposium on Leveraging Applications of Formal Methods (ISoLA),(with P.Ashar, M. Ganai, A. Gupta, and F.Ivancic), 2004.
  4. [LNK][BIB] Variable Reuse for Efficient Image Computation,  5th International Conference on Formal Methods in Computer-Aided Design (FMCAD),(with R.Alur), 2004.
  5. [LNK][BIB] Execution of a Requirement Model in Software Development, ISCA 13th International Conference on Intelligent & Adaptive Systems and Software Engineering (IASSE),(with W.Shen,  M.Guizani, K. Compton and J. Huggins),2004.

 

 

2003

 

  1. [LNK][BIB]  Aarti Gupta, Zijiang Yang, Pranav Ashar and Sharad Malik. Partition-based decision heuristics for SAT and image computation using SAT and BDDs. Patent Number: 6,651,234. Issued on November 18, 2003.
  2. [LNK][BIB] Iterative Abstraction using SAT-based BMC with Resolution, International Conference on Computer Aided Design(ICCAD), (with A. Gupta, M. Ganai, and P. Ashar), 2003.     
  3. [LNK][BIB] Abstraction and BDDs Complement SAT-Based BMC in DiVer, 15th International Conference on Computer-Aided Verification(CAV), (with A. Gupta, M. Ganai, C. Wang and P. Ashar), 2003.     
  4. [LNK][BIB] Efficient Distributed SAT and SAT-based Distributed Bounded Model Checking, 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods(CHARME), (with M. Ganai, A. Gupta and P. Ashar), 2003.
  5. [LNK][BIB] Learning from BDDs in SAT-based Bounded Model Checking, 40th Design Automation Conference(DAC), (with A. Gupta, C. Wang, M. Ganai, and P. Ashar) ,2003.

 

2002

 

  1. [LNK][BIB] Aarti Gupta, Zijiang Yang, Anubhav Gupta, and Pranav Ashar . Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. Patent Number: 6,496,961. Issued on December 17, 2002.
  2. [LNK][BIB] Exploiting Behavioral Hierarchy for Efficient Model Checking, 14th International Conference on Computer-Aided Verification(CAV), (with R. Alur and M. McDougall), 2002.

 

2001

 

  1. [LNK][BIB] Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs, International Conference on Computer Aided Design(ICCAD), (with A. Gupta, P. Ashar, L. Zhang and S. Malik), 2001. 
  2. [LNK][BIB] Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation, 38th Design Automation Conference(DAC), (with A. Gupta, A. Gupta, and P. Ashar), 2001. 
  3. [LNK][BIB] Is There a Best Symbolic Cycle-Detection Algorithm? Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (with K. Fisler, R. Fraer, G. Kamhi and M. Vardi), 2001.

 

 

2000

 

  1. [BIB] SAT Based State Reachability Analysis and Model Checking, 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), (with A. Gupta, A. Gupta and P. Ashar), 2000.

 

 


 


 

 

 

 

 

 

 

 

 

 

Last update on: June 2, 2017