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

Keynote talk

• Roberto Siagri:
  Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality. 1-4
  

Mining specifications and structure

• Mihai Christodorescu, Somesh Jha, Christopher Kruegel:
  Mining specifications of malicious behavior. 5-14
  
• Zachary M. Saul, Vladimir Filkov, Premkumar T. Devanbu, Christian Bird:
  Recommending random walks. 15-24
  
• Mithun Acharya, Tao Xie, Jian Pei, Jun Xu:
  Mining API patterns as partial orders from source code: from usage scenarios to specifications. 25-34
  

Fault detection

• Andrzej Wasylkowski, Andreas Zeller, Christian Lindig:
  Detecting object usage anomalies. 35-44
  
• Sunghun Kim, Michael D. Ernst:
  Which warnings should I fix first? 45-54
  
• Lingxiao Jiang, Zhendong Su, Edwin Chiu:
  Context-based detection of clone-related bugs. 55-64
  

Code analysis

• Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani:
  Programming asynchronous layers with CLARITY. 65-74
  
• Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst:
  Object and reference immutability using java generics. 75-84
  
• Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin:
  Efficient checkpointing of java software using context-sensitive capture and replay. 85-94
  

Development processes and tools

• Mark Grechanik, Kathryn S. McKinley, Dewayne E. Perry:
  Recovering and using use-case-diagram-to-source-code traceability links. 95-104
  
• Moshood Omolade Saliu, Günther Ruhe:
  Bi-objective release planning for evolving software systems. 105-114
  
• Hazeline U. Asuncion, Frédéric François, Richard N. Taylor:
  An end-to-end industrial software traceability tool. 115-124
  
• Narayan Ramasubbu, Rajesh Krishna Balan:
  Globally distributed software development project performance: an empirical analysis. 125-134
  

Test generation

• Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
  Parallel test generation and execution with Korat. 135-144
  
• William G. J. Halfond, Alessandro Orso:
  Improving test case generation for web applications using automated interface discovery. 145-154
  
• Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener:
  The impact of input domain reduction on search-based test data generation. 155-164
  

Refactoring automation

• Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger:
  Determining detailed structural correspondence for generalization tasks. 165-174
  
• Macneil Shonle, William G. Griswold, Sorin Lerner:
  Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. 175-184
  
• Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
  Automated testing of refactoring engines. 185-194
  

Scaling-up static analysis

• Julian Dolby, Mandana Vaziri, Frank Tip:
  Finding bugs efficiently with a SAT solver. 195-204
  
• Jan Wen Voung, Ranjit Jhala, Sorin Lerner:
  RELAY: static race detection on millions of lines of code. 205-214
  
• Minh Ngoc Ngo, Hee Beng Kuan Tan:
  Detecting large number of infeasible paths through recognizing their patterns. 215-224
  

Service-oriented and mobile computing

• Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel:
  Model checking service compositions under resource constraints. 225-234
  
• Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu:
  Detection and resolution of atomicity violation in service composition. 235-244
  
• Jamie Payton, Christine Julien, Gruia-Catalin Roman:
  Automatic consistency assessment for query results in dynamic environments. 245-254
  
• Justin R. Erenkrantz, Michael M. Gorlick, Girish Suryanarayana, Richard N. Taylor:
  From representations to computations: the evolution of web architectures. 255-264
  

Modelling approaches

• Jacky Estublier, Germán Vega:
  Reconciling software configuration management and product data management. 265-274
  
• Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
  Symbolic message sequence charts. 275-284
  
• Felix Klar, Alexander Königs, Andy Schürr:
  Model transformation in the large. 285-294
  
• Christoph Treude, Stefan Berlik, Sven Wenzel, Udo Kelter:
  Difference computation of large models. 295-304
  

ACM SIGSOFT outstanding research award

• Elaine J. Weyuker:
  Software engineering research: from cradle to grave. 305-311
  

Verification techniques

• Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
  The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. 312-320
  
• Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic:
  State space exploration using feedback constraint generation and Monte-Carlo sampling. 321-330
  
• Fang Yu, Tevfik Bultan, Erik Peterson:
  Automated size analysis for OCL. 331-340
  

Developer-centric studies

• Thomas Fritz, Gail C. Murphy, Emily Hill:
  Does a programmer's activity indicate knowledge of code? 341-350
  
• Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji:
  A socio-technical framework for supporting programmers. 351-360
  
• Thomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers:
  Program comprehension as fact finding. 361-370
  

In-memory talk

• Andre Scedrov:
  The work of Dean Rosenzweig: a tribute to a scientist and an innovator. 371-374
  

Empirical system characterization

• Leticia Duboc, David S. Rosenblum, Tony Wicks:
  A framework for characterization and analysis of software system scalability. 375-384
  
• Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Concettina Del Grosso, Massimiliano Di Penta:
  An empirical study on the evolution of design patterns. 385-394
  
• Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson:
  Measuring empirical computational complexity. 395-404
  

Unit and system testing

• Osamu Mizuno, Tohru Kikuno:
  Training on errors experiment to detect fault-prone software modules by spam filter. 405-414
  
• Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo:
  CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. 415-424
  
• Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
  Contract driven development = test driven development - writing test cases. 425-434
  

State-of-the-art presentations

• 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. 459-468
  

Widened software engineering

• Manzil e Maqsood, Talha Javed:
  Practicum in software project management: an endeavor to effective and pragmatic software project management education. 471-480
  
• Asim El-Sheikh, Haroon Tarawneh:
  A survey of web engineering practice in small Jordanian web development firms. 481-490
  
• 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, 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
  
• Kenneth Koster, David C. 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, S. C. Cheung, W. K. Chan, Chunyang Ye:
  On impact-oriented automatic resolution of pervasive context inconsistency. 569-572
  

Doctoral symposium

• 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-602
  
• 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, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina:
  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 2nd international workshop on engineering fault tolerant systems. 617-618
  
• Alexander L. Wolf:
  Engineering software services for pervasive environments. 619-620
  
• Alan Hartman, Mika Katara, Amit M. Paradkar:
  Domain specific approaches to software test automation. 621-622