Doctoral Symposium Program
ICSE 2015 Doctoral Symposium
May 19th, Tuesday, 08.45 am - 5:30 pmChairs: Alessandro Garcia, Alessandro Orso
Room: PC - Room 6 & Room 5 (posters)
8:45 - 9:00 |
Introduction by the DS Chairs |
|
9:00 - 10:00 |
Invited Talk |
|
10:00 - 10:30 |
Student Presentations I |
|
10:30 - 11:00 |
BREAK |
|
11:00 - 12:30 |
Student Presentations II Scalable Formal Verification of UML Models Scalability Studies on Selective Mutation Testing |
|
12:30 - 2:00 |
LUNCH |
|
2:00 - 3:30 |
Student Posters Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution Towards Model Driven Architecture and Analysis of System of Systems Access Control A Unified Approach to Automatic Testing of Architectural Constraints Safe Evolution Patterns for Software Product Lines Strategies for Prioritizing Test Cases Generated through Model-Based Testing Approaches Towards a Practical Security Analysis Methodology Measuring Software Developers’ Perceived Difficulty with Biometric Sensors Mining Patterns of Sensitive Data Usage Search-Based Migration of Model Variants to Software Product Line Architectures On the Architecture-Driven Development of Software-Intensive Systems-of-Systems Automatic Documentation Generation via Source Code Summarization A Declarative Foundation for Comprehensive History Querying An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management Towards Generation of Software Development Tasks Contributor’s Performance, Participation Intentions, Its Influencers and Project Performance Supporting Scientific SE Process Improvement A Comprehensive Framework for the Development of Dynamic Smart Spaces Verification of Android Applications A Security Practices Evaluation Framework |
|
3:30 - 4:00 |
BREAK |
|
4:00 - 5:00 |
Student Presentations III Qualitative Analysis of Knowledge Transfer in Pair Programming DIETs: Recommender Systems for Mobile API Developers |
|
5:00 – 5:30 |
Wrap up and Closure |