default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th SIGSOFT FSE 2010: Santa Fe, NM, USA
- Gruia-Catalin Roman, André van der Hoek:
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM 2010, ISBN 978-1-60558-791-2 - Karissa Y. Sanbonmatsu:
Supercomputing in biology: towards understanding living systems in atomic detail. 1-2 - Nathan Eagle:
Big data, global development, and complex social systems. 3-4 - Ralph E. Johnson:
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk. 5-6
Distributed systems
- Ahmed M. Elkhodary, Naeem Esfahani, Sam Malek:
FUSION: a framework for engineering self-tuning self-adaptive software systems. 7-16 - Charles Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala:
Finding latent performance bugs in systems implementations. 17-26 - Sylvain Hallé
, Tevfik Bultan:
Realizability analysis for message-based interactions using shared-state projections. 27-36
Concurrency
- Francesco Sorrentino, Azadeh Farzan, P. Madhusudan:
PENELOPE: weaving threads to expose atomicity violations. 37-46 - Nishant Sinha, Chao Wang:
Staged concurrent program analysis. 47-56 - Nicholas Jalbert, Koushik Sen:
A trace simplification technique for effective debugging of concurrent programs. 57-66
Miscellaneous
- Cemal Yilmaz, Adam A. Porter:
Combining hardware and software instrumentation to classify program executions. 67-76 - Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models. 77-86 - Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating need-to-translate constant strings in web applications. 87-96
Empirical studies of systems
- Adrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar T. Devanbu, Abraham Bernstein:
The missing links: bugs and bug-fix commits. 97-106 - Narayan Ramasubbu, Rajesh Krishna Balan:
Evolution of a bluetooth test application product line: a case study. 107-116
Empirical studies of people
- Audris Mockus:
Organizational volatility and its effects on software defects. 117-126 - Barthélémy Dagenais, Martin P. Robillard:
Creating and evolving developer documentation: understanding the decisions of open source contributors. 127-136 - Minghui Zhou, Audris Mockus:
Developer fluency: achieving true mastery in software projects. 137-146
Code similarities
- Mark Gabel, Zhendong Su:
A study of the uniqueness of source code. 147-156 - Sushil Krishna Bajracharya, Joel Ossher, Cristina Videira Lopes:
Leveraging usage similarity for effective retrieval of examples in code repositories. 157-166 - Mu-Woong Lee, Jong-Won Roh, Seung-won Hwang, Sunghun Kim:
Instant code clone search. 167-176
Verification
- Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang:
Golden implementation driven software debugging. 177-186 - Guodong Li, Ganesh Gopalakrishnan:
Scalable SMT-based verification of GPU kernel functions. 187-196
Replay
- Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang:
Language-based replay via data flow cut. 197-206 - Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 207-216 - William N. Sumner, Xiangyu Zhang:
Memory indexing: canonicalizing addresses across executions. 217-226
Web services
- Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli:
Change-point detection for black-box services. 227-236 - Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic workarounds for web applications. 237-246 - Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Guided recovery for web service applications. 247-256
Testing
- Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen:
Directed test suite augmentation: techniques and tradeoffs. 257-266 - Hadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali:
An enhanced test case selection approach for model-based testing: an industrial case study. 267-276 - Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam:
Representation dependence testing using program inversion. 277-286
Dependencies
- Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv:
Field-sensitive program dependence analysis. 287-296 - Bradley Cossette, Robert J. Walker:
DSketch: lightweight, adaptable dependency analysis. 297-306 - Wei Le, Mary Lou Soffa:
Path-based fault correlations. 307-316
Analysis
- Lian Li, Cristina Cifuentes, Nathan Keynes:
Practical and effective symbolic analysis for buffer overflow detection. 317-326 - Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay:
An effective dynamic analysis for detecting generalized deadlocks. 327-336
Doctoral symposium
- Eya Ben Charrada:
Updating requirements from tests during maintenance and evolution. 337-340 - Ivo Krka:
From requirements to partial behavior models: an iterative approach to incremental specification refinement. 341-344 - Ahmed M. Elkhodary:
A learning-based approach for engineering feature-oriented self-adaptive software systems. 345-348 - Hesham Shokry:
Towards behavior elaboration and synthesis using modes. 349-352 - Omar Bahy Badreddin, Timothy C. Lethbridge:
A study of applying a research prototype tool in industrial practice. 353-356 - Konstantin Rubinov:
Generating integration test cases automatically. 357-360
Formal demonstrations
- Wei Jin, Alessandro Orso, Tao Xie:
BERT: a tool for behavioral regression testing. 361-362 - Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. 363-364 - Yang Liu, Jun Sun, Jin Song Dong:
Analyzing hierarchical complex real-time systems. 365-366 - Del Myers, Margaret-Anne D. Storey:
Using dynamic analysis to create trace-focused user interfaces for IDEs. 367-368 - Christian Bird, Adrian Bachmann, Foyzur Rahman, Abraham Bernstein:
LINKSTER: enabling efficient manual inspection and annotation of mined data. 369-370 - Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit:
Ref-Finder: a refactoring reconstruction tool based on logic query templates. 371-372
Informal demonstrations
- Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Phantm: PHP analyzer for type mismatch. 373-374 - Michael D. Ernst, Mahmood Ali:
Building and using pluggable type systems. 375-376 - Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon:
RT-simex: retro-analysis of execution traces. 377-378 - Marc Fisher II, Luke Marrs, Barbara G. Ryder:
HI-C: diagnosing object churn in framework-based applications. 379-380 - Andrew Begel, Yit Phang Khoo, Thomas Zimmermann:
WhoselsThat: finding software engineers with codebook. 381-382 - Kristina Winbladh, Hadar Ziv, Debra J. Richardson:
iMuse: interactive model-based use-case and storytelling environment. 383-384 - Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 385-386
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
