Proceedings of the Joint Meeting of the 14th European Software Engineering Conference and the 21th Symposium on the 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

Bertrand Meyer, Luciano Baresi, Mira Mezini
Proceedings of the Joint Meeting of the 14th European Software Engineering Conference and the 21th Symposium on the Foundations of Software Engineering
ESEC/FSE, 2013.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{ESEC-FSE-2013,
	acmid         = "2491411",
	address       = "Saint Petersburg, Russia",
	editor        = "Bertrand Meyer and Luciano Baresi and Mira Mezini",
	isbn          = "978-1-4503-2237-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Joint Meeting of the 14th European Software Engineering Conference and the 21th Symposium on the Foundations of Software Engineering}",
	year          = 2013,
}

Contents (92 items)

ESEC-FSE-2013-Vardi #logic
A logical revolution (MYV), p. 1.
ESEC-FSE-2013-InverardiARPT #challenge #integration #research
Producing software by integration: challenges and research directions (PI, MA, DDR, PP, MT), pp. 2–12.
ESEC-FSE-2013-Gonthier #re-engineering
Software engineering for mathematics (GG), p. 13.
ESEC-FSE-2013-PetkeYCH #combinator #detection #fault #interactive #performance #testing
Efficiency and early fault detection with lower and higher strength combinatorial interaction testing (JP, SY, MBC, MH), pp. 26–36.
ESEC-FSE-2013-FarzanHRV #testing
Con2colic testing (AF, AH, NR, HV), pp. 37–47.
ESEC-FSE-2013-JaffarMN #testing
Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
ESEC-FSE-2013-BertolinoMM #composition #monitoring
Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ESEC-FSE-2013-SilicDS #clustering #predict #reliability #web #web service
Prediction of atomic web services reliability based on k-means clustering (MS, GD, SS), pp. 70–80.
ESEC-FSE-2013-LiebigRKADL #analysis #scalability
Scalable analysis of variable software (JL, AvR, CK, SA, JD, CL), pp. 81–91.
ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using
Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ESEC-FSE-2013-ZhengZG #analysis #named #string #web
Z3-str: a z3-based string solver for web application analysis (YZ, XZ, VG), pp. 114–124.
ESEC-FSE-2013-QiuLS #analysis #co-evolution #database #empirical
An empirical analysis of the co-evolution of schema and code in database applications (DQ, BL, ZS), pp. 125–135.
ESEC-FSE-2013-NguyenMT #automation #effectiveness #empirical
Automated oracles: an empirical study on cost and effectiveness (CDN, AM, PT), pp. 136–146.
ESEC-FSE-2013-RahmanPHD #bias #fault #predict
Sample size vs. bias in defect prediction (FR, DP, IH, PTD), pp. 147–157.
ESEC-FSE-2013-LiuDZ #composition
Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.
ESEC-FSE-2013-TrippR #adaptation #named #parallel
Tightfit: adaptive parallelization with foresight (OT, NR), pp. 169–179.
ESEC-FSE-2013-SahaDP #distributed
Distributed program tracing (DS, PD, GP), pp. 180–190.
ESEC-FSE-2013-HawblitzelLPHGFDW #compilation #validation
Will you still compile me tomorrow? static cross-version compiler validation (CH, SKL, KP, HH, SG, LF, DD, SW), pp. 191–201.
ESEC-FSE-2013-RigbyB #convergence #overview
Convergent contemporary software peer review practices (PCR, CB), pp. 202–212.
ESEC-FSE-2013-BlincoeVD #coordination #dependence #identification
Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects (KB, GV, DD), pp. 213–223.
ESEC-FSE-2013-MachiryTN #android #generative #named
Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.
ESEC-FSE-2013-MarinescuC #named #testing
KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSE-2013-Nori0 #proving #termination #testing
Termination proofs from tests (AVN, RS), pp. 246–256.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ESEC-FSE-2013-NguyenX #detection #named
Cachetor: detecting cacheable data to remove bloat (KN, G(X), pp. 268–278.
ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault
Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
ESEC-FSE-2013-DavrilDHACH #feature model #scalability
Feature model extraction from large collections of informal product descriptions (JMD, ED, NH, MA, JCH, PH), pp. 290–300.
ESEC-FSE-2013-RubinC #model merging
N-way model merging (JR, MC), pp. 301–311.
ESEC-FSE-2013-SinhaK #compilation #flexibility
Compiling mockups to flexible UIs (NS, RK), pp. 312–322.
ESEC-FSE-2013-MusluBEN #analysis
Making offline analyses continuous (KM, YB, MDE, DN), pp. 323–333.
ESEC-FSE-2013-BohmeOR #fault #interactive #testing
Regression tests to expose change interaction errors (MB, BCdSO, AR), pp. 334–344.
ESEC-FSE-2013-LahiriMSH #difference
Differential assertion checking (SKL, KLM, RS, CH), pp. 345–355.
ESEC-FSE-2013-GrechanikHBW #database
Preventing database deadlocks in applications (MG, BMMH, UB, HW), pp. 356–366.
ESEC-FSE-2013-GarciaPSHM #distributed #identification
Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.
ESEC-FSE-2013-LoharAZC #composition #data-driven
Improving trace accuracy through data-driven configuration and composition of tracing features (SL, SA, AZ, JCH), pp. 378–388.
ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification
Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.
ESEC-FSE-2013-ZervoudakisREF #model checking #verification
Cascading verification: an integrated method for domain-specific model checking (FZ, DSR, SGE, AF), pp. 400–410.
ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.
ESEC-FSE-2013-SchurRZ #behaviour #enterprise #mining #modelling #web
Mining behavior models from enterprise web applications (MS, AR, AZ), pp. 422–432.
ESEC-FSE-2013-GreenyerBCHG #incremental #product line #specification
Incrementally synthesizing controllers from scenario-based product line specifications (JG, CB, MC, PH, EG), pp. 433–443.
ESEC-FSE-2013-MaozRR #component #modelling #synthesis
Synthesis of component and connector models from crosscutting structural views (SM, JOR, BR), pp. 444–454.
ESEC-FSE-2013-WangHJK #approach #evaluation
Searching for better configurations: a rigorous approach to clone evaluation (TW, MH, YJ, JK), pp. 455–465.
ESEC-FSE-2013-NagappanZB #re-engineering #research
Diversity in software engineering research (MN, TZ, CB), pp. 466–476.
ESEC-FSE-2013-VasquezBBPOP #android #api #fault
API change and fault proneness: a threat to the success of Android apps (MLV, GB, CBC, MDP, RO, DP), pp. 477–487.
ESEC-FSE-2013-SenKBG #dynamic analysis #framework #javascript #named
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.
ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis
Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.
ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web
Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-SchafSW #consistency
Explaining inconsistent code (MS, DSN, TW), pp. 521–531.
ESEC-FSE-2013-NguyenNNN #semantics #source code #statistics
A statistical semantic language model for source code (TTN, ATN, HAN, TNN), pp. 532–542.
ESEC-FSE-2013-GyoriFDL #functional #imperative #programming #refactoring
Crossing the gap from imperative to functional programming through refactoring (AG, LF, DD, JL), pp. 543–553.
ESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability
Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
ESEC-FSE-2013-LiangWXM #debugging #detection
Inferring project-specific bug patterns for detecting sibling bugs (GL, QW, TX, HM), pp. 565–575.
ESEC-FSE-2013-SunK #debugging #mining
Mining succinct predicated bug signatures (CS, SCK), pp. 576–586.
ESEC-FSE-2013-CalefatoL #named #social
SocialCDE: a social awareness tool for global software teams (FC, FL), pp. 587–590.
ESEC-FSE-2013-HossainGBW #database #named #transaction
REDACT: preventing database deadlocks from application-based transactions (BMMH, MG, UB, HW), pp. 591–594.
ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named
RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification
RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ESEC-FSE-2013-SongT #automaton #detection #model checking #named
PoMMaDe: pushdown model-checking for malware detection (FS, TT), pp. 607–610.
ESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
ESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ESEC-FSE-2013-CostaVCL #generative #modelling #named
RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.
ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml
USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
ESEC-FSE-2013-WangZCZZ #javascript #program analysis
Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
ESEC-FSE-2013-MusluBM #debugging #testing
Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
ESEC-FSE-2013-GambiFD #refinement #testing
Iterative test suites refinement for elastic computing systems (AG, AF, SD), pp. 635–638.
ESEC-FSE-2013-InozemtsevaHH #fault #reduction #using
Using fault history to improve mutation reduction (LI, HH, RH), pp. 639–642.
ESEC-FSE-2013-ZhangC #effectiveness #fault #modelling #predict
A cost-effectiveness criterion for applying software defect prediction models (HZ, SCC), pp. 643–646.
ESEC-FSE-2013-GongZ #debugging #named
BugMap: a topographic map of bugs (JG, HZ), pp. 647–650.
ESEC-FSE-2013-NguyenNN #migration #statistics
Lexical statistical machine translation for language migration (ATN, TTN, TNN), pp. 651–654.
ESEC-FSE-2013-YingR #summary
Code fragment summarization (ATTY, MPR), pp. 655–658.
ESEC-FSE-2013-DuboisT #comprehension #development #gamification
Understanding gamification mechanisms for software development (DJD, GT), pp. 659–662.
ESEC-FSE-2013-SahaSP #case study #comprehension #stack overflow #towards
Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow (RKS, AKS, DEP), pp. 663–666.
ESEC-FSE-2013-DubinskyFG #logic #question
Where is the business logic? (YD, YAF, MG), pp. 667–670.
ESEC-FSE-2013-GuzmanB #development #towards
Towards emotional awareness in software development teams (EG, BB), pp. 671–674.
ESEC-FSE-2013-KumarCS #analysis #industrial #precise #scalability
Precise range analysis on large industry code (SK, BC, US), pp. 675–678.
ESEC-FSE-2013-GooijerK #reuse
Agreements for software reuse in corporations (TdG, HK), pp. 679–682.
ESEC-FSE-2013-Terekhov
Good technology makes the difficult task easy (AT), pp. 683–686.
ESEC-FSE-2013-DuboisBWH #middleware #mobile #named #peer-to-peer #resource management
ShAir: extensible middleware for mobile peer-to-peer resource sharing (DJD, YB, KW, HH), pp. 687–690.
ESEC-FSE-2013-MockusHP #approach #quality #risk management
Risky files: an approach to focus quality improvement effort (AM, RLH, JDP), pp. 691–694.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime
System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ESEC-FSE-2013-EscoffierLR #component #framework #javascript #named
h-ubu: an industrial-strength service-oriented component framework for JavaScript applications (CE, PL, NR), pp. 699–702.
ESEC-FSE-2013-JiangLZDSGS #design #embedded #multi #optimisation #using
Design and optimization of multi-clocked embedded systems using formal technique (YJ, ZL, HZ, YD, XS, MG, JS), pp. 703–706.
ESEC-FSE-2013-KumarN #static analysis #tool support
The economics of static analysis tools (RK, AVN), pp. 707–710.
ESEC-FSE-2013-DiGiuseppe #automation #fault
Automatically describing software faults (ND), pp. 711–714.
ESEC-FSE-2013-Platenius #fuzzy #on the fly
Fuzzy service matching in on-the-fly computing (MCP), pp. 715–718.
ESEC-FSE-2013-Nenashev #automation #hardware #named #programmable #re-engineering
PHRT: a model and programmable tool for hardware reengineering automation (ON), pp. 719–722.
ESEC-FSE-2013-Lopez #ecosystem #evolution #modelling #topic #using
Using topic models to understand the evolution of a software ecosystem (NL), pp. 723–726.
ESEC-FSE-2013-Dajsuren #architecture #quality
Automotive architecture description and its quality (YD), pp. 727–730.
ESEC-FSE-2013-Vogel #architecture #towards
Towards open architecture system (BV), pp. 731–734.
ESEC-FSE-2013-Tikhonova #domain-specific language #framework #semantics
A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.

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.