[1].

Bidirectional Model Transformation for Software Development

[2]. Modeling with Algebraic Specification Language
[3]. Model Checking C Programs
[4]. Software Development with Event-B
[5]. Case Studies on Model Checking Web Applications
[6]. Dependency discovery based on different software information
[7]. System level dependency analysis
[8]. Applying dynamic method binding during debugging
[9]. Applying impact analysis for software costs estimation
[10]. Generating automatic test data for supporting performance testing
[11]. Test automation in special environment
[12]. Developing comprehensive quality models
[13]. Applying CPM method for generating test cases from high level representations
[14]. Methods for reconstructing software system architecture (Reverse engineering)
[15]. The role of source code metrics in software quality assurance