Introduction to ISCAS & iTechsitechs.iscas.ac.cn/cn/news/first_iscas_swell_joint_workshop/Intro... · Introduction to ISCAS & iTechs Ye Yang Lab for Internet Software Technology (iTechs)

Introduction to ISCAS & iTechs

Ye Yang

Lab for Internet Software Technology (iTechs)Institute of Software Chinese Academy of Sciences (ISCAS)

2010-4-26

2010-4-26 2

Outline

• Introduction to ISCAS• Introduction to iTechs

– People– Research– Culture– International Collaboration

2010-4-26 3

Overview of ISCAS

• ISCAS, funded in 1985, is China’s national research institute focused on fundamental and applied research in both computer sciences and software technology development.

• Director: Prof. Mingshu Li (Since 2002)• Total employee: 600+; Graduate Students and visitors:

600+• Mission: research + technology/knowledge transfer +

education

• Main empirical research areas: – Software Estimation and Measurement– Software Process Modeling and Simulation– Requirements Management– Software Testing

2010-4-26 4

ISCAS Branch Offices (Domestic)

Beijing Head Office

Wuxi Branch

Chongqing Branch

Ha’ErBin Branch

Local Joint Labs

Beijing, Nanjing, Xi’an, Ningbo, Qingdao, etc.

2010-4-26 5

Research Units at ISCAS

• Division for Basic Research– State Key Lab. For Computer Sciences– State Key Lab. For Information Security– Lab. For Parallel Computing

• Division for Advanced Technology– National R&D Center For Fundamental Software– National R&D Center For Information Security Common

Technology– R&D Center For Software Engineering– R&D Center For Chinese Information Processing– Lab. For Internet Software Technology (iTechs)– Lab. For Human-Computer Interface Technology

• Division for Applications– State Key Lab. For Integrative Information System Technology– State Key R&D Center For Satellite Navigation Applications

2010-4-26 6

Outline

• Introduction to ISCAS• Introduction to iTechs

– People– Research– Culture– International Collaboration

2010-4-26 7

Overview of iTechs

• Director: Prof. Qing Wang• Formally established in 1999

– Funder and Director Emeritus: Prof. Mingshu Li• Four research groups:

– Requirement Management– Software Process Modeling – Empirical Software Engineering– Software Testing

• Main research product:– SoftPM: a toolkit based on TQM concept and embodies the major

research results, CMM/CMMI/ISO9000 Compliant – Now a commercial product “QONE”, over 300 customers

• Co-sponsor international conferences– SPW2005, SPW/Prosim 2006, ICSP2007-2010

• URL– http://itechs.iscas.ac.cn

2010-4-26 8

People• Chief Scientist: Prof. Mingshu Li• Director of the Lab: Prof. Qing Wang• Faculty: 14

– Prof.’s: 4– Associated Prof.’s: 5– Assistant Prof.’s: 6

• Grad students– Ph.D. students: 25– Master students: 32

• Post-Doc: 2• Visiting Prof.’s:

– Barry Boehm, Leon Osterweil, Lori Clark, Ross Jeffery, Yun Yang

2010-4-26 9

Research Areas

Requirement Engineering SP Modeling and Simulation Software Testing

Requirement Process Product

Measurement, Evaluation and Knowledge Engineering

Software Tool and Tool Integration

Empirical Software Engineering

2010-4-26 10

Requirement Engineering

• Requirement Eliciting and Modeling– A tri-dimensional requirements model supporting coordination

among stakeholders– Win-Win balance of success-critical stakeholders (SCSs).

• Solution of requirement clashes for the same kind customers at different level

– Win-win facilitation tool development• Requirement Evolution and Management

– Requirement evolution modeling and measuring– Requirements dependency establishment and maintenance– Requirement traceability establishment and maintenance– Requirement traceability through whole life-cycle

• Relationship establishing between requirements and its implemented artifacts

2010-4-26 11

Resource

• Group lead: Juan Li (Da Yang)• Faculty Member: Yongji Wang, Hao Zhong• Students

– Ph. D. : Fei Dong, Lin Shi– MS. : Lingjun Kong, Jian Gao, Lei He, Hailong Wang, Peng Wan, Fuwei

Sun, Qiang Cui, Tao Wen, Junjie Wang, Dexin Wang• Major funding sources:

