Myra B. Cohen, Lars Grunske, Michael Whalen
Proceedings of the 30th International Conference on Automated Software Engineering
ASE, 2015.

@proceedings{ASE-2015,
	editor        = "Myra B. Cohen and Lars Grunske and Michael Whalen",
	ee            = "https://www.computer.org/csdl/proceedings/ase/2015/0025/00/index.html",
	isbn          = "978-1-5090-0025-8",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 30th International Conference on Automated Software Engineering}",
	year          = 2015,
}

Contents (100 items)

ASE-2015-ZouYLM0 #learning #rank #retrieval

Learning to Rank for Question-Oriented Software Text Retrieval (T) (YZ, TY, YL, JM, LZ), pp. 1–11.

ASE-2015-SorboPVPCG #developer #development #email #mining

Development Emails Content Analyzer: Intention Mining in Developer Discussions (T) (ADS, SP, CAV, MDP, GC, HCG), pp. 12–23.

ASE-2015-MartieLH #named #query

CodeExchange: Supporting Reformulation of Internet-Scale Code Queries in Context (T) (LM, TDL, AvdH), pp. 24–35.

ASE-2015-VasquezLVP #database #developer #documentation #how #source code

How do Developers Document Database Usages in Source Code? (N) (MLV, BL, CV, DP), pp. 36–41.

ASE-2015-BocicB #logic #performance #verification

Efficient Data Model Verification with Many-Sorted Logic (T) (IB, TB), pp. 42–52.

ASE-2015-ChenDKSW #interprocedural #proving #termination

Synthesising Interprocedural Bit-Precise Termination Proofs (T) (HYC, CD, DK, PS, BW), pp. 53–64.

ASE-2015-LinSNLD #composition #verification

Interpolation Guided Compositional Verification (T) (SWL, JS, TKN, YL, JSD), pp. 65–74.

ASE-2015-TomanPT #bound #named #rust #verification

Crust: A Bounded Verifier for Rust (N) (JT, SP, ET), pp. 75–80.

ASE-2015-LemieuxPB #ltl #mining #specification

General LTL Specification Mining (T) (CL, DP, IB), pp. 81–92.

ASE-2015-CohenM

Have We Seen Enough Traces? (T) (HC, SM), pp. 93–103.

ASE-2015-AlshanqitiH #contract #java #source code #visual notation

Extracting Visual Contracts from Java Programs (T) (AMA, RH), pp. 104–114.

ASE-2015-LeLLB #specification

Synergizing Specification Miners through Model Fissions and Fusions (T) (TDBL, XBDL, DL, IB), pp. 115–125.

ASE-2015-NardoPAB #modelling #robust #testing #using

Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T) (DDN, FP, AA, LCB), pp. 126–137.

ASE-2015-CarinoA #optimisation #testing #user interface #using

Dynamically Testing GUIs Using Ant Colony Optimization (T) (SC, JHA), pp. 138–148.

ASE-2015-WaterlooPE #analysis #fault #testing

Test Analysis: Searching for Faults in Tests (N) (MW, SP, SGE), pp. 149–154.

ASE-2015-WilcoxFFF #array #concurrent #detection #precise

Array Shadow State Compression for Precise Dynamic Race Detection (T) (JRW, PF, CF, SNF), pp. 155–165.

ASE-2015-DeligiannisDR #analysis #concurrent #debugging #performance #precise

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.

ASE-2015-LinMZCZ #benchmark #concurrent #debugging #java #metric #named

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) (ZL, DM, HZ, YC, JZ), pp. 178–189.

ASE-2015-Fard0W #generative #javascript #testing

Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.

ASE-2015-ShamshiriJRFMA #automation #challenge #effectiveness #empirical #fault #testing

Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T) (SS, RJ, JMR, GF, PM, AA), pp. 201–211.

ASE-2015-MaAZSGR #named #random testing #testing

GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.

ASE-2015-LinOD #android #programming #refactoring

Study and Refactoring of Android Asynchronous Programming (T) (YL, SO, DD), pp. 224–235.

ASE-2015-HechtBRMD #android #evolution #quality

Tracking the Software Quality of Android Applications Along Their Evolution (T) (GH, OB, RR, NM, LD), pp. 236–247.

ASE-2015-NguyenC #mobile #reverse engineering #user interface

Reverse Engineering Mobile Application User Interfaces with REMAUI (T) (TAN, CC), pp. 248–259.

ASE-2015-LvZLWZZ #api #code search #comprehension #effectiveness #named

CodeHow: Effective Code Search Based on API Understanding and Extended Boolean Model (E) (FL, HZ, JGL, SW, DZ, JZ), pp. 260–270.

ASE-2015-SohanAM #api #automation #documentation #named #rest #using

SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N) (SMS, CA, FM), pp. 271–276.

ASE-2015-BaoXWZ #developer #process

Tracking and Analyzing Cross-Cutting Activities in Developers’ Daily Work (N) (LB, ZX, XW, BZ), pp. 277–282.

ASE-2015-ZimmermanR #automation #framework #recommendation

An Automated Framework for Recommending Program Elements to Novices (N) (KZ, CRR), pp. 283–288.

ASE-2015-Vargas-Baldrich #automation #bytecode #dependence #using

Automated Tagging of Software Projects Using Bytecode and Dependencies (N) (SVB, MLV, DP), pp. 289–294.

ASE-2015-KeSGB #code search #semantics #source code

Repairing Programs with Semantic Code Search (T) (YK, KTS, CLG, YB), pp. 295–306.

ASE-2015-GaoZWXZM #debugging

Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T) (QG, HZ, JW, YX, LZ, HM), pp. 307–318.

ASE-2015-GerasimouTC #modelling #probability #re-engineering #search-based #synthesis

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T) (SG, GT, RC), pp. 319–330.

ASE-2015-BajajPM #web

Synthesizing Web Element Locators (T) (KB, KP, AM), pp. 331–341.

ASE-2015-SarkarGSAC #configuration management #low cost #performance #predict

Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T) (AS, JG, NS, SA, KC), pp. 342–352.

ASE-2015-ChoetkiertikulD #classification #predict #using

Predicting Delays in Software Projects Using Networked Classification (T) (MC, HKD, TT, AG), pp. 353–364.

ASE-2015-ZhangGBC #configuration management #fourier #learning #performance #predict

Performance Prediction of Configurable Software Systems by Fourier Learning (T) (YZ, JG, EB, KC), pp. 365–373.

ASE-2015-PohlmannH #modelling

Model-Driven Allocation Engineering (T) (UP, MH), pp. 374–384.

ASE-2015-AngererGPG #impact analysis

Configuration-Aware Change Impact Analysis (T) (FA, AG, HP, PG), pp. 385–395.

ASE-2015-MartinezZBKT #automation #modelling #product line

Automating the Extraction of Model-Based Software Product Lines from Model Variants (T) (JM, TZ, TFB, JK, YLT), pp. 396–406.

ASE-2015-KowalTTS #modelling #parametricity #performance #scalability #variability

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T) (MK, MT, MT, IS), pp. 407–417.

ASE-2015-YouRHKKS #implementation #modelling #platform #testing

Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.

ASE-2015-ChoudharyGO #android #automation #generative

Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.

ASE-2015-Boushehrinejadmoradi #development #framework #mobile #platform #testing

Testing Cross-Platform Mobile App Development Frameworks (T) (NB, VG, SN, LI), pp. 441–451.

ASE-2015-NamK #dataset #fault #named #predict

CLAMI: Defect Prediction on Unlabeled Datasets (T) (JN, SK), pp. 452–463.

ASE-2015-HongLKJKKK #fault #locality #multi #source code

Mutation-Based Fault Localization for Real-World Multilingual Programs (T) (SH, BL, TK, YJ, BK, YK, MK), pp. 464–475.

ASE-2015-LamNNN #debugging #information retrieval #learning #locality

Combining Deep Learning with Information Retrieval to Localize Buggy Files for Bug Reports (N) (ANL, ATN, HAN, TNN), pp. 476–481.

ASE-2015-DeweyRH #fuzzing #rust #using

Fuzzing the Rust Typechecker Using CLP (T) (KD, JR, BH), pp. 482–493.

ASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #performance #testing

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.

ASE-2015-ZhangHC #automation #generative

