Abstract is missing.
- Supercomputing in biology: towards understanding living systems in atomic detailKarissa Y. Sanbonmatsu. 1-2 [doi]
- Big data, global development, and complex social systemsNathan Eagle. 3-4 [doi]
- Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talkRalph E. Johnson. 5-6 [doi]
- FUSION: a framework for engineering self-tuning self-adaptive software systemsAhmed M. Elkhodary, Naeem Esfahani, Sam Malek. 7-16 [doi]
- Finding latent performance bugs in systems implementationsCharles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala. 17-26 [doi]
- Realizability analysis for message-based interactions using shared-state projectionsSylvain Hallé, Tevfik Bultan. 27-36 [doi]
- PENELOPE: weaving threads to expose atomicity violationsFrancesco Sorrentino 0002, Azadeh Farzan, P. Madhusudan. 37-46 [doi]
- Staged concurrent program analysisNishant Sinha, Chao Wang. 47-56 [doi]
- A trace simplification technique for effective debugging of concurrent programsNicholas Jalbert, Koushik Sen. 57-66 [doi]
- Combining hardware and software instrumentation to classify program executionsCemal Yilmaz, Adam A. Porter. 67-76 [doi]
- Synthesis of live behaviour modelsNicolás D Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel. 77-86 [doi]
- Locating need-to-translate constant strings in web applicationsXiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun. 87-96 [doi]
- The missing links: bugs and bug-fix commitsAdrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar T. Devanbu, Abraham Bernstein. 97-106 [doi]
- Evolution of a bluetooth test application product line: a case studyNarayan Ramasubbu, Rajesh Krishna Balan. 107-116 [doi]
- Organizational volatility and its effects on software defectsAudris Mockus. 117-126 [doi]
- Creating and evolving developer documentation: understanding the decisions of open source contributorsBarthélémy Dagenais, Martin P. Robillard. 127-136 [doi]
- Developer fluency: achieving true mastery in software projectsMinghui Zhou, Audris Mockus. 137-146 [doi]
- A study of the uniqueness of source codeMark Gabel, Zhendong Su. 147-156 [doi]
- Leveraging usage similarity for effective retrieval of examples in code repositoriesSushil Krishna Bajracharya, Joel Ossher, Cristina Videira Lopes. 157-166 [doi]
- Instant code clone searchMu-Woong Lee, Jong-Won Roh, Seung-won Hwang, Sunghun Kim. 167-176 [doi]
- Golden implementation driven software debuggingAnsuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang. 177-186 [doi]
- Scalable SMT-based verification of GPU kernel functionsGuodong Li, Ganesh Gopalakrishnan. 187-196 [doi]
- Language-based replay via data flow cutMing Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang. 197-206 [doi]
- LEAP: lightweight deterministic multi-processor replay of concurrent java programsJeff Huang, Peng Liu, Charles Zhang. 207-216 [doi]
- Memory indexing: canonicalizing addresses across executionsWilliam N. Sumner, Xiangyu Zhang. 217-226 [doi]
- Change-point detection for black-box servicesIlenia Epifani, Carlo Ghezzi, Giordano Tamburrelli. 227-236 [doi]
- Automatic workarounds for web applicationsAntonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè. 237-246 [doi]
- Guided recovery for web service applicationsJocelyn Simmonds, Shoham Ben-David, Marsha Chechik. 247-256 [doi]
- Directed test suite augmentation: techniques and tradeoffsZhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen. 257-266 [doi]
- An enhanced test case selection approach for model-based testing: an industrial case studyHadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali. 267-276 [doi]
- Representation dependence testing using program inversionAditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam. 277-286 [doi]
- Field-sensitive program dependence analysisShay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv. 287-296 [doi]
- DSketch: lightweight, adaptable dependency analysisBradley Cossette, Robert J. Walker. 297-306 [doi]
- Path-based fault correlationsWei Le, Mary Lou Soffa. 307-316 [doi]
- Practical and effective symbolic analysis for buffer overflow detectionLian Li, Cristina Cifuentes, Nathan Keynes. 317-326 [doi]
- An effective dynamic analysis for detecting generalized deadlocksPallavi Joshi, Mayur Naik, Koushik Sen, David Gay. 327-336 [doi]
- Updating requirements from tests during maintenance and evolutionEya Ben Charrada. 337-340 [doi]
- From requirements to partial behavior models: an iterative approach to incremental specification refinementIvo Krka. 341-344 [doi]
- A learning-based approach for engineering feature-oriented self-adaptive software systemsAhmed M. Elkhodary. 345-348 [doi]
- Towards behavior elaboration and synthesis using modesHesham Shokry. 349-352 [doi]
- A study of applying a research prototype tool in industrial practiceOmar Bahy Badreddin, Timothy C. Lethbridge. 353-356 [doi]
- Generating integration test cases automaticallyKonstantin Rubinov. 357-360 [doi]
- BERT: a tool for behavioral regression testingWei Jin, Alessandro Orso, Tao Xie. 361-362 [doi]
- Basset: a tool for systematic testing of actor programsSteven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha. 363-364 [doi]
- Analyzing hierarchical complex real-time systemsYang Liu 0003, Jun Sun 0001, Jin Song Dong. 365-366 [doi]
- Using dynamic analysis to create trace-focused user interfaces for IDEsDel Myers, Margaret-Anne D. Storey. 367-368 [doi]
- LINKSTER: enabling efficient manual inspection and annotation of mined dataChristian Bird, Adrian Bachmann, Foyzur Rahman, Abraham Bernstein. 369-370 [doi]
- Ref-Finder: a refactoring reconstruction tool based on logic query templatesMiryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit. 371-372 [doi]
- Phantm: PHP analyzer for type mismatchEtienne Kneuss, Philippe Suter, Viktor Kuncak. 373-374 [doi]
- Building and using pluggable type systemsMichael D. Ernst, Mahmood Ali. 375-376 [doi]
- RT-simex: retro-analysis of execution tracesJulien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon. 377-378 [doi]
- HI-C: diagnosing object churn in framework-based applicationsMarc Fisher II, Luke Marrs, Barbara G. Ryder. 379-380 [doi]
- WhoselsThat: finding software engineers with codebookAndrew Begel, Yit Phang Khoo, Thomas Zimmermann. 381-382 [doi]
- iMuse: interactive model-based use-case and storytelling environmentKristina Winbladh, Hadar Ziv, Debra J. Richardson. 383-384 [doi]
- LEAP: lightweight deterministic multi-processor replay of concurrent java programsJeff Huang, Peng Liu, Charles Zhang. 385-386 [doi]