DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Mining Program Specifications and Temporal Properties

Siau-Cheng Khoo
School of Computing, National University of Singapore

Monday 10 March 2008 11:00-12:00
ITU, Rued Langgaards Vej 7, Auditorium 3

Abstract:

Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack of documented specification and further aggravated by the phenomenon of software evolution. There is a need for automatic tools to extract specifications to aid program comprehension. In this talk, I will present two novel techniques to efficiently mine properties representing significant software behaviors from program execution traces. The first technique is the introduction of "iterative pattern", which captures software behaviours that can be represented through message sequence chart and life sequence chart. The second technique is the introduction of multi-event rule which represents temporal software behaviors in rule format. We present case studies to show the use of these mining techniques, and how they can assist in discovering software bugs.

Siau-Cheng Khoo is an Associate Professor at the National University of Singapore School of Computing. He obtained his PhD from Yale University (New Haven, Connecticut, USA). Siau-Cheng's main research interest lies in the area of program analysis and program transformation. His recent works include development of compilation model for aspect-oriented functional programming, and design of mining techniques for ensuring program reliability through program execution traces.


Scientific host: Peter Sestoft. Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org