Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey
Proceedings of the 22nd Symposium on the Foundations of Software Engineering
FSE, 2014.

@proceedings{FSE-2014,
	acmid         = "2635868",
	address       = "Hong Kong, China",
	editor        = "Shing-Chi Cheung and Alessandro Orso and Margaret-Anne D. Storey",
	isbn          = "978-1-4503-3056-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd Symposium on the Foundations of Software Engineering}",
	year          = 2014,
}

Contents (105 items)

23 ×#named
17 ×#testing
12 ×#detection
7 ×#debugging
6 ×#analysis
6 ×#modelling
6 ×#refactoring
6 ×#scalability
5 ×#architecture
5 ×#automation

FSE-2014-Lam #named #network #social

Omlet: a revolution against big-brother social networks (MSL), p. 1.

FSE-2014-Wolf #re-engineering

From software engineering to software systems (ALW), p. 2.

FSE-2014-Jorgensen #question #re-engineering #what

Ten years with evidence-based software engineering. What is it? Has it had any impact? What’s next? (MJ), p. 3.

FSE-2014-Penix #case study #developer #experience #tool support

Experiences developing tools for developers (JP), p. 4.

FSE-2014-Chandra

Are you getting traction? tales from the tech transfer trenches (SC), p. 5.

FSE-2014-Zimmermann

Data hard with a vengeance (TZ), p. 6.

FSE-2014-FritzSKSB #developer #modelling

Developers’ code context models for change tasks (TF, DCS, KK, WS, CB), pp. 7–18.

FSE-2014-MeyerFMZ #developer

Software developers’ perceptions of productivity (ANM, TF, GCM, TZ), pp. 19–29.

FSE-2014-PhamKLSS #testing

Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.

FSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming

Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.

FSE-2014-XuanM #fault #locality #testing

Test case purification for improving fault localization (JX, MM), pp. 52–63.

FSE-2014-TaoKKX #automation #debugging

Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.

FSE-2014-OverbeyBH #c #metaprogramming #refactoring

A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.

FSE-2014-MileaJK #abstraction #detection #refactoring #scalability

Vector abstraction and concretization for scalable detection of refactorings (NAM, LJ, SCK), pp. 86–97.

FSE-2014-LerchHBM #analysis #named #performance #scalability

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases (JL, BH, EB, MM), pp. 98–108.

FSE-2014-BinkleyGHIKY #independence #named #slicing

ORBS: language-independent program slicing (DB, NG, MH, SSI, JK, SY), pp. 109–120.

FSE-2014-KashyapDKWGSWH #framework #javascript #named #platform #static analysis

JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.

FSE-2014-JaffarM #control flow #graph #slicing

A path-sensitively sliced control flow graph (JJ, VM), pp. 133–143.

FSE-2014-TsayDH #git

Let’s talk about it: evaluating contributions through discussion in GitHub (JT, LD, JDH), pp. 144–154.

FSE-2014-RayPFD #case study #git #programming language #quality #scalability

A large scale study of programming languages and code quality in github (BR, DP, VF, PTD), pp. 155–165.

FSE-2014-Nguyen0NR #api #corpus #mining #scalability

Mining preconditions of APIs in large-scale code corpus (HAN, RD, TNN, HR), pp. 166–177.

FSE-2014-KrkaBM #automation #invariant #mining #specification

Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.

FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement

Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.

FSE-2014-LalQ #using #verification

Powering the static driver verifier using corral (AL, SQ), pp. 202–212.

FSE-2014-VakiliD #infinity #modelling #smt #using #verification

Verifying CTL-live properties of infinite state models using an SMT solver (AV, NAD), pp. 213–223.

FSE-2014-JoinerRJDG #performance #policy #weaving

Efficient runtime-enforcement techniques for policy weaving (RJ, TWR, SJ, MD, VG), pp. 224–234.

FSE-2014-ElbaumRP #development #integration #testing

Techniques for improving regression testing in continuous integration development environments (SGE, GR, JP), pp. 235–245.

FSE-2014-ShiGGZM #reduction #testing #trade-off

Balancing trade-offs in test-suite reduction (AS, AG, MG, AZ, DM), pp. 246–256.

FSE-2014-BosuCHHJ #empirical #identification

Identifying the characteristics of vulnerable code changes: an empirical study (AB, JCC, MH, PH, DJ), pp. 257–268.

FSE-2014-TuSD #locality #on the

On the localness of software (ZT, ZS, PTD), pp. 269–280.

FSE-2014-AllamanisBBS #learning

Learning natural coding conventions (MA, ETB, CB, CAS), pp. 281–293.

FSE-2014-HigoK #case study #functional #how #java #source code

