Abstract is missing.
- Building advanced mechatronic systemsWilhelm Schäfer. 1 [doi]
- Software architecture: reflections on an evolving disciplineDavid Garlan, Mary Shaw. 2 [doi]
- ELI-ALPS: the ultrafast challenges in HungaryGábor Szabó. 3 [doi]
- Don't touch my code!: examining the effects of ownership on software qualityChristian Bird, Nachiappan Nagappan, Brendan Murphy, Harald Gall, Premkumar T. Devanbu. 4-14 [doi]
- ReLink: recovering links between bugs and changesRongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung. 15-25 [doi]
- How do fixes become bugs?Zuoning Yin, Ding Yuan, Yuanyuan Zhou, Shankar Pasupathy, Lakshmi N. Bairavasundaram. 26-36 [doi]
- CSSL: a logic for specifying conditional scenariosShoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel. 37-47 [doi]
- Using an SMT solver for interactive requirements prioritizationFrancis Palma, Angelo Susi, Paolo Tonella. 48-58 [doi]
- Modeling the HTML DOM and browser API in static analysis of JavaScript web applicationsSimon Holm Jensen, Magnus Madsen, Anders Møller. 59-69 [doi]
- The onion patch: migration in open source ecosystemsCorey Jergensen, Anita Sarma, Patrick Wagstrom. 70-80 [doi]
- Does adding manpower also affect quality?: an empirical, longitudinal analysisAndrew Meneely, Pete Rotella, Laurie Williams. 81-90 [doi]
- Effective communication of software development knowledge through community portalsChristoph Treude, Margaret-Anne D. Storey. 91-101 [doi]
- Proving programs robustSwarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour. 102-112 [doi]
- Checking conformance of a producer and a consumerEvan Driscoll, Amanda Burton, Thomas W. Reps. 113-123 [doi]
- Managing performance vs. accuracy trade-offs with loop perforationStelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, Martin C. Rinard. 124-134 [doi]
- Partial replay of long-running applicationsAlvin Cheung, Armando Solar-Lezama, Samuel Madden. 135-145 [doi]
- Mitigating the confounding effects of program dependences for effective fault localizationGeorge K. Baah, Andy Podgurski, Mary Jean Harrold. 146-156 [doi]
- Fault localization for data-centric programsDiptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra. 157-167 [doi]
- Proactive detection of collaboration conflictsYuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin. 168-178 [doi]
- ADDiff: semantic differencing for activity diagramsShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 179-189 [doi]
- Semistructured merge: rethinking merge in revision control systemsSven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner. 190-200 [doi]
- Testing software in age of data privacy: a balancing actKunal Taneja, Mark Grechanik, Rayid Ghani, Tao Xie. 201-211 [doi]
- Strong higher order mutation-based test data generationMark Harman, Yue Jia, William B. Langdon. 212-222 [doi]
- Improved multithreaded unit testingVilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov. 223-233 [doi]
- Taming uncertainty in self-adaptive softwareNaeem Esfahani, Ehsan Kouroshfar, Sam Malek. 234-244 [doi]
- Version-consistent dynamic reconfiguration of component-based distributed systemsXiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu. 245-255 [doi]
- On software component co-installabilityRoberto Di Cosmo, Jérôme Vouillon. 256-266 [doi]
- Leveraging existing instrumentation to automatically infer invariant-constrained modelsIvan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, Michael D. Ernst. 267-277 [doi]
- Path exploration based on symbolic outputDawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury. 278-288 [doi]
- Synthesizing data structure manipulations from storyboardsRishabh Singh, Armando Solar-Lezama. 289-299 [doi]
- High-impact defects: a study of breakage and surprise defectsEmad Shihab, Audris Mockus, Yasutaka Kamei, Bram Adams, Ahmed E. Hassan. 300-310 [doi]
- Micro interaction metrics for defect predictionTaek Lee, Jaechang Nam, DongGyun Han, Sunghun Kim, Hoh Peter In. 311-321 [doi]
- BugCache for inspections: hit or miss?Foyzur Rahman, Daryl Posnett, Abram Hindle, Earl T. Barr, Premkumar T. Devanbu. 322-331 [doi]
- Inferring data polymorphism in systems codeBrian Hackett, Alex Aiken. 332-342 [doi]
- Boosting the performance of flow-sensitive points-to analysis using value flowLian Li, Cristina Cifuentes, Nathan Keynes. 343-353 [doi]
- On the congruence of modularity and code couplingFabian Beck, Stephan Diehl. 354-364 [doi]
- Fuzzy set and cache-based approach for bug triagingAhmed Tamrawi, Tung Thanh Nguyen, Jafar M. Al-Kofahi, Tien N. Nguyen. 365-375 [doi]
- Mining development repositories to study the impact of collaboration on software systemsNicolas Bettenburg. 376-379 [doi]
- Reputation-based self-management of software process artifact quality in consortium research projectsChristian Prause. 380-383 [doi]
- An architecture-centric approach for goal-driven requirements elicitationZoya Durdik. 384-387 [doi]
- Experimental specification mining for enterprise applicationsMatthias Schur. 388-391 [doi]
- Search based hierarchy generation for reverse engineered state machinesMathew Hall. 392-395 [doi]
- Automatic test suite evolutionMehdi MirzaAghaei. 396-399 [doi]
- Automatic structural testing with abstraction refinement and coarseningMauro Baluda. 400-403 [doi]
- Understanding failures through factsJeremias Rößler. 404-407 [doi]
- QoS verification and model tuning @ runtimeAntonio Filieri. 408-411 [doi]
- A software lifecycle process for context-aware adaptive systemsMarco Mori. 412-415 [doi]
- EvoSuite: automatic test suite generation for object-oriented softwareGordon Fraser, Andrea Arcuri. 416-419 [doi]
- SCORE: a scalable concolic testing tool for reliable embedded softwareYunho Kim, Moonzoo Kim. 420-423 [doi]
- SMutant: a tool for type-sensitive mutation testing in a dynamic languageMilos Gligoric, Sandro Badame, Ralph Johnson. 424-427 [doi]
- jStar-eclipse: an IDE for automated verification of Java programsDaiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson. 428-431 [doi]
- Static deep error checking in large system applications using parfaitCristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann. 432-435 [doi]
- Querypoint: moving backwards on wrong values in the buggy executionSalman Mirghasemi, John J. Barton, Claude Petitpierre. 436-439 [doi]
- Sydit: creating and applying a program transformation from an exampleNa Meng, Miryung Kim, Kathryn S. McKinley. 440-443 [doi]
- Crystal: precise and unobtrusive conflict warningsYuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin. 444-447 [doi]
- Synoptic: studying logged behavior with inferred modelsIvan Beschastnikh, Jenny Abrahamson, Yuriy Brun, Michael D. Ernst. 448-451 [doi]
- Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed. 452-455 [doi]
- Tool support for UML-based specification and verification of role-based access control propertiesLionel Montrieux, Michel Wermelinger, Yijun Yu. 456-459 [doi]
- SafeSlice: a model slicing and design safety inspection tool for SysMLDavide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina. 460-463 [doi]
- Design and validation of feature-based process model tailoring: a sample implementation of PDEDaniela Costache, Georg Kalus, Marco Kuhrmann. 464-467 [doi]
- PSPWizard: machine-assisted definition of temporal logical properties with specification patternsMarkus Lumpe, Indika Meedeniya, Lars Grunske. 468-471 [doi]
- Using social media to study the diversity of example usage among professional developersOhad Barzilay, Orit Hazzan, Amiram Yehudai. 472-475 [doi]
- Social sensing: when users become monitorsRaian Ali, Carlos Solís, Mazeiar Salehie, Inah Omoronyia, Bashar Nuseibeh, Walid Maalej. 476-479 [doi]
- Cross-library API recommendation using web search enginesWujie Zheng, Qirun Zhang, Michael R. Lyu. 480-483 [doi]
- Exploiting software architecture to support requirements satisfaction testingPaul C. Clements, María José Escalona Cuaresma, Paola Inverardi, Ivano Malavolta, Eda Marchetti. 484-487 [doi]
- EAGLE: engineering software in the ubiquitous globe by leveraging uncErtaintyMarco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli. 488-491 [doi]
- Stateful breakpoints: a practical approach to defining parameterized runtime monitorsEric Bodden. 492-495 [doi]
- Finding bugs by isolating unit testsKivanç Muslu, Bilge Soran, Jochen Wuttke. 496-499 [doi]
- Inferring test results for dynamic software product linesBruno Barbieri Pontes Cafeo, Joost Noppen, Fabiano Cutigi Ferrari, Ruzanna Chitchyan, Awais Rashid. 500-503 [doi]
- New ideas track: testing mapreduce-style programsChristoph Csallner, Leonidas Fegaras, Chengkai Li. 504-507 [doi]
- Join point interfaces for modular reasoning in aspect-oriented programsMilton Inostroza, Éric Tanter, Eric Bodden. 508-511 [doi]
- Probabilistic dataflow analysis using path profiles on structure graphsArun Ramamurthi, Subhajit Roy, Y. N. Srikant. 512-515 [doi]
- Workshop on assurances for self-adaptive systems (ASAS 2011)Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. 516-517 [doi]
- IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolutionRomain Robbes, Anthony Cleve. 518-519 [doi]
- PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineeringJeff Foster, Lori L. Pollock. 520-521 [doi]
- The 4th international workshop on social software engineering (SSE'11)Walid Maalej, Raian Ali. 522-523 [doi]
- 8th international workshop on software quality (WoSQ)Stefan Wagner, Sunita Chulani, Bernard Wong. 524-525 [doi]