Table of Contents

• The challenge of pervasive software to the conventional wisdom of software engineeringMary Shaw. 1-2 [doi]
• Asserting and checking determinism for multithreaded programsJacob Burnim, Koushik Sen. 3-12 [doi]
• Static data race detection for concurrent programs with asynchronous callsVineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang. 13-22 [doi]
• Symbolic pruning of concurrent program executionsChao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang. 23-32 [doi]
• Darwin: an approach for debugging evolving programsDawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani. 33-42 [doi]
• Capturing propagation of infected program statesZhenyu Zhang, Wing Kwong Chan, T. H. Tse, Bo Jiang, Xinming Wang. 43-52 [doi]
• Saturation-based testing of concurrent programsElena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum. 53-62 [doi]
• The massification and webification of systems modeling and simulation with virtual worldsCristina Videira Lopes. 63-70 [doi]
• Backward-compatible constant-time exception-protected memoryPradeep Varma, R. K. Shyamasundar, Harshit J. Shah. 71-80 [doi]
• Automated security testing of web widget interactionsCor-Paul Bezemer, Ali Mesbah, Arie van Deursen. 81-90 [doi]
• Cross-project defect prediction: a large scale experiment on data vs. domain vs. processThomas Zimmermann, Nachiappan Nagappan, Harald Gall, Emanuel Giger, Brendan Murphy. 91-100 [doi]
• On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software qualityMarcelo Cataldo, Sangeeth Nambiar. 101-110 [doi]
• Improving bug triage with bug tossing graphsGaeul Jeong, Sunghun Kim, Thomas Zimmermann. 111-120 [doi]
• Fair and balanced?: bias in bug-fix datasetsChristian Bird, Adrian Bachmann, Eirik Aune, John Duffy, Abraham Bernstein, Vladimir Filkov, Premkumar T. Devanbu. 121-130 [doi]
• Qos-driven runtime adaptation of service oriented architecturesValeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola. 131-140 [doi]
• Automatic synthesis of behavior protocols for composable web-servicesAntonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli. 141-150 [doi]
• Data flow testing of service choreographyLijun Mei, W. K. Chan, T. H. Tse. 151-160 [doi]
• Whitening SOA testingCesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti. 161-170 [doi]
• IQ routes and HD traffic: technology insights about tomtom s time-dynamic navigation conceptRalf-Peter Schäfer. 171-172 [doi]
• Refactoring for reentrancyJan Wloka, Manu Sridharan, Frank Tip. 173-182 [doi]
• Monitoring probabilistic propertiesLars Grunske, Pengcheng Zhang. 183-192 [doi]
• MSeqGen: object-oriented unit-test generation via mining source codeSuresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 193-202 [doi]
• Api hyperlinking via structural overlapFan Long, Xi Wang, Yang Cai. 203-212 [doi]
• Learning from examples to improve code completion systemsMarcel Bruch, Martin Monperrus, Mira Mezini. 213-222 [doi]
• Improving slice accuracy by compression of data and control flow pathsAharon Abadi, Ran Ettinger, Yishai A. Feldman. 223-232 [doi]
• Insights from expert software design practiceMarian Petre. 233-242 [doi]
• Fitting the pieces together: a machine-checked model of safe compositionBenjamin Delaware, William R. Cook, Don S. Batory. 243-252 [doi]
• Ensuring interoperable service-oriented systems through engineered self-healingGiovanni Denaro, Mauro Pezzè, Davide Tosi. 253-262 [doi]
• Debugging debugging: acm sigsoft impact paper award keynoteAndreas Zeller. 263-264 [doi]
• Facilitating software refactoring with appropriate resolution order of bad smellsHui Liu, Limei Yang, Zhendong Niu, Zhiyi Ma, Weizhong Shao. 265-268 [doi]
• Software change dynamics: evidence from 35 java projectsMarkus M. Geipel, Frank Schweitzer. 269-272 [doi]
• Practical framework constraintsFrançois Bronsard. 273-276 [doi]
• Evaluating recovery aware components for grid reliabilityIman I. Yusuf, Heinz W. Schmidt, Ian D. Peake. 277-280 [doi]
• Towards accurate probabilistic models using state refinementPaulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça. 281-284 [doi]
• Verification and performance evaluation of aadl modelsMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. 285-286 [doi]
• Reo2MC: a tool chain for performance analysis of coordination modelsFarhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu. 287-288 [doi]
• Smart views for analyzing problem reports: tool demoPatrick Knab, Harald Gall, Martin Pinzger. 289-290 [doi]
• SCA: a semantic conflict analyzer for parallel changesDanhua Shao, Sarfraz Khurshid, Dewayne E. Perry. 291-292 [doi]
• Test case comparison and clustering using program profiles and static executionVipindeep Vangala, Jacek Czerwonka, Phani Talluri. 293-294 [doi]
• ReCrashJ: a tool for capturing and reproducing program crashes in deployed applicationsShay Artzi, Sunghun Kim, Michael D. Ernst. 295-296 [doi]
• Javalanche: efficient mutation testing for JavaDavid Schuler, Andreas Zeller. 297-298 [doi]
• ConcernMorph: metrics-based detection of crosscutting patternsEduardo Figueiredo, Jon Whittle, Alessandro F. Garcia. 299-300 [doi]
• Srijan: a graphical toolkit for sensor network macroprogrammingAnimesh Pathak, Mahanth K. Gowda. 301-302 [doi]
• Software architecture: many faces, many places, yet a central disciplineRichard N. Taylor. 303-304 [doi]
• Synthesizing partial component-level behavior models from system specificationsIvo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic. 305-314 [doi]
• Supporting automatic model inconsistency fixingYingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. 315-324 [doi]
• Behavioral automata composition for automatic topology independent verification of parameterized systemsYoussef Hanna, Samik Basu, Hridesh Rajan. 325-334 [doi]
• Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour modelsEsteban Pavese, Víctor A. Braberman, Sebastián Uchitel. 335-344 [doi]
• Automatic steering of behavioral model inferenceDavid Lo, Leonardo Mariani, Mauro Pezzè. 345-354 [doi]
• Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analysesJason Belt, Robby, Xianghua Deng. 355-364 [doi]
• Engineering search computing applications: vision and challengesMarco Brambilla, Stefano Ceri. 365-372 [doi]
• DebugAdvisor: a recommender system for debuggingB. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala. 373-382 [doi]
• Graph-based mining of multiple object usage patternsTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. 383-392 [doi]