Proceedings of the 22nd 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

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

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

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.

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.