Abstract is missing.
- Foreword to state-of-the-art presentationsMehdi Jazayeri, David S. Rosenblum. 437 [doi]
- On marrying ontological and metamodeling technical spacesFernando Silva Parreiras, Steffen Staab, Andreas Winter. 439-448 [doi]
- Quantitative verification: models, techniques and toolsMarta Z. Kwiatkowska. 449-458 [doi]
- Free/open source software development: recent research results and emerging opportunitiesWalt Scacchi. 459-468 [doi]
- Welcome to the WISE trackAntonia Bertolino, Henry Muccini. 469 [doi]
- Practicum in software project management: an endeavor to effective and pragmatic software project management educationManzil e Maqsood, Talha Javed. 471-479 [doi]
- A survey of web engineering practice in small Jordanian web development firmsAsim El-Sheikh, Haroon Tarawneh. 481-489 [doi]
- Building a research university ecosystem: the case of software engineering education at Sofia UniversityRoumen Nikolov, Sylvia Ilieva. 491-500 [doi]
- Exploring motivational differences between software developers and project managersHelen Sharp, Tracy Hall, Nathan Baddoo, Sarah Beecham. 501-504 [doi]
- Product integration improvement based on analysis of build statisticsStig Larsson, Petri Myllyperkiö, Fredrik Ekdahl. 505-508 [doi]
- A case study in assessing and improving capacity using an anatomy of good practiceMikael Patel, Andreas Borg, Kristian Sandahl. 509-512 [doi]
- Efficient token based clone detection with flexible tokenizationHamid Abdul Basit, Simon J. Puglisi, William F. Smyth, Andrew Turpin, Stan Jarzabek. 513-516 [doi]
- A segment-based approach for reconcilable model transformationXin Zhou, Ying Liu, Jun Zhu. 517-520 [doi]
- A behavioural model for product familiesAlessandro Fantechi, Stefania Gnesi. 521-524 [doi]
- A specification-based approach to testing software product linesEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory. 525-528 [doi]
- A profile-driven statistical analysis framework for the design optimization of soft real-time applicationsTushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande. 529-532 [doi]
- A study of interleaving coverage criteriaShan Lu, Weihang Jiang, Yuanyuan Zhou. 533-536 [doi]
- An iterative, multi-level, and scalable approach to comparing execution tracesAndriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin. 537-540 [doi]
- State coverage: a structural test adequacy criterion for behavior checkingKen Koster, David Kao. 541-544 [doi]
- Quantifying the effectiveness of testing via efficient residual path profilingTrishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani. 545-548 [doi]
- Differential testing: a new approach to change detectionRobert B. Evans, Alberto Savoia. 549-552 [doi]
- Directed test generation using symbolic grammarsRupak Majumdar, Ru-Gang Xu. 553-556 [doi]
- Towards incremental adaptive covering arraysSandro Fouché, Myra B. Cohen, Adam A. Porter. 557-560 [doi]
- Predictive testing: amplifying the effectiveness of software testingPallavi Joshi, Koushik Sen, Mark Shlimovich. 561-564 [doi]
- Using groupings of static analysis alerts to identify files likely to contain field failuresMark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams. 565-568 [doi]
- On impact-oriented automatic resolution of pervasive context inconsistencyChang Xu, Shing-Chi Cheung, Wing Kwon Chan, Chunyang Ye. 569-572 [doi]
- Foreword to the doctoral symposiumCarlo Ghezzi. 573 [doi]
- Visualising exemplary program valuesMarcin Stefaniak. 575-578 [doi]
- An analysis of developers tasks using low-level, automatically collected dataIrina Diana Coman. 579-582 [doi]
- Composition and tradeoff of non-functional attributes in software systems: research directionsPasqualina Potena. 583-586 [doi]
- Model-driven test-case constructionStefan Baerisch. 587-590 [doi]
- SLEDE: lightweight verification of sensor network security protocol implementationsYoussef Hanna. 591-594 [doi]
- Analysis of a deployed softwareMadeline Diep. 595-598 [doi]
- Component airbag: a novel approach to develop dependable component-based applicationsRoberto Pietrantuono. 599-601 [doi]
- A model-driven approach to generating user interfacesSevan Kavaldjian. 603-606 [doi]
- SYANCO 2007: international workshop on synthesis and analysis of component connectorsFarhad Arbab, Christel Baier. 607-608 [doi]
- Specification and verification of component-based systems 2007Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou. 609-610 [doi]
- IWPSE 2007: 9th international workshop on principles of software evolutionMassimiliano Di Penta, Michele Lanza. 611-612 [doi]
- 2nd international workshop on service oriented software engineering: (IW-SOSWE 2007)Elisabetta Di Nitto, Andrea Polini, Andrea Zisman. 613-614 [doi]
- SOQUA 2007 4th international workshop on software quality assuranceGiovanni Denaro, Mauro Pezzè, Onn Shehory. 615-616 [doi]
- EFTS 2007: the 2:::nd::: international workshop on engineering fault tolerant systemsNicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky. 617-618 [doi]
- Engineering software services for pervasive environments: ESSPE 07 workshop summaryAlexander L. Wolf. 619-620 [doi]
- Domain specific approaches to software test automationAlan Hartman, Mika Katara, Amit M. Paradkar. 621-622 [doi]