Proceedings of the 18th International Symposium on Foundations of Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Gruia-Catalin Roman, Kevin J. Sullivan
Proceedings of the 18th International Symposium on Foundations of Software Engineering
FSE, 2010.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{FSE-2010,
	address       = "Santa Fe, New Mexico, USA",
	editor        = "Gruia-Catalin Roman and Kevin J. Sullivan",
	isbn          = "978-1-60558-791-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 18th International Symposium on Foundations of Software Engineering}",
	year          = 2010,
}

Contents (55 items)

FSE-2010-Sanbonmatsu #biology #comprehension #towards
Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.
FSE-2010-Eagle #big data #development #social
Big data, global development, and complex social systems (NE), pp. 3–4.
FSE-2010-Johnson10a #research
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk (REJ), pp. 5–6.
FSE-2010-ElkhodaryEM #adaptation #framework #named #self
FUSION: a framework for engineering self-tuning self-adaptive software systems (AME, NE, SM), pp. 7–16.
FSE-2010-KillianNPBAJ #debugging #implementation #performance
Finding latent performance bugs in systems implementations (CEK, KN, SP, RB, JWA, RJ), pp. 17–26.
FSE-2010-HalleB #analysis #interactive #message passing #using
Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
FSE-2010-SorrentinoFM #named #thread #weaving
PENELOPE: weaving threads to expose atomicity violations (FS, AF, PM), pp. 37–46.
FSE-2010-SinhaW #concurrent #program analysis #staged
Staged concurrent program analysis (NS, CW), pp. 47–56.
FSE-2010-JalbertS #concurrent #debugging #effectiveness #source code
A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.
FSE-2010-YilmazP #hardware
Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.
FSE-2010-DIppolitoBPU #behaviour #modelling #synthesis
Synthesis of live behaviour models (ND, VAB, NP, SU), pp. 77–86.
FSE-2010-WangZXMS #constant #string #web
Locating need-to-translate constant strings in web applications (XW, LZ, TX, HM, JS), pp. 87–96.
FSE-2010-BachmannBRDB #commit #debugging
The missing links: bugs and bug-fix commits (AB, CB, FR, PTD, AB), pp. 97–106.
FSE-2010-RamasubbuB #case study #evolution #product line
Evolution of a bluetooth test application product line: a case study (NR, RKB), pp. 107–116.
FSE-2010-Mockus #fault
Organizational volatility and its effects on software defects (AM), pp. 117–126.
FSE-2010-DagenaisR #comprehension #developer #documentation #evolution #open source
Creating and evolving developer documentation: understanding the decisions of open source contributors (BD, MPR), pp. 127–136.
FSE-2010-ZhouM10a #developer
Developer fluency: achieving true mastery in software projects (MZ, AM), pp. 137–146.
FSE-2010-GabelS #case study #source code
A study of the uniqueness of source code (MG, ZS), pp. 147–156.
FSE-2010-BajracharyaOL #effectiveness #repository #retrieval #similarity
Leveraging usage similarity for effective retrieval of examples in code repositories (SKB, JO, CVL), pp. 157–166.
FSE-2010-LeeRHK #clone detection
Instant code clone search (MWL, JWR, SwH, SK), pp. 167–176.
FSE-2010-BanerjeeRHL #debugging #implementation
Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.
FSE-2010-LiG #gpu #kernel #scalability #smt #verification
Scalable SMT-based verification of GPU kernel functions (GL, GG), pp. 187–196.
FSE-2010-WuLWXLLGGZZ #data flow
Language-based replay via data flow cut (MW, FL, XW, ZX, HL, XL, ZG, HG, LZ, ZZ), pp. 197–206.
FSE-2010-HuangLZ #concurrent #java #lightweight #multi #named #source code
LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
FSE-2010-SumnerZ #memory management
Memory indexing: canonicalizing addresses across executions (WNS, XZ), pp. 217–226.
FSE-2010-EpifaniGT #black box #detection
Change-point detection for black-box services (IE, CG, GT), pp. 227–236.
FSE-2010-CarzanigaGPP #automation #web
Automatic workarounds for web applications (AC, AG, NP, MP), pp. 237–246.
FSE-2010-SimmondsBC #web #web service
Guided recovery for web service applications (JS, SBD, MC), pp. 247–256.
FSE-2010-XuKKRC #testing #trade-off
Directed test suite augmentation: techniques and tradeoffs (ZX, YK, MK, GR, MBC), pp. 257–266.
FSE-2010-HemmatiBAA #approach #case study #industrial #modelling #testing
An enhanced test case selection approach for model-based testing: an industrial case study (HH, LCB, AA, SA), pp. 267–276.
FSE-2010-KanadeARR #dependence #representation #testing #using
Representation dependence testing using program inversion (AK, RA, SKR, GR), pp. 277–286.
FSE-2010-LitvakDBRS #analysis #dependence
Field-sensitive program dependence analysis (SL, ND, RB, NR, MS), pp. 287–296.
FSE-2010-CossetteW #adaptation #analysis #dependence #lightweight #named #sketching
DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.
FSE-2010-LeS #correlation #fault
Path-based fault correlations (WL, MLS), pp. 307–316.
FSE-2010-LiCK #analysis #detection #effectiveness
Practical and effective symbolic analysis for buffer overflow detection (LL, CC, NK), pp. 317–326.
FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness
An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
FSE-2010-Charrada #evolution #maintenance #requirements #testing
Updating requirements from tests during maintenance and evolution (EBC), pp. 337–340.
FSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #requirements #specification
From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
FSE-2010-Elkhodary #adaptation #approach #feature model #self
A learning-based approach for engineering feature-oriented self-adaptive software systems (AME), pp. 345–348.
FSE-2010-Shokry #behaviour #synthesis #towards #using
Towards behavior elaboration and synthesis using modes (HS), pp. 349–352.
FSE-2010-BadreddinL #case study #industrial #prototype #research
A study of applying a research prototype tool in industrial practice (OBB, TCL), pp. 353–356.
FSE-2010-Rubinov #automation #generative #integration #testing
Generating integration test cases automatically (KR), pp. 357–360.
FSE-2010-JinOX #behaviour #named #testing
BERT: a tool for behavioral regression testing (WJ, AO, TX), pp. 361–362.
FSE-2010-LauterburgKMA #named #source code #testing
Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.
FSE-2010-LiuSD #realtime
Analyzing hierarchical complex real-time systems (YL, JS, JSD), pp. 365–366.
FSE-2010-MyersS #dynamic analysis #ide #user interface #using
Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
FSE-2010-BirdBRB #named #performance
LINKSTER: enabling efficient manual inspection and annotation of mined data (CB, AB, FR, AB), pp. 369–370.
FSE-2010-KimGLR #logic #named #query #re-engineering #refactoring
Ref-Finder: a refactoring reconstruction tool based on logic query templates (MK, MG, AL, NR), pp. 371–372.
FSE-2010-KneussSK #named #php
Phantm: PHP analyzer for type mismatch (EK, PS, VK), pp. 373–374.
FSE-2010-ErnstA #type system #using
Building and using pluggable type systems (MDE, MA), pp. 375–376.
FSE-2010-DeAntoniMTRBMGRS #execution #named
RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
FSE-2010-FisherFMR #named
HI-C: diagnosing object churn in framework-based applications (MFI, LM, BGR), pp. 379–380.
FSE-2010-BegelKZ #named
WhoselsThat: finding software engineers with codebook (AB, YPK, TZ), pp. 381–382.
FSE-2010-WinbladhZR #interactive #modelling #named
iMuse: interactive model-based use-case and storytelling environment (KW, HZ, DJR), pp. 383–384.
FSE-2010-HuangLZ10a #concurrent #java #lightweight #multi #named #source code
LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.