Automatically Generating Test Templates from Test Names (N) (BZ, EH, JC), pp. 506–511.

ASE-2015-TzannesHEVAH #parallel

Region and Effect Inference for Safe Parallelism (T) (AT, STH, LE, MV, VSA, MH), pp. 512–523.

ASE-2015-JiangLXML #dependence #memory management

Optimistic Shared Memory Dependence Tracing (T) (YJ, DL, CX, XM, JL), pp. 524–534.

ASE-2015-MercerAVS #model checking #parallel #source code #using

Model Checking Task Parallel Programs Using Gradual Permissions (N) (EGM, PA, NV, VS), pp. 535–540.

ASE-2015-KoLDR #framework #javascript #scalability #static analysis

Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.

ASE-2015-ParkWJR #javascript #modelling #static analysis #web

Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) (CP, SW, JJ, SR), pp. 552–562.

ASE-2015-Hills #php

Variable Feature Usage Patterns in PHP (T) (MH0), pp. 563–573.

ASE-2015-OdaFNHSTN #learning #pseudo #source code #statistics #using

Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T) (YO, HF, GN, HH, SS, TT, SN), pp. 574–584.

ASE-2015-NguyenNN #approach #divide and conquer #migration #multi #source code #statistics

Divide-and-Conquer Approach for Multi-phase Statistical Migration for Source Code (T) (ATN, TTN, TNN), pp. 585–596.

ASE-2015-Iosif-LazarADSS #case study #design #experience #legacy #validation

Experiences from Designing and Validating a Software Modernization Transformation (E) (AFIL, ASAS, ASD, JES, KS, AW), pp. 597–607.

ASE-2015-ShermanD #analysis #data flow #performance #precise

Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T) (ES, MBD), pp. 608–618.

ASE-2015-LerchSBM #abstraction #analysis #bound #data flow #scalability

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T) (JL, JS, EB, MM), pp. 619–629.

ASE-2015-NarasimhanR

Copy and Paste Redeemed (T) (KN, CR), pp. 630–640.

ASE-2015-KhatchadourianR #detection #using

Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N) (RK, AR, HM, TW), pp. 641–646.

ASE-2015-RubinGNR #communication #mobile

Covert Communication in Mobile Applications (T) (JR, MIG, NN, MCR), pp. 647–657.

ASE-2015-YangZWWYR #android #graph

Static Window Transition Graphs for Android (T) (SY, HZ, HW, YW, DY, AR), pp. 658–668.

ASE-2015-BarrosJMVDdE #android #control flow #java #static analysis

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.

ASE-2015-VecchioSYWKZ #analysis #android #string

String Analysis of Android Applications (N) (JDV, FS, KMY, BW, SYK, LZ), pp. 680–685.

ASE-2015-LiRC #semantics #slicing #version control

Semantic Slicing of Software Version Histories (T) (YL, JR, MC), pp. 686–696.

ASE-2015-MusluSBE #development

Development History Granularity Transformations (N) (KM, LS, YB, MDE), pp. 697–702.

ASE-2015-FilieriPY #execution #probability #quantifier #symbolic computation

Quantification of Software Changes through Probabilistic Symbolic Execution (N) (AF, CSP, GY), pp. 703–708.

ASE-2015-WalshMK #automation #detection #fault #layout #web

Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N) (TAW, PM, GMK), pp. 709–714.

ASE-2015-VierhauserRGE #approach #case study #experience #lessons learnt #monitoring

Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E) (MV, RR, PG, AE), pp. 715–725.

ASE-2015-WolflSAKKW #case study #experience #generative

Generating Qualifiable Avionics Software: An Experience Report (E) (AW, NS, SA, HK, JK, GWU), pp. 726–736.

ASE-2015-GroceAJM #how #verification

How Verified is My Code? Falsification-Driven Verification (T) (AG, IA, CJ, PEM), pp. 737–748.

ASE-2015-VuNPN #approach #keyword #mining #mobile

Mining User Opinions in Mobile App Reviews: A Keyword-Based Approach (T) (PMV, TTN, HVP, TTN), pp. 749–759.

ASE-2015-GuK #question #what

What Parts of Your Apps are Loved by Users? (XG, SK), pp. 760–770.

ASE-2015-GuzmanEB #approach #classification #evolution #overview