– 973 Program (the National Basic Research Program)• Requirement evolvement modeling, Requirement engineering – Basic

Research of software engineering for complex system, 2007-2011– NSFC

• Research on multidimensional software requirements description and control method, 2006-2008

• Research on requirements evolvement measurement method, 2009-2011

2010-4-26 12

Publications (22)

1. Yin Li, Juan Li, Mingshu Li. Research on Dynamic Requirement Traceability Method and Traces Precision. Journal of Software,2009

2. Jing Du, Ye Yang, Qing Wang. An Analysis for Understanding Software Security Requirement Methodologies. SSIRI09,2009,Accepted

3. Lingjun Kong, Juan Li, Yin Li, Ye Yang, Qing Wang. A Requirement Traceability Refinement Method Based on Relevance Feedback.SEKE2009,2009,Accepted

4. Lei He, Juan Li, Qing Wang, Ye Yang. Predicting Upgrade Project Defects based on Enhancement Requirements: An Empirical Study. ICSP2009,2009, Accepted

5. Shuxian Xu, Juan Li, Lishan Hou. Design and implementation of multi-role requirement review system. Computer Engineering and Design,2009

6. Ruimin Zhang, Da Yang, Juan Li. A WinWin theory based system for collaborative requirements negotiation.Computer Engineering and Design,2009

7. Liu Dong, Yin Li, Juan Li. Improved Method for Dynamic Requirement Traceability basing on Code Comments. Computer Engineering and Design,2009

8. Zhaowen Xiong, Juan Li, Qi Li. A Method for Requirements Prioritizing Based on Optimal Combination of Components. Computer Engineering and Design,2009

9. Da Yang, Di Wu. Supannika, Koolmanojwong A. Winsor Brown, BarryW.Boehm. WikiWinWin: A Wiki Based System for Collaborative Requirements Negotiation, HICSS-41, 2008

10. Juan Li, Lishan Hou, Zhongsen Qin, Qing Wang,Guishen Chen. An Empirically-Based Process to Improve the Practice of Requirement Review. ICSP2008 ,2008

11. Yin Li, Juan Li, Ye Yang, Mingshu Li. Requirement-Centric Traceability for Change Impact Analysis: a Case Study.ICSP2008,2008

2010-4-26 13

Publications (22)- cont.

12. Fei Dong, Mingshu Li, Yuzhu Zhao, Juan Li, Ye Yang. Software Multi-Project Resource Scheduling: A Comparative Analysis, ICSP2008, 2008

13. Lei Tang, Xiaoyong Huai, Mingshu Li. An Approach to Dynamic Service Composition Based on Context Negotiation. Journal of Computer Research and Development,2008

14. Junjin Yu, Juan Li. IBMR：Multi-role requirement measurement method based on IEEE830-1998. Computer Engineering and Design,2008

15. Xiaocheng Wang, Juan Li, Fang Yu. A Simplified Function Point Analysis Method aiming at the Small-to-medium-sized Software. Computer Engineering,2008

16. Wei Luo, Wei Chen. Web page customization based on template and CSS technology. Application Research of computers, 2008

17. Zhongsen Qin, Juan Li. The process of requirements change management and analysis of requirements management tools. Computer Engineering and Design,2008, Accepted

18. Yuzhu Zhao, Juan Li. Fair Winwin:an an approach for the fair win-win requirements negotiation. Computer Engineering and Design,2008, Accepted

19. Juan Li, Nan Jiang, Mingshu Li, Qing Wang, Yanwu Yang. Tracking Projects through a Three-Dimensional Software Development Model,COMPSAC07, 2007

20. Fengdi Shu, Yuzhu Zhao, Jizhe Wang, Mingshu Li. User-Driven Requirement Elicitation Method with the Support of Personalized. Journal of Computer Research and Development,2007

21. Jizhe Wang, Mingshu Li. A tri-dimensional requirements model and its support for stakeholder coordination. Journal of Software,2007

22. Fang Yu, Juan Li, Xiaocheng Wang. Research on Function Point Analysis. Computer Science.2007

2010-4-26 14

Software Process Modeling

• OEC-SPM– OE (Organization Entities): a set of human resource with similar skill,

knowledge and capability, called process agent– Modeling software process Based on Organization Entities Capability -

