Table of Contents

• Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented realityRoberto Siagri. 1-4 [doi]
• Mining specifications of malicious behaviorMihai Christodorescu, Somesh Jha, Christopher Kruegel. 5-14 [doi]
• Recommending random walksZachary M. Saul, Vladimir Filkov, Premkumar T. Devanbu, Christian Bird. 15-24 [doi]
• Mining API patterns as partial orders from source code: from usage scenarios to specificationsMithun Acharya, Tao Xie, Jian Pei, Jun Xu. 25-34 [doi]
• Detecting object usage anomaliesAndrzej Wasylkowski, Andreas Zeller, Christian Lindig. 35-44 [doi]
• Which warnings should I fix first?Sunghun Kim, Michael D. Ernst. 45-54 [doi]
• Context-based detection of clone-related bugsLingxiao Jiang, Zhendong Su, Edwin Chiu. 55-64 [doi]
• Programming asynchronous layers with CLARITYPrakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani. 65-74 [doi]
• Object and reference immutability using java genericsYoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst. 75-84 [doi]
• Efficient checkpointing of java software using context-sensitive capture and replayGuoqing Xu, Atanas Rountev, Yan Tang, Feng Qin. 85-94 [doi]
• Recovering and using use-case-diagram-to-source-code traceability linksMark Grechanik, Kathryn S. McKinley, Dewayne E. Perry. 95-104 [doi]
• Bi-objective release planning for evolving software systemsMoshood Omolade Saliu, Günther Ruhe. 105-114 [doi]
• An end-to-end industrial software traceability toolHazeline U. Asuncion, Frédéric François, Richard N. Taylor. 115-124 [doi]
• Globally distributed software development project performance: an empirical analysisNarayan Ramasubbu, Rajesh Krishna Balan. 125-134 [doi]
• Parallel test generation and execution with KoratSasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov. 135-144 [doi]
• Improving test case generation for web applications using automated interface discoveryWilliam G. J. Halfond, Alessandro Orso. 145-154 [doi]
• The impact of input domain reduction on search-based test data generationMark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener. 155-164 [doi]
• Determining detailed structural correspondence for generalization tasksRylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger. 165-174 [doi]
• Beyond refactoring: a framework for modular maintenance of crosscutting design idiomsMacneil Shonle, William G. Griswold, Sorin Lerner. 175-184 [doi]
• Automated testing of refactoring enginesBrett Daniel, Danny Dig, Kely Garcia, Darko Marinov. 185-194 [doi]
• Finding bugs efficiently with a SAT solverJulian Dolby, Mandana Vaziri, Frank Tip. 195-204 [doi]
• RELAY: static race detection on millions of lines of codeJan Wen Voung, Ranjit Jhala, Sorin Lerner. 205-214 [doi]
• Detecting large number of infeasible paths through recognizing their patternsMinh Ngoc Ngo, Hee Beng Kuan Tan. 215-224 [doi]
• Model checking service compositions under resource constraintsHoward Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel. 225-234 [doi]
• Detection and resolution of atomicity violation in service compositionChunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu. 235-244 [doi]
• Automatic consistency assessment for query results in dynamic environmentsJamie Payton, Christine Julien, Gruia-Catalin Roman. 245-254 [doi]
• From representations to computations: the evolution of web architecturesJustin R. Erenkrantz, Michael M. Gorlick, Girish Suryanarayana, Richard N. Taylor. 255-264 [doi]
• Reconciling software configuration management and product data managementJacky Estublier, Germán Vega. 265-274 [doi]
• Symbolic message sequence chartsAbhik Roychoudhury, Ankit Goel, Bikram Sengupta. 275-284 [doi]
• Model transformation in the largeFelix Klar, Alexander Königs, Andy Schürr. 285-294 [doi]
• Difference computation of large modelsChristoph Treude, Stefan Berlik, Sven Wenzel, Udo Kelter. 295-304 [doi]
• Software engineering research: from cradle to graveElaine J. Weyuker. 305-311 [doi]
• The symmetry of the past and of the future: bi-infinite time in the verification of temporal propertiesMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro. 312-320 [doi]
• State space exploration using feedback constraint generation and Monte-Carlo samplingSriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic. 321-330 [doi]
• Automated size analysis for OCLFang Yu, Tevfik Bultan, Erik Peterson. 331-340 [doi]
• Does a programmer s activity indicate knowledge of code?Thomas Fritz, Gail C. Murphy, Emily Hill. 341-350 [doi]
• A socio-technical framework for supporting programmersYunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji. 351-360 [doi]
• Program comprehension as fact findingThomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers. 361-370 [doi]
• The work of Dean Rosenzweig: a tribute to a scientist and an innovatorAndre Scedrov. 371-374 [doi]
• A framework for characterization and analysis of software system scalabilityLeticia Duboc, David S. Rosenblum, Tony Wicks. 375-384 [doi]
• An empirical study on the evolution of design patternsLerina Aversano, Gerardo Canfora, Luigi Cerulo, Concettina Del Grosso, Massimiliano Di Penta. 385-394 [doi]
• Measuring empirical computational complexitySimon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson. 395-404 [doi]
• Training on errors experiment to detect fault-prone software modules by spam filterOsamu Mizuno, Tohru Kikuno. 405-414 [doi]
• CTG: a connectivity trace generator for testing the performance of opportunistic mobile systemsRoberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo. 415-424 [doi]
• Contract driven development = test driven development - writing test casesAndreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva. 425-434 [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 developmentWalt Scacchi. 459-468 [doi]
• Practicum in software project management: an endeavor to effective and pragmatic software project management educationManzil e Maqsood, Talha Javed. 471-480 [doi]
• A survey of web engineering practice in small Jordanian web development firmsAsim El-Sheikh, Haroon Tarawneh. 481-490 [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, 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 checkingKenneth Koster, David C. 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, S. C. Cheung, W. K. Chan, Chunyang Ye. 569-572 [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-602 [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, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina. 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 2nd international workshop on engineering fault tolerant systemsNicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky. 617-618 [doi]
• Engineering software services for pervasive environmentsAlexander L. Wolf. 619-620 [doi]
• Domain specific approaches to software test automationAlan Hartman, Mika Katara, Amit M. Paradkar. 621-622 [doi]