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