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.

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

21 ×#named
12 ×#testing
8 ×#analysis
8 ×#fault
6 ×#detection
6 ×#javascript
5 ×#automation
5 ×#debugging
5 ×#framework
5 ×#modelling

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.