OEC• Resource allocating and modeling

– Describing resource to enable allocating– Allocate resource under project constraints– Enable the best usability and efficiency of resource

• Process simulation – Requirement change impact– Human resource turn over– Optimizing project plan

• Process definition and model check– Triso-ML: process modeling language– Trustworthy process components defining, combining, evolving and

verifying

2010-4-26 15

Resource

• Group lead: Junchao Xiao • Faculty Member: Yongji Wang, Qiusong Yang, Feng Yuan, Jian Zhai• Students

– Ph. D. : Lizi Xie, Bei Zhang– MS. : Nanhai Zhong, Hao Chen, Feng Su, Anqi Wu, Wancheng Hulei,

Hui Huang, Jie Chen, Xin Dong, Jialiang Dong • Major funding sources:

– NSFC• Research on trustworthy software process management and risk control

models and methods. 2008-2010, 90718042• Research on software process modeling method based on organizational

entity capability, 2005-2008– 863 Program (the Hi-Tech R&D Plan of China)

• Production line supporting trusted software process management, 2008-2010• Research on software process modeling and simulation method supporting

software production scheduling, 2007-2008• Dynamic evolvement technology of the model-driven software system, 2008-

2009• Service-oriented dynamic software architecture and its support environment,

2006-2008

2010-4-26 16

Publications(28)

1. Lizi Xie, Qing Wang, Junchao Xiao, Yongji Wang, Ye Yang.PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method .SEKE2009,2009,Accepted

2. Jian Zhai, Qiusong Yang, Feng Shu, Junchao Xiao, Qing Wang,Mingshu Li.Stochastic Process Algebra Based Software Process Simulation Modeling.ICSP2009,2009, Accepted

3. Haijian Yan, Junchao Xiao, Huaizhang Li. Earned Value Based Approach to Human Resource Scheduling in Scrum Software Process. Computer Engineering and Design,2009

4. Junchao Xiao, Qing Wang, Mingshu Li, Lei Zhang, Dapeng Liu. An Organization-Entity Capability Based Software Process Modeling Method. Journal of Software,2008

5. Qiusong Yang, Mingshu Li. Heuristic Symbolic Verification of Safety Properties for Parameterized Systems. Jourmal of Software,2008, Accepted

6. Mingshu Li, Qiusong Yang, Jian Zhai. A Systematic Review of Software Process Modeling and Analysis.Jourmal of Software,2008, Accepted

7. Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du. A Flexible Negotiation Model for an Agent-Based Software Process Modeling. International Journal of Computer Applications in Technology, Inderscience Enterprises（IJCAT),2008

8. Dapeng Liu, Qing Wang, Mingshu Li, Huaizhang Li, Junchao Xiao. RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans.ICSP2008,2008

9. Lizi Xie ,Junchao Xiao, Dapeng Liu, Qing Wang. A Project Scheduling Method Based on Human Resource Availability.SEKE'2008,2008

10. Junchao Xiao, Qing Wang, Mingshu Li, Ye Yang,Fan Zhang, Lizi Xie, Hui Jiang. A Constraint-Driven Human Resource Scheduling Method in Software Development and Maintenance Process.ICSM2008,2008

11. Jian Zhai, Qiusong Yang, Junchao Xiao, Ye Yang, Mingshu Li, Qing Wang. Automated Process Quality Assurance for Distributed Software Development.Seafood08,2008

12. Jian Dai,Mark Stamp. QuickPay Online Payment Protocol. SEKE'2008 ,200813. Mingshu Li. An Integrated Solution for Software Process Improvement.ICSM2008,200814. Jun Guo, Feng Yuan, Li Ruan. PSP Enactment Method Based On Extended SPEM . Application Research of computers,2008

2010-4-26 17

Publications(28) - cont.

15. Guowei Yang, Qiusong Yang, Jian Zhai, Feng Yuan.Design and Implementation of Algebra-based Software Process Modeling System. Computer Engineering and Design,2008

16. Haijian Yan, Junchao Xiao. Benefit-based approach to resource scheduling optimization in software process. Application Research Of Computers,2008

17. Lu Meng, Feng Yuan, Guowei Yang, Jun Guo. Study of a Semistructured Data-based Project Backup Method. Computer Engineering and Design, 2008

