Envios by Sagar Sen

Notes on Coastal Rowing What Why and How

Certus - Glimpses of a Centre for Research-based Innovation in Software Verification\&Validation

Partial Model Completion in Model-driven Engineering

Reusable Model Transformations

Evaluation of Kermeta to Solve Graph Based Problems

Towards Domain-specific Model Editors with Automatic Model Completion

Domain-specific Model Editors with Automatic Model Completion

Models 2009

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines