BibSLEIGH — Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering

Ewen Denney, Tevfik Bultan, Andreas Zeller
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2013.

@proceedings{ASE-2013,
	address       = "Silicon Valley, California, USA",
	editor        = "Ewen Denney and Tevfik Bultan and Andreas Zeller",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2013,
}

Event page: http://www.ase-conferences.org/ase/past/ase2013/index.html

Committee

Demo Track Chairs: Andrew Ireland, Neha Rungta

Doctoral Symposium Chairs: Paul Grünbacher, Marsha Chechik

Finance Chair: Ganesh J. Pai

General Chair: Ewen Denney

Keynote Speaker: Joseph M. Hellerstein, Jeremy Frank

Local Committee: Ganesh J. Pai

Mobile Chair: Reid Holmes

Program Board: Sven Apel, Earl T. Barr, Samik Basu, Yuriy Brun, Yuanfang Cai, Marsha Chechik, Jane Cleland-Huang, Christoph Csallner, Jyotirmoy V. Deshmukh, Xiang Fu, Alessandra Gorla, John Grundy, Lars Grunske, Sylvain Hallé, Christian Hammer, John G. Hosking, Lingxiao Jiang, Sarfraz Khurshid, Julia Lawall, Nenad Medvidović, Hong Mei, Atif Memon, Alessandro Orso, Klaus Ostermann, Andrey Rybalchenko, Yannis Smaragdakis, Lin Tan, Laurie Williams, Thomas Zimmermann

Program Chairs: Tevfik Bultan, Andreas Zeller

Program Committee: Andrew Begel, Myra B. Cohen, Danny Dig, Bernd Fischer, Gordon Fraser, Harald Gall, Dimitra Giannakopoulou, Alex Groce, Paul Grünbacher, Arie Gurfinkel, William G. J. Halfond, Mark Harman, Sunghun Kim, David Lo, Shahar Maoz, Darko Marinov, Tim Menzies, Mira Mezini, Tien Nguyen, Corina S. Pasareanu, Lori L. Pollock, Martin P. Robillard, Grigore Rosu, Abhik Roychoudhury, Gabriele Täntzer, Nikolai Tillmann, Sebastián Uchitel, Willem Visser, Lu Zhang, Charles Zhang

Publicity Chair: Christoph Gladisch

Satellite Events Chairs: Marcelo d'Amorim, David Lo

Social Media Chair: Tien Nguyen

Student Volunteers Chair: Ronnie Phillips

Web Chairs: Ganesh J. Pai, Sarah Thompson

Contents (93 items)