How should we measure functional sameness from program source code? an exploratory study on Java methods (YH, SK), pp. 294–305.

FSE-2014-BarrBDHS

The plastic surgery hypothesis (ETB, YB, PTD, MH, FS), pp. 306–317.

FSE-2014-0010TZ #concurrent #debugging #named

Grail: context-aware fixing of concurrency bugs (PL, OT, CZ), pp. 318–329.

FSE-2014-ZhangWLQRZ #concurrent #debugging #lightweight #named

AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.

FSE-2014-LinRD #android #concurrent #refactoring

Retrofitting concurrency for Android applications through refactoring (YL, CR, DD), pp. 341–352.

FSE-2014-EslamimehrP #concurrent #detection #named #scalability #source code

Sherlock: scalable deadlock detection for concurrent programs (ME, JP), pp. 353–365.

FSE-2014-GoffiGMPT #search-based #sequence #synthesis

Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.

FSE-2014-SwansonCDGF #adaptation #configuration management #self

Beyond the rainbow: self-adaptive failure avoidance in configurable systems (JS, MBC, MBD, BJG, JF), pp. 377–388.

FSE-2014-LuoMW0Z #comparison #detection #obfuscation #semantics #similarity

Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.

FSE-2014-XuanODF #congruence #developer #graph

Focus-shifting patterns of OSS developers and their congruence with call graphs (QX, AO, PTD, VF), pp. 401–412.

FSE-2014-SeoK #how #testing

How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.

FSE-2014-DingesA #heuristic

Solving complex path conditions through heuristic search on induced polytopes (PD, GAA), pp. 425–436.

FSE-2014-FilieriPVG #execution #statistics #symbolic computation

Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.

FSE-2014-LiAG #automation #javascript #named #testing #web

SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.

FSE-2014-YingR #summary

Selection and presentation practices for code example summarization (ATTY, MPR), pp. 460–471.

FSE-2014-AllamanisS #mining #source code

Mining idioms from source code (MA, CAS), pp. 472–483.

FSE-2014-MorenoBPOMC #automation #generative

Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.

FSE-2014-MazinanianTM #css #refactoring

Discovering refactoring opportunities in cascading style sheets (DM, NT, AM), pp. 496–506.

FSE-2014-BaeCLR #api #detection #named #web

SAFEWAPI: web API misuse detector for web applications (SB, HC, IL, SR), pp. 507–517.

FSE-2014-NguyenKN #embedded #graph #web

Building call graphs for embedded client-side code in dynamic web applications (HVN, CK, TNN), pp. 518–529.

FSE-2014-BaltesD #diagrams #sketching

Sketches and diagrams in practice (SB, SD), pp. 530–541.

FSE-2014-SchultisEL #architecture #case study #challenge #ecosystem #industrial #scalability

Architecture challenges for internal software ecosystems: a large-scale industry case study (KBS, CE, DL), pp. 542–552.

FSE-2014-BocovichA #feature model #interactive

Variable-specific resolutions for feature interactions (CB, JMA), pp. 553–563.

FSE-2014-SalvaneschiAPM #comprehension #empirical #programming

An empirical study on program comprehension with reactive programming (GS, SA, SP, MM), pp. 564–575.

FSE-2014-FengADA #android #detection #named #semantics #static analysis

Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.

FSE-2014-BanerjeeC0R #debugging #detection #energy #mobile

Detecting energy bugs and hotspots in mobile apps (AB, LKC, SC, AR), pp. 588–598.

FSE-2014-MahmoodMM #android #named #testing

EvoDroid: segmented evolutionary testing of Android apps (RM, NM, SM), pp. 599–609.

FSE-2014-KhalidNSH #android #case study #game studies

Prioritizing the devices to test your app on: a case study of Android game apps (HK, MN, ES, AEH), pp. 610–620.

FSE-2014-HuoC #detection #quality #testing

Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.

FSE-2014-BohmeP #automation #on the #performance #testing

On the efficiency of automated testing (MB, SP), pp. 632–642.

FSE-2014-LuoHEM #analysis #empirical #testing

An empirical analysis of flaky tests (QL, FH, LE, DM), pp. 643–653.

FSE-2014-JustJIEHF #fault #question #testing

Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.

FSE-2014-BaysalHG #information management #issue tracking

No issue left behind: reducing information overload in issue tracking (OB, RH, MWG), pp. 666–677.

FSE-2014-ManiSSD #maintenance

Panning requirement nuggets in stream of software maintenance tickets (SM, KS, VSS, PTD), pp. 678–688.

FSE-2014-YeBL #debugging #learning #rank #using