18. Feng Yuan, Mingshu Li. MDA-Based model management method and its application for TRISO-model. Jourmal of Software,2007

19. Feng Yuan, Mingshu Li. Towards Software Process Enactment Based on the SPEM2XPDL Model Transformation. Jourmal of Software,2007

20. Junchao Xiao,Leon J. Osterweil, Lei Zhang, Alexander Wise, Qing Wang.Applying Little-JIL to Describe Process-Agent Knowledge and Support Project Planning in SoftPM.ISPI2007,2007

21. Mingshu Li. TRISO-Model:A New Appraoch to Integrated Software Process Assessment and Improvement. ISPI2007,200722. Nao Li, Qing Wang, Mingshu Li, Shuanzhu Du, Junchao Xiao. A Multilateral Negotiation Method For Software Process

Modeling.ICSP2007,200723. Qiusong Yang, Mingshu Li, Qing Wang, Guowei Yang, Jian Zhai. An algebraic approach for the management of inconsistencies in

software processes.ICSP2007,200724. Lei Zhang, Qing Wang, Junchao Xiao, Li Ruan, Lizi Xie, Mingshu Li. A Tool to Create Process-Agents for OEC-SPM from

Historical Project Data.ICSP2007,200725. NASRO, Yongji Wang, Jianshen Xing, Junxiao Liu. Revisiting Fised Priority Techniques.EUC IFIP2007,200726. Jian Dai, Qing Wang, Mingshu Li, Junchao Xiao, Dapeng Liu. A Simulation Approach for Fine-Grained Project Plan Analysis,ICNC2007,

200727. Bin Liu, Shuanzhu Du, Nao Li. Process model for e-government business processing. Journal of Computer Applications,2007

28. Zhigang Wan, Yuan Feng, Jinhui Zhou. Research of SPEM2XPDL Model Transformation. Application Research Of Computers,2007

2010-4-26 18

Empirical Software Engineering

• Estimation – Phase-wise effort estimation – Estimation for reuse-based development– Survey on cost estimation practice in Chinese software industry – Government contract pricing model: COGOMO– Empirical studies on defect and testing effort management

• Measurement – Empirical studies on process audit data– Preliminary studies on SP trustworthy attributes and evidence modeling– Industrial studies of CMMI higher level SP management

• Knowledge Engineering– Mining knowledge from organization project repository or public software

repository• Experience repository

– Aim: a collaborative experience-top for empirical software engineering researchers and users

– Leveraging on semantic web technologies

2010-4-26 19

Resource

• Group lead: Ye Yang• Faculty Member: Fengdi Shu, Da Yang, Wen Zhang• Students

– Post-Doc: Benhai Yu, Yanbin Liu– Ph. D. : Chenyong Hu, Jing Du, Shujian Wu, Haitao Wang, Jie Hu, Jia Chen, Dandan Wang,

Zhimin He– MS. : Xinguang Chen, Haopeng Zhang, Yan Ku, Hao Jia, Xiaoyun Li, Zhongpeng Lin,

Kewen Wu, Lang Xie, Wenpei Liu, Yueming Sun, Lihua Cao– Visiting student: Greg Gay (WVU), Ali Malik (USC)

• Major funding sources:– NSFC

• Research on trustworthy software process management and risk control models and methods. 2008-2010, 90718042

• Research on software cost estimation methods for reuse-based development. 2009-2011• Research on highly trusted network system measurement, evaluation, and optimizing the

key technologies and software implementation.– 863 Program

• Production line supporting trusted software process management, 2008-2010• Comprehensive quantitative assessment system and model supporting CMMI high maturity

level,2007-2008– CAS

• Software development and process service management, improvement and evaluation method,2007-2010

2010-4-26 20

Publications(40)

1. Benhai Yu, Qing Wang, Ye Yang. The Study of Trustworthy Software Process Improvement Model.2009 International Conference on Networks Security，Wireless Communications and Trusted Computing,NSWCTC 2009,2009

2. Shujian Wu, Mingshu Li, Ye Yang. A Dynamic Model to Handle Defect-Oriented Processes.SSMSSD09,2009, Accepted3. Hao Jia, Fengdi Shu, Ye Yang, Qing Wang. Predicting Fault-prone Modules: A Comparative Study .SEAFOOD09,2009,

