Proceedings of the 28th IEEE/ACM International Conference on Automated 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

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

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

    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.