ASE-2013-Hellerstein #case study #design #distributed #experience #named: BOOM: Experiences in language and tool design for distributed systems (JMH), p. 1.
ASE-2013-Frank #automation #challenge #validation #verification: The challenges of verification and validation of automated planning systems (JF), p. 2.
ASE-2013-ZhangCW #concurrent #data type #named #runtime: Round-up: Runtime checking quasi linearizability of concurrent data structures (LZ, AC, CW), pp. 4–14.
ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry: Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
ASE-2013-HuangMM #proving #smt #using: Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.
ASE-2013-Ganai #incremental #performance #predict #reasoning: Efficient data race prediction with incremental reasoning on time-stamped lock history (MKG), pp. 37–47.
ASE-2013-KwonZX #execution #framework #independence #named #platform: PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASE-2013-PalepuXJ #dependence #dynamic analysis #performance #summary: Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
ASE-2013-MeredithR #parametricity #performance #runtime #string #verification: Efficient parametric runtime verification with deterministic string rewriting (POM, GR), pp. 70–80.
ASE-2013-SumnerZ #analysis #execution #identification: Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
ASE-2013-ZhangGMK #random: Operator-based and random mutant selection: Better together (LZ, MG, DM, SK), pp. 92–102.
ASE-2013-XuHRW #data flow #testing: Testing properties of dataflow program operators (ZX, MH, GR, KLW), pp. 103–113.
ASE-2013-TasharofiPLJ #automation #named #source code #testing: Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASE-2013-CotroneoLFN #named #operating system #robust #testing: SABRINE: State-based robustness testing of operating systems (DC, DDL, FF, RN), pp. 125–135.
ASE-2013-ChoDS #bound #composition #model checking #named #source code: BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
ASE-2013-RosnerSAKF #alloy #analysis #clustering #modelling #named #parallel: Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
ASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification: Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASE-2013-ArthoHPTWY #communication #distributed #model checking: Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASE-2013-NguyenNNNR #case study #evolution: A study of repetitiveness of code changes in software evolution (HAN, ATN, TTN, TNN, HR), pp. 180–190.
ASE-2013-KehrerKT #version control: Consistency-preserving edit scripts in model versioning (TK, UK, GT), pp. 191–201.
ASE-2013-ChenJ #named #parallel #refactoring: JFlow: Practical refactorings for flow-based parallelism (NC, REJ), pp. 202–212.
ASE-2013-BarnesPG #architecture #automation #evolution: Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASE-2013-ZhangS #automation #query #sql: Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.
ASE-2013-LiRSDC #data flow #generative #named #source code: SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing: Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ASE-2013-CamposAFd #fault #generative #locality #testing: Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASE-2013-PalombaBPOLP #detection #smell #source code #using: Detecting bad smells in source code using change history information (FP, GB, MDP, RO, ADL, DP), pp. 268–278.
ASE-2013-JiangTK #fault #personalisation #predict: Personalized defect prediction (TJ, LT, SK), pp. 279–289.
ASE-2013-ThungWLL #api #automation #feature model #recommendation: Automatic recommendation of API methods from feature requests (FT, SW, DL, JLL), pp. 290–300.
ASE-2013-GuoCASW #approach #learning #performance #predict #statistics #variability: Variability-aware performance prediction: A statistical learning approach (JG, KC, SA, NS, AW), pp. 301–311.
ASE-2013-ChandramohanTBSP #approach #behaviour #bound #detection #modelling #scalability: A scalable approach for malware detection through bounded feature space behavior modeling (MC, HBKT, LCB, LKS, BMP), pp. 312–322.
ASE-2013-Wu0LD #analysis #automation #component #dependence #using: Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
ASE-2013-VanciuA #architecture #constraints #using: Finding architectural flaws using constraints (RV, MAA), pp. 334–344.
ASE-2013-SahaLKP #debugging #information retrieval #locality #using: Improving bug localization using structured information retrieval (RKS, ML, SK, DEP), pp. 345–355.
ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair: Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
ASE-2013-RayKPR #consistency #detection #nondeterminism #semantics: Detecting and characterizing semantic inconsistencies in ported code (BR, MK, SP, NR), pp. 367–377.
ASE-2013-OhmannL #analysis #control flow #debugging #lightweight: Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.
ASE-2013-GuoZYZZ #android #detection: Characterizing and detecting resource leaks in Android applications (CG, JZ, JY, ZZ, YZ), pp. 389–398.
ASE-2013-NguyenNNNN #multi #web: Dangling references in multi-configuration and dynamic PHP-based Web applications (HVN, HAN, TTN, ATN, TNN), pp. 399–409.
ASE-2013-OsterlundL #data type: Dynamically transforming data structures (EÖ, WL), pp. 410–420.
ASE-2013-IzsoSBHR #graph #metric #performance #precise #predict #query #towards: Towards precise metrics for predicting graph query performance (BI, ZS, GB, ÁH, IR), pp. 421–431.
ASE-2013-Xiao0LLS #learning #named #type system: TzuYu: Learning stateful typestates (HX, JS, YL, SWL, CS), pp. 432–442.
ASE-2013-FahlandLM #mining: Mining branching-time scenarios (DF, DL, SM), pp. 443–453.
ASE-2013-PohlSP #complexity #feature model #modelling: Measuring the structural complexity of feature models (RP, VS, KP), pp. 454–464.
ASE-2013-SayyadIMA #product line #scalability: Scalable product line configuration: A straw to break the camel’s back (ASS, JI, TM, HA), pp. 465–474.
ASE-2013-LouLDFZX #case study #experience #online: Software analytics for incident management of online services: An experience report (JGL, QL, RD, QF, DZ, TX), pp. 475–485.
ASE-2013-GarciaIM #analysis #architecture #comparative: A comparative analysis of software architecture recovery techniques (JG, II, NM), pp. 486–496.
ASE-2013-ZhangPXJWZ #monitoring #on-demand #towards: Towards contextual and on-demand code clone management by continuous monitoring (GZ, XP, ZX, SJ, HW, WZ), pp. 497–507.
ASE-2013-SimburgerAGL #empirical #optimisation: The potential of polyhedral optimization: An empirical study (AS, SA, AG, CL), pp. 508–518.
ASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using: Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASE-2013-NejatiABHBC #cpu #embedded #risk management: Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ASE-2013-NardoABFNM #modelling #validation: Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
ASE-2013-DhunganaTWW #automation #interactive #rule-based #verification: Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
ASE-2013-WongYT #automation #generative #mining #named: AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
ASE-2013-GhaisasMA #case study #detection #documentation: Detecting system use cases and validations from documents (SG, MM, PRA), pp. 568–573.
ASE-2013-Garcia-GalanTC #approach #game studies #multi #variability: Multi-user variability configuration: A game theoretic approach (JGG, PT, ARC), pp. 574–579.
ASE-2013-SannierAB #case study #comparison #matrix #variability #wiki: From comparison matrix to Variability Model: The Wikipedia case study (NS, MA, BB), pp. 580–585.
ASE-2013-DietrichCS #effectiveness #learning #query #requirements #retrieval: Learning effective query transformations for enhanced requirements trace retrieval (TD, JCH, YS), pp. 586–591.
ASE-2013-XuYMCL #adaptation #dependence #self #towards: Environment rematching: Toward dependability improvement for self-adaptive applications (CX, WY, XM, CC, JL), pp. 592–597.
ASE-2013-HolderSDT #android #execution: Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.
ASE-2013-KifetewJTOT #approach #grammarware #named #source code: SBFR: A search based approach for reproducing failures of programs with grammar based input (FMK, WJ, RT, AO, PT), pp. 604–609.
ASE-2013-MirshokraieMP #generative #javascript #named #testing: PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASE-2013-KukrejaHT #game studies #testing #using: Randomizing regression tests using game theory (NK, WGJH, MT), pp. 616–621.
ASE-2013-NguyenT #automation #classification #combinator #dependence #testing: Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASE-2013-SouzaC #fault #integration #locality: Adding context to fault localization with integration coverage (HAdS, MLC), pp. 628–633.
ASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using: Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASE-2013-ScannielloGMM #clustering #fault #predict #using: Class level fault prediction using software clustering (GS, CG, AM, TM), pp. 640–645.
ASE-2013-MoritzVPGMG #api #detection #named #repository #scalability #source code #visualisation: ExPort: Detecting and visualizing API usages in large source code repositories (EM, MLV, DP, MG, CM, MG), pp. 646–651.
ASE-2013-HolavanalliMNRSKZ #android: Flow Permissions for Android (SH, DM, VN, BR, FS, SYK, LZ), pp. 652–657.
ASE-2013-RegerBR #approach #mining #parametricity #specification: A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
ASE-2013-WuestSG #automation #generative #metamodelling #sketching: Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
ASE-2013-VeerappaH #approach #maturity #requirements: Assessing the maturity of requirements through argumentation: A good enough approach (VV, RH), pp. 670–675.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality #requirements: Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
ASE-2013-PilgrimUTS #approach #co-evolution: Model/code co-refactoring: An MDE approach (JvP, BU, AT, FS), pp. 682–687.
ASE-2013-SaadaHNS #model transformation #multi #optimisation #using: Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
ASE-2013-MacedoGC: Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.
ASE-2013-ChhetriCVK #in the cloud: Smart Cloud Broker: Finding your home in the clouds (MBC, SC, QBV, RK), pp. 698–701.
ASE-2013-CimattiDT #contract #named #refinement: OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ASE-2013-FalkeMS #bound #model checking: The bounded model checker LLBMC (SF, FM, CS), pp. 706–709.
ASE-2013-0002IP #c #concurrent #named #preprocessor #tool support #verification: CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASE-2013-GambiHD #automation #testing: Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASE-2013-AvazpourGG #automation #model transformation #specification #tool support #using #visualisation: Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ASE-2013-SchaeferDS #framework #independence #named #testing #towards: Crushinator: A framework towards game-independent testing (CS, HD, BMS), pp. 726–729.
ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing: Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASE-2013-CalinescuJR #self #verification: Developing self-verifying service-based systems (RC, KJ, YR), pp. 734–737.
ASE-2013-LetsholoZC #analysis #modelling #named #requirements: TRAM: A tool for transforming textual requirements into analysis models (KL, LZ, EVC), pp. 738–741.
ASE-2013-AroraZRYJ #lightweight #named: iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASE-2013-Fard #behaviour #detection #distributed #independence #using: Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
ASE-2013-Demasi #fault tolerance #logic #source code #specification: Synthesizing fault-tolerant programs from deontic logic specifications (RD), pp. 750–753.
ASE-2013-Servant #analysis #debugging #using: Supporting bug investigation using history analysis (FS), pp. 754–757.
ASE-2013-Lin #agile #distributed: Context-aware task allocation for distributed agile team (JL), pp. 758–761.
ASE-2013-Mirakhorli #architecture #implementation #visualisation: Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization (MM), pp. 762–765.

Ewen Denney, Tevfik Bultan, Andreas ZellerProceedings of the 28th IEEE/ACM International Conference on Automated Software EngineeringASE, 2013.

Event page: http://www.ase-conferences.org/ase/past/ase2013/index.html

Committee

Contents (93 items)

Ewen Denney, Tevfik Bultan, Andreas Zeller
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2013.