BibSLEIGH — Proceedings of the 19th Symposium on the Foundations of Software Engineering and the 13rd European Software Engineering Conference

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.

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

Tibor Gyimóthy, Andreas ZellerProceedings of the 19th Symposium on the Foundations of Software Engineering and the 13rd European Software Engineering ConferenceESEC/FSE, 2011.

Contents (72 items)

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.