Ivica Crnkovic, Marsha Chechik, Paul Grünbacher
Proceedings of the 29th International Conference on Automated Software Engineering
ASE, 2014.

@proceedings{ASE-2014,
	acmid         = "2642937",
	address       = "Vasteras, Sweden",
	editor        = "Ivica Crnkovic and Marsha Chechik and Paul Grünbacher",
	isbn          = "978-1-4503-3013-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 29th International Conference on Automated Software Engineering}",
	year          = 2014,
}

Event page: http://ase2014.org (@ASEConf2014)

Committee

Contents (107 items)

20 ×#automation
19 ×#named
15 ×#testing
14 ×#using
11 ×#modelling
7 ×#generative
6 ×#analysis
6 ×#debugging
6 ×#verification
5 ×#comparison

ASE-2014-Floridi #design #logic

Keynote talk: the logic of information design (LF), pp. 1–2.

ASE-2014-Voronkov

Keynote talk: EasyChair (AV), pp. 3–4.

ASE-2014-Larsson #case study #experience #industrial #lifecycle

Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.

ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread

Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.

ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management

Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.

ASE-2014-DingesA #execution #generative #using

Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.

ASE-2014-PalepuJ #dynamic analysis #slicing

Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.

ASE-2014-BajajPM #code completion #javascript #named

Dompletion: DOM-aware JavaScript code completion (KB, KP, AM), pp. 43–54.

ASE-2014-CamposAFA #automation #generative #integration #testing

Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.

ASE-2014-FardMM #automation #generative #testing #web

Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.

ASE-2014-ArcuriFG #automation #dependence #generative #testing

Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.

ASE-2014-MahajanH #comparison #html #image #using

Finding HTML presentation failures using image comparison techniques (SM, WGJH), pp. 91–96.

ASE-2014-RajanSSK #execution #using

Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.

ASE-2014-Reiss #user interface

Seeking the user interface (SPR), pp. 103–114.

ASE-2014-YeXZC #ranking #retrieval

Interrogative-guided re-ranking for question-oriented software text retrieval (TY, BX, YZ, XC), pp. 115–120.

ASE-2014-ParkKB #empirical #fault

An empirical study on reducing omission errors in practice (JP, MK, DHB), pp. 121–126.

ASE-2014-LuciaLX #fault

Fusion fault localizers (L, DL, XX), pp. 127–138.

ASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #testing #variability

Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.

ASE-2014-JinCQR #configuration management #named

PrefFinder: getting the right preference in configurable software systems (DJ, MBC, XQ, BR), pp. 151–162.

ASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using

MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.

ASE-2014-KusanoW #abstraction #optimisation #partial order #reduction

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (MK, CW), pp. 175–186.

ASE-2014-LiC #runtime #validation

Symbolic state validation through runtime data (YL, SCC), pp. 187–198.

ASE-2014-YangXLCML #adaptation #nondeterminism #self #verification

Verifying self-adaptive applications suffering uncertainty (WY, CX, YL, CC, XM, JL), pp. 199–210.

ASE-2014-CosmoLTZZEA #automation #deployment #synthesis

Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.

ASE-2014-OsterlundL #component #concurrent #using

Concurrent transformation components using contention context sensors (EÖ, WL), pp. 223–234.

ASE-2014-WozniakNZMPG #component #design

Assigning time budgets to component functions in the design of time-critical automotive systems (EW, MDN, HZ, CM, STP, SG), pp. 235–246.

ASE-2014-RomanoE #library #memory management #named #runtime

symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.

ASE-2014-KauslerS #constraints #evaluation #execution #string #symbolic computation #theorem proving

Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.

ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing

Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.

ASE-2014-StephenSSE #big data #program analysis

Program analysis for secure big data processing (JJS, SS, RS, PTE), pp. 277–288.

ASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based

Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.

ASE-2014-MarkerBG #comprehension #heuristic #performance

Understanding performance stairs: elucidating heuristics (BM, DSB, RAvdG), pp. 301–312.

ASE-2014-FalleriMBMM #difference #fine-grained #source code

Fine-grained and accurate source code differencing (JRF, FM, XB, MM, MM), pp. 313–324.

ASE-2014-CavalcantiMNAM #information retrieval #rule-based

Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.

ASE-2014-MkaouerKBDC #interactive #optimisation #recommendation #refactoring #using

Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.

ASE-2014-BavotaPTPOC #recommendation #refactoring

Recommending refactorings based on team co-maintenance patterns (GB, SP, NT, MDP, RO, GC), pp. 337–342.

ASE-2014-CaiS #dependence #impact analysis #named #precise #using

Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.

ASE-2014-FelsingGKRU #automation #verification

Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.

ASE-2014-GligoricNLM #automation #comparison #empirical #evaluation #testing

An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.

ASE-2014-GiannakopoulouHILRR #assurance #testing

Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.

ASE-2014-TillmannHX #automation #generative #testing

Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.

ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.

ASE-2014-GuoZORCAA #combinator #optimisation #parallel #scalability

Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.

ASE-2014-AbalBW #analysis #debugging #kernel #linux #variability

42 variability bugs in the linux kernel: a qualitative analysis (IA, CB, AW), pp. 421–432.

ASE-2014-BecanSABBB #automation #comparison #formal method #matrix

Automating the formalization of product comparison matrices (GB, NS, MA, OB, AB, BB), pp. 433–444.

ASE-2014-LillackKB #configuration management

Tracking load-time configuration options (ML, CK, EB), pp. 445–456.

ASE-2014-NguyenNNN #api #approach #learning #migration #mining #statistics

Statistical learning approach for mining API usage mappings for code migration (ATN, HAN, TTN, TNN), pp. 457–468.

ASE-2014-RanganathVG #comparison #testing #using

Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.

ASE-2014-RahimiC #automation

Personas in the middle: automated support for creating personas as focal points in feature gathering forums (MR, JCH), pp. 479–484.

ASE-2014-HamidiAL #adaptation #using

Constructing adaptive configuration dialogs using crowd data (SH, PA, SL), pp. 485–490.

ASE-2014-MaezawaNWH #ajax #using #validation

Validating ajax applications using a delay-based mutation technique (YM, KN, HW, SH), pp. 491–502.

ASE-2014-HillsKV #lightweight #php

Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.

ASE-2014-ShenVTADLKZ #data flow

Information flows as a permission mechanism (FS, NV, CT, MA, BD, EJL, SYK, LZ), pp. 515–526.

ASE-2014-GayRH #automation

Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.

ASE-2014-MolotnikovVR #automation #c #verification

Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.

ASE-2014-KuschkeM #modelling #process #uml

Pattern-based auto-completion of UML modeling activities (TK, PM), pp. 551–556.

ASE-2014-UbayashiALLHK #compilation #verification

Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.

ASE-2014-KuchtaCCC #automation #documentation #named #towards

Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.

ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation

Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.

ASE-2014-NearJ #analysis #interactive #named #security #web

Derailer: interactive security analysis for web applications (JPN, DJ), pp. 587–598.

ASE-2014-Schneider #fault #modelling

Tracking down root causes of defects in simulink models (JS), pp. 599–604.

ASE-2014-CohenM

The confidence in our k-tails (HC, SM), pp. 605–610.

ASE-2014-WangWWYSYLFG #concurrent #debugging #locality #memory management #using

Localization of concurrency bugs using shared memory access pairs (WW, ZW, CW, PCY, XS, XY, JL, XF, YG), pp. 611–622.

ASE-2014-AzimNM #automation #self #smarttech #towards

Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.

ASE-2014-HagiharaESY #satisfiability #set #specification

Minimal strongly unsatisfiable subsets of reactive system specifications (SH, NE, MS, NY), pp. 629–634.

ASE-2014-RenCL #android #named

Droidmarking: resilient software watermarking for impeding android application repackaging (CR, KC, PL), pp. 635–646.

ASE-2014-BergmayrTW #evolution

From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.

ASE-2014-LutzD #comparison #data flow #difference #interactive #programming #using #visual notation

Using visual dataflow programming for interactive model comparison (RL, SD), pp. 653–664.

ASE-2014-PadhyeMS #modelling #named

NeedFeed: taming change notifications by modeling code relevance (RP, SM, VSS), pp. 665–676.

ASE-2014-WangLJ #code search #feedback

Active code search: incorporating user feedback to improve code search relevance (SW, DL, LJ), pp. 677–682.

ASE-2014-PirzadehS #testing #user interface

