Program » Keynotes

Offering Software Maintenance as
an Offshore Service

Harry Sneed Photo

Harry M. Sneed
University of Regensburg, Germany /
ANECON GmbH, Austria

Tuesday, September 30, 09:15–10:30

Download keynote slides (PDF).


This keynote is directed to the software service organizations in the emerging countries of Asia and South America as well as to outsourcing companies in Eastern Europe. It summarizes the sad state of many western user organizations caught in the legacy software trap and how eastern software shops can help them. The talk focuses on the processes, techniques and tools required to run a remote software maintenance operation, the legalities of maintenance contracts and the economics of outsourced services. The speaker shares his experience in how to establish a good customer relationship and how to charge the services in a way that is acceptable to both the customer and the service provider.


Next to his industrial career as a test engineer, maintenance engineer, consultant and project leader, Sneed has led a second life as researcher and teacher. He contributed to the first ICSM in Monterey in 1983 and has contributed 20 papers since then. In 2005 he was the General Chair of the ICSM in Budapest and has served since then in the ICSM steering committee. In 1997 he was a founder of the European Conference on Software Maintenance and Reengineering to which he has contributed to every conference since then. In 2002 he was the general chair of the CSMR in Budapest. Sneed has also been active in the Conference on Program Comprehension and the Workshop on Software Reverse Engineering as well as in the EuroStar and StarEast testing conferences. Altogether, he has published more than 60 English technical articles including ones in the IEEE-Transactions, the IEEE Software and the International Journal of Software Maintenance and Evolution. In German he has published more than 75 articles and published 18 books on the subjects of maintenance, reengineering, migration, testing and cost estimation. His latest books have been on maintenance management, system testing and SOA migration. Since the year 2000 Sneed has been teaching software engineering at the Universities of Regensburg and Budapest. In addition, he is currently teaching software maintenance at the Fachhochschule Hagenberg in Austria and software testing at the universities of Szeged in Hungary and Koblenz in Germany. Sneed has been a member of the IEEE and the ACM since 1976 and a member of the German Informatik Society – GI – since 1978. In 2005 the GI appointed him to be a GI Fellow. The IEEE awarded him for his contributions to the field of software reengineering in 1996. In connection with his current work as a test engineer he is serving as a member of both the Austrian and the Hungarian test boards.


Refinement and Test Case Generation in
Unifying Theory of Programming

Ji-Feng He Photo

Ji-Feng He
East China Normal University, China

Wednesday, October 1, 09:15–10:30

Download keynote slides (PDF).


This talk presents a theory of testing that integrates into Hoare and He’s Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification predicates. This reformulation of test cases allows for relating test cases via refinement to specifications and programs. Having such a refinement order that integrates test cases, we develop a testing theory for fault-based testing. Fault-based testing uses test data designed to demonstrate the absence of a set of pre-specified faults. A well-known fault-based technique is mutation testing. In mutation testing, first, faults are injected into a program by altering (mutating) its source code. Then, test cases that can detect these errors are designed. The assumption is that other faults will be caught, too. We apply the mutation technique to both specifications and programs. Using our theory of testing, two new test case generation laws for detecting injected (anticipated) faults are presented: one is based on the semantic level of design specifications, the other on the algebraic properties of a programming language.


Ji-Feng He is currently a professor of computer science at East China Normal University (ECNU). He is also the Dean of Software Engineering Institute, ECNU. He graduated from the Department of Mathematics, Fudan University in 1965 and then worked in ECNU. In 1986, he was promoted to the rank of Professor. He joined in Stanford University and San Francisco University, USA during 1980 to 1981 as a Visiting Researcher. He joined Computing Lab of Oxford University, U.K. during 1983 to 1988 as a Senior Researcher. From 1998 to now, he was a senior research fellow of International Institute for Software Technology, United Nations University (UNU-IIST), Macau, China. In 2005, he was honored as CAS Academician. He has won the 2nd class award of the 2002 State Natural Science Award, the 1st-Prize of the Electronics Industry Ministry Science & Technology Achievement Award, and the 1st-Prize of the Shanghai Science & Technology Achievement Award. Recently, he was appointed as the Chief Scientist for the “Trusted Software Fundamental Research” as a major research plan established by the National Natural Science Foundation of China (NSFC), and he was also appointed as the Chief Scientist for the “Theory and Practice on Coordination and Survivability for Massive Amount of Information” project as the National Basic Research Program (“973” Program) established by the Ministry of Science and Technology (MOST). He has published about 140 research papers in international journals and conferences. His research has significant impact on researchers and practitioners who are working in formal methods.

Copyright © 2008 ICSM