18. SIGSOFT FSE 2010:
Santa Fe,
NM,
USA
Gruia-Catalin Roman, Kevin J. Sullivan (Eds.):
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
Concurrency
Miscellaneous
Empirical studies of systems
Empirical studies of people
Code similarities
Verification
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
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
Analysis
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
Last update Fri May 25 08:39:14 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page