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

@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)

14 ×#named
7 ×#testing
5 ×#source code
5 ×#using
4 ×#analysis
4 ×#behaviour
4 ×#case study
4 ×#concurrent
4 ×#debugging
4 ×#effectiveness

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.