Ensemble Methods for App Review Classification: An Approach for Software Evolution (N) (EG, MEH, BB), pp. 771–776.

ASE-2015-VierhauserRGT #monitoring #runtime

The ReMinds Tool Suite for Runtime Monitoring of Systems of Systems (MV, RR, PG, JTP), pp. 777–782.

ASE-2015-FloresA #collaboration #comprehension #framework #named #platform

DRIVER — A Platform for Collaborative Framework Understanding (NF, AA), pp. 783–788.

ASE-2015-VuPNN #mobile #tool support

Tool Support for Analyzing Mobile App Reviews (PMV, HVP, TTN, TTN), pp. 789–794.

ASE-2015-NguyenPVN #api #markov #mobile #recommendation

Recommending API Usages for Mobile Apps with Hidden Markov Model (TTN, HVP, PMV, TTN), pp. 795–800.

ASE-2015-BozhinoskiRMPT #multi #named

FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters (DB, DDR, IM, PP, MT), pp. 801–806.

ASE-2015-InversoN0TP #bound #concurrent #model checking #multi #named #thread

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs (OI, TLN, BF, SLT, GP), pp. 807–812.

ASE-2015-SohanAM15a #api #automation #documentation #rest

SpyREST in Action: An Automated RESTful API Documentation Tool (SMS, CA, FM), pp. 813–818.

ASE-2015-Narasimhan #c++ #eclipse #plugin

Clone Merge — An Eclipse Plugin to Abstract Near-Clone C++ Methods (KN), pp. 819–823.

ASE-2015-FudabaOANHSTN #automation #named #pseudo #source code

Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code (HF, YO, KA, GN, HH, SS, TT, SN), pp. 824–829.

ASE-2015-ZhengRLDS #named #parallel #source code #verification

CIVL: Formal Verification of Parallel Programs (MZ, MSR, ZL, MBD, SFS), pp. 830–835.

ASE-2015-LinD #android #programming #refactoring

Refactorings for Android Asynchronous Programming (YL, DD), pp. 836–841.

ASE-2015-MaAZSGR15a #automation #generative #named #program analysis #using

GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.

ASE-2015-BajajP015a #named #web

LED: Tool for Synthesizing Web Element Locators (KB, KP, AM), pp. 848–851.

ASE-2015-PietschKKRO #framework #modelling #named #product line

SiPL — A Delta-Based Modeling Framework for Software Product Line Engineering (CP, TK, UK, DR, MO), pp. 852–857.

ASE-2015-ArthoSGCKMRY #api #modelling #testing

Model-Based Testing of Stateful APIs with Modbat (CA, MS, QG, EHC, TK, AM, RR, YY), pp. 858–863.

ASE-2015-BaoYXXW #framework #named

ActivitySpace: A Remembrance Framework to Support Interapplication Information Needs (LB, DY, ZX, XX, XW), pp. 864–869.

ASE-2015-LemieuxB #behaviour #ltl #mining #specification #using

Investigating Program Behavior Using the Texada LTL Specifications Miner (CL, IB), pp. 870–875.

ASE-2015-MorgadoP #mobile #testing #user interface

The iMPAcT Tool: Testing UI Patterns on Mobile Applications (ICM, ACRP), pp. 876–881.

ASE-2015-Braeuer #design #object-oriented

Measuring Object-Oriented Design Principles (JB), pp. 882–885.

ASE-2015-Salama #adaptation #architecture #self

Stability of Self-Adaptive Software Architectures (MS), pp. 886–889.

ASE-2015-Sutii #composition #modelling #named

MetaMod: A Modeling Formalism with Modularity at Its Core (AMS), pp. 890–893.

ASE-2015-Greene #concept #framework #re-engineering

A Generic Framework for Concept-Based Exploration of Semi-Structured Software Engineering Data (GJG), pp. 894–897.

ASE-2015-Okur #c# #comprehension #concurrent #refactoring

Understanding, Refactoring, and Fixing Concurrency in C# (SO), pp. 898–901.

ASE-2015-WangD #architecture #behaviour #message passing #using

A Message-Passing Architecture without Public Ids Using Send-to-Behavior (ESSW, ZD), pp. 902–905.