Accepted4. Chen Fang, Ye Yang, Shujian Wu. Application of principle component analysis and cluster analysis on software refactorings. Computer

Engineering and Design,20095. Qing Wang, Lang Gou, Nan Jiang, Meiru Che, Ronghui Zhang, Yun Yang, Mingshu Li.Estimating Fixing Effort and Schedule based on

Defect Injection Distribution.ISPI2008,20086. Li Ruan, Yongji Wang, Qing Wang, Haitao Zeng. DaskBeD:A Novel Software Development Tasks Benchmarking. Jourmal of

Software,2008, Accepted7. Mei He, Mingshu Li, Qing Wang, Ye Yang,Kai Ye. An Investigation of Software Development Productivity in China.ICSP2008,2008

8. Lang Gou, Qing Wang, Jun Yuan,Ye Yang, Mingshu Li, Nan Jiang. Quantitatively Managing Defects for Iterative Projects:An Industrial Experience Report in China.ICSP2008,2008

9. Ye Yang, Mei He, Mingshu Li, Qing Wang, Boehm. Phase Distribution of Software Development Effort. ESEM2008, 200810. Sheng Zhang, Yongji Wang, Ye Yang, Junchao Xiao. Capability Assessment of Individual Software Development Processes Using

Software Repositories and DEA. ICSP2008 ,200811. Ye Yang, Qi Li, Mingshu Li, Qing Wang .

An Empirical Analysis on Distribution Patterns of Software Maintenance Effort .ICSM2008,200812. Da Yang, Qing Wang, Mingshu Li, Ye Yang, Kai Ye. A Survey on Software Cost Estimation

in the Chinese Software Industry.ESEM200，200813. Sheng Zhang ,Yongji Wang, Junchao Xiao. Mining Individual Performance Indicators in Collaborative Development Using Software

Repositories.APSEC2008 ,200814. Mei He, Ye Yang, Qing Wang, Mingshu Li.An Investigation on Performance of Software Enhancement Projects in China.

APSEC2008,2008

2010-4-26 21

Publications(40) – cont.

15. Trent Kroeger, Fengdi Shu, haowen Qin. A Defect Typology to Support Software Process Verification and Validation. SERP'08,2008

16. Qi Li, Qing Wang, Ye Yang, Mingshu Li. Reducing Biases in Individual Software Effort Estimations: A Combining Approach. ESEM2008,2008

17. TOM ,Mei He, Ye Yang, Qing Wang,Mingshu Li.An Analysis to Understand Software Trustworthiness. Trustcom'08,2008

18. Hu Wu, Yongji Wang, Xiang Cheng. Incremental Probabilistic Latent Semantic Analysis for Automatic Question Recommendation.ACMConference on Recommender Systems 2008,2008

19. Wang Xiuqing, Hou Zeng Guang, Tan Min, Yongji Wang,Wang Xinian. Corridor-Scene Classification for Mobile Robot Using Spiking Neurons.Fourth International Conference on Natural Computation,ICNC'08 ,2008

20. Mei Ru, Nan Jiang, Lang Gou, Ruihui Zhang, Fengdi Shu, Study of phase-oriented software defect classification method. Application Research of computers,2008

21. Zinan Tang, Fengdi Shu. A Cost Estimation System Used for Software Acquisition Pricing. Application Research of computers,2008

22. Zinan Tang, Fengdi Shu. IOP model of software development effort estimation. Computer Engineering and Design,200823. Yuxiang Wan, Fengdi Shu. Value-Based Estimation Model for Software Testing Effort. Computer Engineering and Design,2008

24. Meiru Che, Guowei Yang, Lang Gou, Nan Jiang. Applying statistical process comtrol to monitor software testing process. Computer Engineering and Design,2008

25. Qi Li,Fengdi Shu, Shujian Wu, Xunqiang Liu. Software effort estimation method of optimal linear combining. Computer Engineering and Design,2008

26. Wasif, Yongji Wang.Software Development Effort Estimation using Fuzzy Logic Survey.ICNC'08,200827. Mingshu Li, Mei He, Da Yang, Fengdi Shu, Qing Wang. Software Cost Estimation Method and Application. Jourmal of Software, 2007

2010-4-26 22

Publications(40) – cont.

