BibSLEIGH — Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software Engineering

Hans van Vliet, Valérie Issarny
Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software Engineering
ESEC/FSE, 2009.

@proceedings{ESEC-FSE-2009,
	address       = "Amsterdam, The Netherlands",
	editor        = "Hans van Vliet and Valérie Issarny",
	isbn          = "978-1-60558-001-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software Engineering}",
	year          = 2009,
}

Contents (53 items)

ESEC-FSE-2009-Shaw #challenge #pervasive #re-engineering: The challenge of pervasive software to the conventional wisdom of software engineering (MS), pp. 1–2.
ESEC-FSE-2009-BurnimS #parallel #source code #thread: Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
ESEC-FSE-2009-KahlonSKZ #concurrent #detection #source code: Static data race detection for concurrent programs with asynchronous calls (VK, NS, EK, YZ), pp. 13–22.
ESEC-FSE-2009-WangCGY #concurrent: Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.
ESEC-FSE-2009-QiRLV #approach #debugging #evolution #named #source code: Darwin: an approach for debugging evolving programs (DQ, AR, ZL, KV), pp. 33–42.
ESEC-FSE-2009-ZhangCTJW: Capturing propagation of infected program states (ZZ, WKC, THT, BJ, XW), pp. 43–52.
ESEC-FSE-2009-ShermanDE #concurrent #source code #testing: Saturation-based testing of concurrent programs (ES, MBD, SGE), pp. 53–62.
ESEC-FSE-2009-Lopes #modelling #simulation: The massification and webification of systems’ modeling and simulation with virtual worlds (CVL), pp. 63–70.
ESEC-FSE-2009-VarmaSS #memory management: Backward-compatible constant-time exception-protected memory (PV, RKS, HJS), pp. 71–80.
ESEC-FSE-2009-BezemerMD #automation #interactive #security #testing #web: Automated security testing of web widget interactions (CPB, AM, AvD), pp. 81–90.
ESEC-FSE-2009-ZimmermannNGGM #empirical #fault #predict #process #scalability: Cross-project defect prediction: a large scale experiment on data vs. domain vs. process (TZ, NN, HG, EG, BM), pp. 91–100.
ESEC-FSE-2009-CataldoN #analysis #empirical #maturity #on the #process #quality: On the relationship between process maturity and geographic distribution: an empirical analysis of their impact on software quality (MC, SN), pp. 101–110.
ESEC-FSE-2009-JeongKZ #debugging #graph: Improving bug triage with bug tossing graphs (GJ, SK, TZ), pp. 111–120.
ESEC-FSE-2009-BirdBADBFD #bias #dataset #debugging: Fair and balanced?: bias in bug-fix datasets (CB, AB, EA, JD, AB, VF, PTD), pp. 121–130.
ESEC-FSE-2009-CardelliniCGPM #adaptation #architecture #runtime: Qos-driven runtime adaptation of service oriented architectures (VC, EC, VG, FLP, RM), pp. 131–140.
ESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis: Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.
ESEC-FSE-2009-MeiCT #data flow #testing: Data flow testing of service choreography (LM, WKC, THT), pp. 151–160.
ESEC-FSE-2009-BartoliniBEM #testing: Whitening SOA testing (CB, AB, SGE, EM), pp. 161–170.
ESEC-FSE-2009-Schafer #concept #navigation: IQ routes and HD traffic: technology insights about tomtom’s time-dynamic navigation concept (RPS), pp. 171–172.
ESEC-FSE-2009-WlokaST #refactoring: Refactoring for reentrancy (JW, MS, FT), pp. 173–182.
ESEC-FSE-2009-GrunskeZ #monitoring #probability: Monitoring probabilistic properties (LG, PZ), pp. 183–192.
ESEC-FSE-2009-ThummalapentaXTHS #generative #mining #named #object-oriented #source code #testing: MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
ESEC-FSE-2009-LongWC #api: Api hyperlinking via structural overlap (FL, XW, YC), pp. 203–212.
ESEC-FSE-2009-BruchMM #code completion #learning: Learning from examples to improve code completion systems (MB, MM, MM), pp. 213–222.
ESEC-FSE-2009-AbadiEF #control flow #slicing: Improving slice accuracy by compression of data and control flow paths (AA, RE, YAF), pp. 223–232.
ESEC-FSE-2009-Petre #design: Insights from expert software design practice (MP), pp. 233–242.
ESEC-FSE-2009-DelawareCB #composition: Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
ESEC-FSE-2009-DenaroPT #self: Ensuring interoperable service-oriented systems through engineered self-healing (GD, MP, DT), pp. 253–262.
ESEC-FSE-2009-Zeller #debugging: Debugging debugging: acm sigsoft impact paper award keynote (AZ), pp. 263–264.
ESEC-FSE-2009-LiuYNMS #order #refactoring #smell: Facilitating software refactoring with appropriate resolution order of bad smells (HL, LY, ZN, ZM, WS), pp. 265–268.
ESEC-FSE-2009-GeipelS #java: Software change dynamics: evidence from 35 java projects (MMG, FS), pp. 269–272.
ESEC-FSE-2009-Bronsard #constraints #framework: Practical framework constraints (FB), pp. 273–276.
ESEC-FSE-2009-YusufSP #component #grid #reliability: Evaluating recovery aware components for grid reliability (IIY, HWS, IDP), pp. 277–280.
ESEC-FSE-2009-MaiaKUM #modelling #probability #refinement #towards #using: Towards accurate probabilistic models using state refinement (PHMM, JK, SU, NCM), pp. 281–284.
ESEC-FSE-2009-BozzanoCRKNN #evaluation #modelling #performance #verification: Verification and performance evaluation of aadl models (MB, AC, MR, JPK, VYN, TN), pp. 285–286.
ESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance: Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
ESEC-FSE-2009-KnabKP #problem: Smart views for analyzing problem reports: tool demo (PK, HG, MP), pp. 289–290.
ESEC-FSE-2009-ShaoKP #named #parallel #semantics: SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
ESEC-FSE-2009-VangalaCT #clustering #comparison #execution #testing #using: Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.
ESEC-FSE-2009-ArtziKE #named: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications (SA, SK, MDE), pp. 295–296.
ESEC-FSE-2009-SchulerZ #java #mutation testing #named #performance #testing: Javalanche: efficient mutation testing for Java (DS, AZ), pp. 297–298.
ESEC-FSE-2009-FigueiredoWG #detection #named: ConcernMorph: metrics-based detection of crosscutting patterns (EF, JW, AFG), pp. 299–300.
ESEC-FSE-2009-PathakG #named #network #tool support #visual notation: Srijan: a graphical toolkit for sensor network macroprogramming (AP, MKG), pp. 301–302.
ESEC-FSE-2009-Taylor #architecture: Software architecture: many faces, many places, yet a central discipline (RNT), pp. 303–304.
ESEC-FSE-2009-KrkaBEM #behaviour #component #modelling #specification: Synthesizing partial component-level behavior models from system specifications (IK, YB, GE, NM), pp. 305–314.
ESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism: Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
ESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification: Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.
ESEC-FSE-2009-PaveseBU #analysis #behaviour #modelling #probability: Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models (EP, VAB, SU), pp. 335–344.
ESEC-FSE-2009-LoMP #automation #behaviour #model inference: Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation: Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
ESEC-FSE-2009-BrambillaC #challenge: Engineering search computing applications: vision and challenges (MB, SC), pp. 365–372.
ESEC-FSE-2009-AshokJLRSV #debugging #named #recommendation: DebugAdvisor: a recommender system for debugging (BA, JMJ, HL, SKR, GS, VV), pp. 373–382.
ESEC-FSE-2009-NguyenNPAN #graph #mining #multi: Graph-based mining of multiple object usage patterns (TTN, HAN, NHP, JMAK, TNN), pp. 383–392.

Hans van Vliet, Valérie IssarnyProceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software EngineeringESEC/FSE, 2009.

Contents (53 items)

Hans van Vliet, Valérie Issarny
Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th International Symposium on Foundations of Software Engineering
ESEC/FSE, 2009.