Proceedings of the 19th Symposium on the Foundations of Software Engineering and the 13rd European Software Engineering Conference
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

Tibor Gyimóthy, Andreas Zeller
Proceedings of the 19th Symposium on the Foundations of Software Engineering and the 13rd European Software Engineering Conference
ESEC/FSE, 2011.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{ESEC-FSE-2011,
	address       = "Szeged, Hungary",
	editor        = "Tibor Gyimóthy and Andreas Zeller",
	isbn          = "978-1-4503-0443-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th Symposium on the Foundations of Software Engineering and the 13rd European Software Engineering Conference}",
	year          = 2011,
}

Contents (72 items)

ESEC-FSE-2011-Schafer
Building advanced mechatronic systems (WS), p. 1.
ESEC-FSE-2011-GarlanS #architecture #evolution
Software architecture: reflections on an evolving discipline (DG, MS), p. 2.
ESEC-FSE-2011-Szabo #challenge #named
ELI-ALPS: the ultrafast challenges in Hungary (GS), p. 3.
ESEC-FSE-2011-BirdNMGD #exclamation #quality
Don’t touch my code!: examining the effects of ownership on software quality (CB, NN, BM, HG, PTD), pp. 4–14.
ESEC-FSE-2011-WuZKC #debugging #named
ReLink: recovering links between bugs and changes (RW, HZ, SK, SCC), pp. 15–25.
ESEC-FSE-2011-YinYZPB #debugging #how #question
How do fixes become bugs? (ZY, DY, YZ, SP, LNB), pp. 26–36.
ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification
CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.
ESEC-FSE-2011-PalmaST #interactive #requirements #smt #using
Using an SMT solver for interactive requirements prioritization (FP, AS, PT), pp. 48–58.
ESEC-FSE-2011-JensenMM #api #html #javascript #modelling #static analysis #web
Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.
ESEC-FSE-2011-JergensenSW #ecosystem #migration #open source
The onion patch: migration in open source ecosystems (CJ, AS, PW), pp. 70–80.
ESEC-FSE-2011-MeneelyRW #analysis #empirical #quality
Does adding manpower also affect quality?: an empirical, longitudinal analysis (AM, PR, LW), pp. 81–90.
ESEC-FSE-2011-TreudeS #communication #community #development #effectiveness
Effective communication of software development knowledge through community portals (CT, MADS), pp. 91–101.
ESEC-FSE-2011-ChaudhuriGLN #proving #robust #source code
Proving programs robust (SC, SG, RL, SN), pp. 102–112.
ESEC-FSE-2011-DriscollBR #consistency
Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.
ESEC-FSE-2011-Sidiroglou-DouskosMHR #performance #trade-off
Managing performance vs. accuracy trade-offs with loop perforation (SSD, SM, HH, MCR), pp. 124–134.
ESEC-FSE-2011-CheungSM
Partial replay of long-running applications (AC, ASL, SM), pp. 135–145.
ESEC-FSE-2011-BaahPH #dependence #effectiveness #fault #locality
Mitigating the confounding effects of program dependences for effective fault localization (GKB, AP, MJH), pp. 146–156.
ESEC-FSE-2011-SahaNDNSC #fault #locality #source code
Fault localization for data-centric programs (DS, MGN, PD, VKN, VS, SC), pp. 157–167.
ESEC-FSE-2011-BrunHEN #collaboration #detection
Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.
ESEC-FSE-2011-MaozRR #diagrams #difference #named #process #semantics
ADDiff: semantic differencing for activity diagrams (SM, JOR, BR), pp. 179–189.
ESEC-FSE-2011-ApelLBLK
Semistructured merge: rethinking merge in revision control systems (SA, JL, BB, CL, CK), pp. 190–200.
ESEC-FSE-2011-TanejaGGX #privacy #testing
Testing software in age of data privacy: a balancing act (KT, MG, RG, TX), pp. 201–211.
ESEC-FSE-2011-HarmanJL #generative #higher-order #testing
Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.
ESEC-FSE-2011-JagannathGJLRM #parallel #testing #thread
Improved multithreaded unit testing (VJ, MG, DJ, QL, GR, DM), pp. 223–233.
ESEC-FSE-2011-EsfahaniKM #adaptation #nondeterminism #self
Taming uncertainty in self-adaptive software (NE, EK, SM), pp. 234–244.
ESEC-FSE-2011-MaBGML #component #configuration management #distributed
Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
ESEC-FSE-2011-CosmoV #co-evolution #component #on the
On software component co-installability (RDC, JV), pp. 256–266.
ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ESEC-FSE-2011-QiNR
Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.
ESEC-FSE-2011-SinghS #data type
Synthesizing data structure manipulations from storyboards (RS, ASL), pp. 289–299.
ESEC-FSE-2011-ShihabMKAH #case study #fault
High-impact defects: a study of breakage and surprise defects (ES, AM, YK, BA, AEH), pp. 300–310.
ESEC-FSE-2011-LeeNHKI #fault #interactive #metric #predict
Micro interaction metrics for defect prediction (TL, JN, DH, SK, HPI), pp. 311–321.
ESEC-FSE-2011-RahmanPHBD #question
BugCache for inspections: hit or miss? (FR, DP, AH, ETB, PTD), pp. 322–331.
ESEC-FSE-2011-HackettA #morphism #polymorphism
Inferring data polymorphism in systems code (BH, AA), pp. 332–342.
ESEC-FSE-2011-LiCK #analysis #performance #points-to #using
Boosting the performance of flow-sensitive points-to analysis using value flow (LL, CC, NK), pp. 343–353.
ESEC-FSE-2011-BeckD #composition #congruence #on the
On the congruence of modularity and code coupling (FB, SD), pp. 354–364.
ESEC-FSE-2011-TamrawiNAN #approach #debugging #fuzzy #set
Fuzzy set and cache-based approach for bug triaging (AT, TTN, JMAK, TNN), pp. 365–375.
ESEC-FSE-2011-Bettenburg #collaboration #development #mining #repository
Mining development repositories to study the impact of collaboration on software systems (NB), pp. 376–379.
ESEC-FSE-2011-Prause #process #quality #research #self
Reputation-based self-management of software process artifact quality in consortium research projects (CP), pp. 380–383.
ESEC-FSE-2011-Durdik #approach #architecture #elicitation #requirements
An architecture-centric approach for goal-driven requirements elicitation (ZD), pp. 384–387.
ESEC-FSE-2011-Schur #enterprise #mining #specification
Experimental specification mining for enterprise applications (MS), pp. 388–391.
ESEC-FSE-2011-Hall #generative #state machine
Search based hierarchy generation for reverse engineered state machines (MH), pp. 392–395.
ESEC-FSE-2011-MirzaAghaei #automation #evolution #testing
Automatic test suite evolution (MM), pp. 396–399.
ESEC-FSE-2011-Baluda #abstraction #automation #refinement #testing
Automatic structural testing with abstraction refinement and coarsening (MB), pp. 400–403.
ESEC-FSE-2011-Rossler #comprehension
Understanding failures through facts (JR), pp. 404–407.
ESEC-FSE-2011-Filieri #runtime #verification
QoS verification and model tuning @ runtime (AF), pp. 408–411.
ESEC-FSE-2011-Mori #adaptation #lifecycle #process
A software lifecycle process for context-aware adaptive systems (MM), pp. 412–415.
ESEC-FSE-2011-FraserA #automation #generative #named #object-oriented #testing
EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
ESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ESEC-FSE-2011-GligoricBJ #mutation testing #named #testing
SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification
jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
ESEC-FSE-2011-CifuentesKLHVBZCTH #fault #scalability #using
Static deep error checking in large system applications using parfait (CC, NK, LL, NH, MV, AB, JZ, AC, DT, CH), pp. 432–435.
ESEC-FSE-2011-MirghasemiBP #execution #named
Querypoint: moving backwards on wrong values in the buggy execution (SM, JJB, CP), pp. 436–439.
ESEC-FSE-2011-MengKM #named #program transformation
Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
ESEC-FSE-2011-BrunHEN11a #named #precise
Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named
Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
ESEC-FSE-2011-DemuthLE #consistency #flexibility #modelling #multi
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking (AD, RELH, AE), pp. 452–455.
ESEC-FSE-2011-MontrieuxWY #data access #specification #tool support #uml #verification
Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.
ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing
SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
ESEC-FSE-2011-CostacheKK #design #implementation #process #validation
Design and validation of feature-based process model tailoring: a sample implementation of PDE (DC, GK, MK), pp. 464–467.
ESEC-FSE-2011-LumpeMG #logic #named #specification
PSPWizard: machine-assisted definition of temporal logical properties with specification patterns (ML, IM, LG), pp. 468–471.
ESEC-FSE-2011-BarzilayHY #developer #social #social media #using
Using social media to study the diversity of example usage among professional developers (OB, OH, AY), pp. 472–475.
ESEC-FSE-2011-AliSSONM #monitoring #social
Social sensing: when users become monitors (RA, CS, MS, IO, BN, WM), pp. 476–479.
ESEC-FSE-2011-ZhengZL #api #recommendation #using #web
Cross-library API recommendation using web search engines (WZ, QZ, MRL), pp. 480–483.
ESEC-FSE-2011-ClementsEIMM #architecture #requirements #testing
Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.
ESEC-FSE-2011-AutiliCRIPT #named #nondeterminism #ubiquitous
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty (MA, VC, DDR, PI, PP, MT), pp. 488–491.
ESEC-FSE-2011-Bodden #approach #monitoring #runtime
Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
ESEC-FSE-2011-MusluSW #debugging #testing
Finding bugs by isolating unit tests (KM, BS, JW), pp. 496–499.
ESEC-FSE-2011-CafeoNFCR #product line
Inferring test results for dynamic software product lines (BBPC, JN, FCF, RC, AR), pp. 500–503.
ESEC-FSE-2011-CsallnerFL #source code #testing
New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code
Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
ESEC-FSE-2011-RamamurthiRS #analysis #data flow #graph #probability #using
Probabilistic dataflow analysis using path profiles on structure graphs (AR, SR, YNS), pp. 512–515.

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.