11. ESEC / 15. SIGSOFT FSE 2007: Dubrovnik, Croatia

State-of-the-art presentations

• Mehdi Jazayeri, David S. Rosenblum:
  Foreword to state-of-the-art presentations. 437
  
• Fernando Silva Parreiras, Steffen Staab, Andreas Winter:
  On marrying ontological and metamodeling technical spaces. 439-448
  
• Marta Z. Kwiatkowska:
  Quantitative verification: models, techniques and tools. 449-458
  
• Walt Scacchi:
  Free/open source software development: recent research results and emerging opportunities. 459-468
  

Widened software engineering

• Antonia Bertolino, Henry Muccini:
  Welcome to the WISE track. 469
  
• Manzil e Maqsood, Talha Javed:
  Practicum in software project management: an endeavor to effective and pragmatic software project management education. 471-479
  
• Asim El-Sheikh, Haroon Tarawneh:
  A survey of web engineering practice in small Jordanian web development firms. 481-489
  
• Roumen Nikolov, Sylvia Ilieva:
  Building a research university ecosystem: the case of software engineering education at Sofia University. 491-500
  

ESEC/FSE'07 posters

• Helen Sharp, Tracy Hall, Nathan Baddoo, Sarah Beecham:
  Exploring motivational differences between software developers and project managers. 501-504
  
• Stig Larsson, Petri Myllyperkiö, Fredrik Ekdahl:
  Product integration improvement based on analysis of build statistics. 505-508
  
• Mikael Patel, Andreas Borg, Kristian Sandahl:
  A case study in assessing and improving capacity using an anatomy of good practice. 509-512
  
• Hamid Abdul Basit, Simon J. Puglisi, William F. Smyth, Andrew Turpin, Stan Jarzabek:
  Efficient token based clone detection with flexible tokenization. 513-516
  
• Xin Zhou, Ying Liu, Jun Zhu:
  A segment-based approach for reconcilable model transformation. 517-520
  
• Alessandro Fantechi, Stefania Gnesi:
  A behavioural model for product families. 521-524
  
• Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
  A specification-based approach to testing software product lines. 525-528
  
• Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande:
  A profile-driven statistical analysis framework for the design optimization of soft real-time applications. 529-532
  
• Shan Lu, Weihang Jiang, Yuanyuan Zhou:
  A study of interleaving coverage criteria. 533-536
  
• Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin:
  An iterative, multi-level, and scalable approach to comparing execution traces. 537-540
  
• Ken Koster, David Kao:
  State coverage: a structural test adequacy criterion for behavior checking. 541-544
  
• Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani:
  Quantifying the effectiveness of testing via efficient residual path profiling. 545-548
  
• Robert B. Evans, Alberto Savoia:
  Differential testing: a new approach to change detection. 549-552
  
• Rupak Majumdar, Ru-Gang Xu:
  Directed test generation using symbolic grammars. 553-556
  
• Sandro Fouché, Myra B. Cohen, Adam A. Porter:
  Towards incremental adaptive covering arrays. 557-560
  
• Pallavi Joshi, Koushik Sen, Mark Shlimovich:
  Predictive testing: amplifying the effectiveness of software testing. 561-564
  
• Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams:
  Using groupings of static analysis alerts to identify files likely to contain field failures. 565-568
  
• Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye:
  On impact-oriented automatic resolution of pervasive context inconsistency. 569-572
  

Doctoral symposium

• Carlo Ghezzi:
  Foreword to the doctoral symposium. 573
  
• Marcin Stefaniak:
  Visualising exemplary program values. 575-578
  
• Irina Diana Coman:
  An analysis of developers' tasks using low-level, automatically collected data. 579-582
  
• Pasqualina Potena:
  Composition and tradeoff of non-functional attributes in software systems: research directions. 583-586
  
• Stefan Baerisch:
  Model-driven test-case construction. 587-590
  
• Youssef Hanna:
  SLEDE: lightweight verification of sensor network security protocol implementations. 591-594
  
• Madeline Diep:
  Analysis of a deployed software. 595-598
  
• Roberto Pietrantuono:
  Component airbag: a novel approach to develop dependable component-based applications. 599-601
  
• Sevan Kavaldjian:
  A model-driven approach to generating user interfaces. 603-606
  

Workshops summaries

• Farhad Arbab, Christel Baier:
  SYANCO 2007: international workshop on synthesis and analysis of component connectors. 607-608
  
• Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou:
  Specification and verification of component-based systems 2007. 609-610
  
• Massimiliano Di Penta, Michele Lanza:
  IWPSE 2007: 9th international workshop on principles of software evolution. 611-612
  
• Elisabetta Di Nitto, Andrea Polini, Andrea Zisman:
  2nd international workshop on service oriented software engineering: (IW-SOSWE 2007). 613-614
  
• Giovanni Denaro, Mauro Pezzè, Onn Shehory:
  SOQUA 2007 4th international workshop on software quality assurance. 615-616
  
• Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky:
  EFTS 2007: the 2^nd international workshop on engineering fault tolerant systems. 617-618
  
• Alexander L. Wolf:
  Engineering software services for pervasive environments: ESSPE '07 workshop summary. 619-620
  
• Alan Hartman, Mika Katara, Amit M. Paradkar:
  Domain specific approaches to software test automation. 621-622