28. Xiuli Wang, Yongji Wang, Hui Zhou, Kaiyuan Cai. Optimal Design of AQM Routers with D-Stable Based on ITAE Performance. Jourmal of Software,2007

29. Mei He, Ye Yang, Qing Wang, Mingshu Li. Cost Estimation and Analysis for Government Contract Pricing in China.ICSP2007,2007

30. Li Ruan, Lizi Xie, Dapeng Liu, Sheng Zhang, Junchao Xiao. Empirical Study on Benchmarking Software Development Tasks.ICSP2007,2007

31. Qing Wang, Lang Gou, Nan Jiang, Meiru Che, Ronghui Zhang, Yun Yang, Mingshu Li.An Empirical Study on Establishing Quantitative Management Model for Testing Process. ICSP2007,2007

32. Sheng Zhang, Yongji Wang, Feng Yuan, Li Ruan. Mining Software Repositories to Understand the Performance of Individual Developers.COMPSAC07,2007

33. Hu Wu, Yongji Wang, Xiaoyong Huai. AttributeNets:An Incremental Learning Method for Interpretable Classification.PAKDD07,2007

34. NASRO, Kazmi, Ali, Jiansheng Xing, Yongji Wang. Minimizing Response Time Implication in DVS Scheduling for Low Power Embedded Systems.4th International Conference on Innovation Information Technology (ICIIT-07),2007

35. Da Yang,Barry Boehm,Ye Yang, Qing Wang, Mingshu Li. Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model.ICSP2007,2007

36. Liang Sun, Fang Zhao, Yongji Wang .DENCH:A Density-based Hierarchical Clustering Algorithm for Gene Expression Data. Chinese journal of Electronics,2007

37. Hui Zhou, Yongji Wang. RichMap:Combining the Techniques of Bandwidth Estimation and Topology Discovery.Journal of Internet Engineering,2007

38. Rong Yuan, Fengdi Shu, Zinan Tang, Qing Wang. A Method for Using Software Cost Estimation Model Based on Metrics Tool. Computer Engineering and Applications,2007

39. Jie Tong, Yongji Wang, Sheng Zhang. VCSTalk：DEA-based Tool for Open Source Software Developer's Performance Evaluation. Application Research Of Computers,2007

40. Liang Sun, Fang Zhao, Yongji Wang. DENGENE:High Accurate Density-based Clustering Algorithm for Gene Expression Data. Application Research Of Computers,2007

2010-4-26 23

Software Testing• Software Testing

– Fundamental software testing– Test case generation– Test process management– Improve process based the quality data

• Defect analysis and predicting– Based on defect data through whole life-cycle– Defect predicting model

• Software quality evaluation– Refer ISO9126&14598 – Measure and evaluate the quality

• Meet customer requirements• Satisfy the quality goal

– Trustworthy Software evaluation

2010-4-26 24

Resource

• Group lead: Yunzhi Xue• Faculty member: Chen Zhao, Qiuming Tao,

Xiaoyong Huai• Students

– Ph. D. : Juncheng Chen– MS. : Chao Wang, Wei Wu

• Funds in China– NSFC

• Research on trustworthy software process management and risk control models and methods. 2008-2010,90718042

– 863 Program• Production line supporting trusted software process

management, 2008-2010

2010-4-26 25

Publications(25)

1. Haitao Zeng, Yongji Wang, Wei Zu, Yongjia Cai, Li Ruan. New Definition of Small Message Criterion and Its Application in Transaction Covert Channel Mitigating. Journal of Software,2009

2. Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zhaohui Wang. Automated Test Program Generation for an Industrial Optimizing Compiler.ICSP2009,2009,Accepted

3. Hui Zhou, Dan Li, Yongji Wang. Fundamental Problem with Available Bandwidth Measurement Systems. Journal of Software,2008

4. Qing Wang, Shujian Wu, Mingshu Li. Research on Software Defect Prediction. Journal of Software,20085. Qiuming Tao, Chen Zhao, Liang Guo. Proving Soundness of Three Widely-Used Program Transformations in Optimizing Compilation

Based on Temporal Logic. Journal of Software,2008,Accepted6. Shujian Wu, Qing Wang, Ye Yang. Quantitative Analysis of Faults and Failures with Multiple Releases of SoftPM. ESEM2008

