1. Model Checking Probabilistic and Stochastic Extensions of the ;Calculus
2. Automated Trace Analysis of DiscreteEvent System Models
3. Enhanced Modeling and Solution of Layered Queueing Networks
4. Recomputing Coverage Information to Assist Regression Testing
5. Maturing Software Engineering Knowledge through Classifications: A Case Study on Unit Testing Techniques
6. Optimized Resource Allocation for Software Release Planning
7. PowerLaw Distributions of Component Size in General Software Systems
8. Identification of Move Method Refactoring Opportunities
9. Security Requirements Engineering:A Framework for Representation and Analysis
10. CoMoM: Efficient ClassOriented Evaluation of Multiclass Performance Models
11. Automatic Extraction of Heap Reference Properties in ObjectOriented Programs
12. Carving and Replaying Differential Unit Test Cases from System Test Cases
13. Predicting Project Velocity in XP Using a Learning Dynamic Bayesian Network Model
14. Atomicity Analysis of Service Composition across Organizations
15. Synthesis of Partial Behavior Models from Properties and Scenarios
16. The Impact of LessonsLearned Sessions on Effort Estimation and Uncertainty Assessments
17. Using Backpropagation Neural Networks for Functional Software Testing
18. Regression Testing Techniques for Object Oriented Software
19. A Novel Probability Binary Particle Swarm Optimization Algorithm and Its Application
20. Data Mining Approach for Detecting HigherLevel Clones in Software
21. CHARMY: A Framework for Designing and Verifying Architectural Specifications
22. StateDensity Functions over DBM Domains in the Analysis of NonMarkovian Models
23. An Efficient and Scalable Approach to Correct Class Model Refinement