Proceedings of the Seventh joint meeting of the 12th European Software Engineering Conference and the 17th 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

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.

SE
DBLP
Scholar
Full names Links ISxN
@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.

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.