7. Yunzhi Xue, Chen Zhao.Automated Phase-Ordering of Loop Optimizations Based on Polyhedron Model. HPCC '08 ,20088. Ronghui Zhang, Nan Jiang, Lang Gou. Software Reliability Growth Model Considering Defect Correlation. Computer Engineering,2008

9. Bowen Zhou, Liping Ding, Yongji Wang. Framework of forensic system against intrusion. Application Research of computers,200810. Yue Li, Juan Li, Wei Chen. A Test Plan Method Based on Constraint Satisfaction Problem. Computer Engineering and Design, 200811. Jun Han, Xiaoyong Huai, Chen Zhao. SeWSD：SeWSD: A secure method for Web services discovery based on access control.

Computer Engineering, 200812. Dongwei Feng, Wei Chen, Chen Zhao. A Testcase Automatic Generation and Execution Method Based on Timed Automata. Computer

Engineering and Design,200813. Wei Zhou, Wei Chen. Design and Implementation of Test Management Tool for Web 2.0. Computer Engineering and Design. 2008

2010-4-26 26

Publications(25) – cont.

14. Liping Ding, Bowen Zhou, Yongji Wang. Capture and storage of digital evidence based on security operating system. Journal of Software,2007

15. Jiansheng Xing, Yongji Wang, Haitao Zeng. A static priority assignment algorithm with the least number of priority levels. Journal of Softwar,2007

16. NASRO, Yongji Wang, Jiansheng Xing, Wasif, Asad-Raza. Towards Dynamic Voltage Scaling in Real-Time Systems-A Survey.IJCSEC2007,2007

17. Kuien Liu, Qing Wang, Jun Han, Hu Wu .A Privacy Protection Medthod for P2P-base Web Service Discovery.SOSE07,2007

18. NASRO, Ali, Jiansheng Xing, Yongji Wang.Online Feasibility Analysis with Composite-Deadline.4th International Conference on Innovation Information Technology (ICIIT-07) ,2007

19. Wei Chen, Yunzhi Xue, Chen Zhao, Mingshu Li. A Method for Testing Real-Time System Based on Times Automata, Jourmal of Software, 2007

20. Lei Tang, Yuan Liao, Mingshu Li, Xiaoyong Huai. The Dynamic Deployment Problem and the Algorithm of Service Component for Pervasive Computing. Journal of Computer Research and Development,2007

21. Yi Zhang, Huai Zhang, Bo Ma.Research of Extensible Service Mechanism for Information System. Application Research Of Computers,2007

22. Yong Xia,Yunzhi Xue, Qiuming Tao,Chen Zhao. Loop Optimization Transformation Using CTL Specifications. Application Research Of Computers,2007

23. Yaohai Zheng, Wei Chen, Chen Zhao. Retargetable Program Analysis System Based on Intermediate Representation. Computer Engineering,2007

24. Yong Xia, Yunzhi Xue, Chen Zhao. Test Case Generation for Compiler Optimization Based on Temporal Logic. Application Research Of Computers,2007

25. Qun Ying, Wei Chen, Chen Zhao. Shared-Memory Management Framewwork for TTCN-3 test System. Application Research Of Computers,2007

2010-4-26 27

iTechs Culture

2010-4-26 28

International Collaboration

• 3 Joint SE Research Labs– Univ. of Southern California– Univ. of Massachusetts – HK PolyU

• Collaboration research plan– NICTA, Australia– NAIST, Japan– Lero, Ireland

• Co-sponsor international conferences– SPW2005, – Co-located with ICSE: SPW/Prosim 2006, ICSP2007-2010

• Professor mutual visiting program• Ph.D. student exchange program

2010-4-26 29

ISCAS/USC/UMass Joint SE Research Lab

• History– Begin from 2004– Formal signature at 2006

2010-4-26 30

1st Joint WS, 2007

2nd Joint WS, 2009

2010-4-26 31

Summary

• iTechs is a young, dynamic, and energetic research lab in the field of SE

• Main empirical research areas: – Software Estimation and Measurement– Software Process Modeling and Simulation– Requirement Management– Software Testing

• Open for international collaboration:– Exchange of information and academic publications– Conducting joint experiments– Submit joint research proposals and establish joint projects– Exchange of staff members and research students

• Look forward to exploring collaboration opportunities with SWELL!

2010-4-26 32

Thank You!Ye Yang ([email protected])