Resilient user interface level tests (HP, SS), pp. 683–688.

ASE-2014-LinYSM #agile #project management #tool support

Studying task allocation decisions of novice agile teams with data from agile project management tools (JL, HY, ZS, CM), pp. 689–694.

ASE-2014-LiuW #named #programming

PiE: programming in eliza (XL, DW), pp. 695–700.

ASE-2014-ZhangCHXXZM #polynomial #search-based

Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.

ASE-2014-RamaK #dynamic analysis #refactoring

A dynamic analysis to support object-sharing code refactorings (GMR, RK), pp. 713–724.

ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using

Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.

ASE-2014-BurgDMDGH #consistency #nondeterminism #process

Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.

ASE-2014-BasuB #automation #bound #interactive #verification

Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.

ASE-2014-GuoMPC #towards #traceability

Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.

ASE-2014-EllisHKLLLMM #analysis #automation #requirements

Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.

ASE-2014-AhmedNWS #behaviour #formal method #integration

Formalisation of the integration of behavior trees (KA, MAHN, LW, AS), pp. 779–784.

ASE-2014-LiuSLZWDW #automation #case study #detection #documentation #fault

Automatic early defects detection in use case documents (SL, JS, YL, YZ, BW, JSD, XW), pp. 785–790.

ASE-2014-CaoZD #named

SymCrash: selective recording for reproducing crashes (YC, HZ, SD), pp. 791–802.

ASE-2014-KochharTL #bias #debugging #locality #matter #question

Potential biases in bug localization: do they matter? (PSK, YT, DL), pp. 803–814.

ASE-2014-ZuddasJPMO #comprehension #debugging #named

MIMIC: locating and understanding bugs by analyzing mimicked executions (DZ, WJ, FP, LM, AO), pp. 815–826.

ASE-2014-KehrerKR #modelling #visual notation

Workspace updates of visual models (TK, UK, DR), pp. 827–830.

ASE-2014-Lopez-FernandezGL #metamodelling #validation #verification

Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.

ASE-2014-MaYHC #modelling #uml #web

A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.

ASE-2014-ArifulinaWBP #composition #modelling #named

SeSAME: modeling and analyzing high-quality service compositions (SA, SW, MB, MCP), pp. 839–842.

ASE-2014-HigoK #consistency #named #nondeterminism #source code

MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.

ASE-2014-MarasSC #analysis #named #reuse #web

Firecrow: a tool for web application analysis and reuse (JM, MS, JC), pp. 847–850.

ASE-2014-PruijtKWB #architecture #named #set

HUSACCT: architecture compliance checking with rich sets of module and rule types (LJP, CK, JMvdW, SB), pp. 851–854.

ASE-2014-MatinnejadNBB14a #named #testing

CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.

ASE-2014-HollingPG #generative #lightweight #named #testing

8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.

ASE-2014-MoreiraP #modelling #testing #user interface

PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.

ASE-2014-TurenneKGR #generative

A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.

ASE-2014-ThungKL #debugging #detection #named #tool support

DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.

ASE-2014-Schneider14a #fault #modelling #runtime

Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.

ASE-2014-Burke #feature model

Utilizing feature location techniques for feature addition and feature enhancement (JTB), pp. 879–882.

ASE-2014-Kleffmann #concept #design #evaluation #interactive #named

AugIR: the conceptual design and evaluation of an augmented interaction room (MK), pp. 883–886.

ASE-2014-Vierhauser #framework #monitoring #requirements

A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.

ASE-2014-Borg #debugging #re-engineering #using

Embrace your issues: compassing the software engineering landscape using bug reports (MB), pp. 891–894.

ASE-2014-Mohr #automation #composition

Issues of automated software composition in AI planning (FM), pp. 895–898.

ASE-2014-Miranda #metric #testing

A proposal for revisiting coverage testing metrics (BM), pp. 899–902.

ASE-2014-Angerer #impact analysis #multi #product line #variability

Variability-aware change impact analysis of multi-language product lines (FA), pp. 903–906.

ASE-2014-Kechagia #api #robust

Improvement of applications’ stability through robust APIs (MK), pp. 907–910.

ASE-2014-Priefer #content management #development #modelling

Model-driven development of content management systems based on Joomla (DP), pp. 911–914.