Learning to rank relevant files for bug reports using domain knowledge (XY, RCB, CL), pp. 689–699.

FSE-2014-SunZLZWZK #query #re-engineering

Querying sequential software engineering data (CS, HZ, JGL, HZ, QW, DZ, SCK), pp. 700–710.

FSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #tool support #validation

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.

FSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering

A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.

FSE-2014-HavrikovHGZ #generative #named #testing #xml

XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.

FSE-2014-AutiliRSP #internet #named

CHOReOSynt: enforcing choreography realizability in the future internet (MA, DDR, ADS, AP), pp. 723–726.

FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support

RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.

FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability

Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.

FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.

FSE-2014-MirakhorliFGWC #architecture #detection #monitoring #named

Archie: a tool for detecting, monitoring, and preserving architecturally significant code (MM, AF, AG, MW, JCH), pp. 739–742.

FSE-2014-BaltesSD #diagrams #sketching #source code

Linking sketches and diagrams to source code artifacts (SB, PS, SD), pp. 743–746.

FSE-2014-HermansD #named #refactoring #spreadsheet

BumbleBee: a refactoring environment for spreadsheet formulas (FH, DD), pp. 747–750.

FSE-2014-AlvesSK #code review #named #overview #refactoring

RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits (ELGA, MS, MK), pp. 751–754.

FSE-2014-ZhangSK #code review #interactive #named #overview

Critics: an interactive code review tool for searching and inspecting systematic changes (TZ, MS, MK), pp. 755–758.

FSE-2014-GreeneF #concept #named

ConceptCloud: a tagcloud browser for software archives (GJG, BF), pp. 759–762.

FSE-2014-XiaoCK #analysis #architecture #named #quality #tool support

Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.

FSE-2014-ThungLKL #debugging #locality #named #tool support

BugLocalizer: integrated tool support for bug localization (FT, TDBL, PSK, DL), pp. 767–770.

FSE-2014-Wu #fault

Diagnose crashing faults on production software (RW), pp. 771–774.

FSE-2014-Behringer #implementation

Integrating approaches for feature implementation (BB), pp. 775–778.

FSE-2014-Gao #program analysis #testing

Numerical program analysis and testing (ZG), pp. 779–782.

FSE-2014-Kan #model checking #safety #traceability #verification

Traceability and model checking to support safety requirement verification (SK), pp. 783–786.

FSE-2014-Llerena #nondeterminism #verification

Dealing with uncertainty in verification of nondeterministic systems (YRSL), pp. 787–790.

FSE-2014-Banerjee #energy #performance #static analysis #testing

Static analysis driven performance and energy testing (AB), pp. 791–794.

FSE-2014-Brunink #monitoring #non-functional

Autonomous compliance monitoring of non-functional properties (MB), pp. 795–798.

FSE-2014-Bell #dependence #detection #testing

Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.

FSE-2014-Pham #social #testing

Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.

FSE-2014-Kasi #detection #scheduling

Minimizing software conflicts through proactive detection of conflicts and task scheduling (BKK), pp. 807–810.

FSE-2014-Xiao #architecture #debugging #detection

Detecting and preventing the architectural roots of bugs (LX), pp. 811–813.

FSE-2014-Song #effectiveness #fault #locality

Estimating the effectiveness of spectrum-based fault localization (SS), pp. 814–816.

FSE-2014-Wille #approach #modelling

Managing lots of models: the FaMine approach (DW), pp. 817–819.

FSE-2014-Yang #analysis #network #open source #overview #perspective #social

Social network analysis in open source software peer review (XY), pp. 820–822.

FSE-2014-Marmsoler #architecture #formal method #towards

Towards a theory of architectural styles (DM), pp. 823–825.

FSE-2014-Joseph #framework #interactive #machine learning

Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.

FSE-2014-PetreD #question #re-engineering

Methodology and culture: drivers of mediocrity in software engineering? (MP, DD), pp. 829–832.

FSE-2014-ElbaumR #nondeterminism #testing

Known unknowns: testing in the presence of uncertainty (SGE, DSR), pp. 833–836.

FSE-2014-PalyartMMB

Speculative reprogramming (MP, GCM, ERMH, XB), pp. 837–840.

FSE-2014-DevroeyPCPLS #analysis #mutation testing #variability

A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.

FSE-2014-ZhouM #mining

Mining micro-practices from operational data (MZ, AM), pp. 845–848.

FSE-2014-Cleland-HuangRM #lightweight #traceability

Achieving lightweight trustworthy traceability (JCH, MR, PM), pp. 849–852.

FSE-2014-Villavicencio #maintenance

Software maintenance like maintenance in other engineering disciplines (GV), pp. 853–856.