Michael Goedicke, Tim Menzies, Motoshi Saeki
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2012.

@proceedings{ASE-2012,
	acmid         = "2351676",
	address       = "Essen, Germany",
	editor        = "Michael Goedicke and Tim Menzies and Motoshi Saeki",
	isbn          = "978-1-4503-1204-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2012,
}

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

Committee

Contents (68 items)

18 ×#automation
13 ×#named
12 ×#using
10 ×#testing
6 ×#detection
6 ×#fault
6 ×#modelling
5 ×#analysis
5 ×#debugging
5 ×#predict

ASE-2012-HarmanLJWAC #challenge #programming #search-based #source code #using

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (MH, WBL, YJ, DRW, AA, JAC), pp. 1–14.

ASE-2012-JacobsonSJK #re-engineering

Re-founding software engineering — SEMAT at the age of three (IJ, IS, PJ, MKM), pp. 15–19.

ASE-2012-YuLCZ #debugging #fault

Practical isolation of failure-inducing changes for debugging regression faults (KY, ML, JC, XZ), pp. 20–29.

ASE-2012-GongLJZ #fault #locality

Diversity maximization speedup for fault localization (LG, DL, LJ, HZ), pp. 30–39.

ASE-2012-GopinathZK #effectiveness #fault #locality #specification #using

Improving the effectiveness of spectra-based fault localization using specifications (DG, RNZ, SK), pp. 40–49.

ASE-2012-ThungLLJRD #debugging #detection #empirical #fault #tool support #what

To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools (FT, L, DL, LJ, FR, PTD), pp. 50–59.

ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named

Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.

ASE-2012-NguyenNNLS #debugging #detection #information retrieval #modelling #topic

Duplicate bug report detection with a combination of information retrieval and topic modeling (ATN, TTN, TNN, DL, CS), pp. 70–79.

ASE-2012-XiaoTFHM #analysis #privacy

User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.

ASE-2012-HaiducBOLM #assessment #automation #performance #query #retrieval

Automatic query performance assessment during the retrieval of software artifacts (SH, GB, RO, ADL, AM), pp. 90–99.

ASE-2012-AlmorsyGI #analysis #automation #using

Supporting automated vulnerability analysis using formalized vulnerability signatures (MA, JG, ASI), pp. 100–109.

ASE-2012-RabiserGL #tool support

A qualitative study on user guidance capabilities in product configuration tools (RR, PG, ML), pp. 110–119.

ASE-2012-ApelLL #performance #precise

Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.

ASE-2012-AminGC #approach #automation #linear #modelling

An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling (AA, LG, AC), pp. 130–139.

ASE-2012-ChenK #automation #testing

Puzzle-based automatic testing: bringing humans into the loop by solving puzzles (NC, SK), pp. 140–149.

ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using

Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.

ASE-2012-NoureddineBRS #energy #monitoring #runtime

Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.

ASE-2012-WangD0ZLM #question

Can I clone this piece of code here? (XW, YD, LZ, DZ, EL, HM), pp. 170–179.

ASE-2012-SeoK #predict

Predicting recurring crash stacks (HS, SK), pp. 180–189.

ASE-2012-WestermannHKF #automation #performance #predict

Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.

ASE-2012-GhabiE #automation #validation

Code patterns for automatically validating requirements-to-code traces (AG, AE), pp. 200–209.

ASE-2012-NijjarB #bound #smt #using #verification

Unbounded data model verification using SMT solvers (JN, TB), pp. 210–219.

ASE-2012-RederE #consistency #design #modelling #nondeterminism

Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.

ASE-2012-AlmorsyGI12a #automation #re-engineering #using

Supporting automated software re-engineering using re-aspects (MA, JG, ASI), pp. 230–233.

ASE-2012-IbrahimGHA #ambiguity #analysis #kernel #operating system #points-to #using

Supporting operating system kernel data disambiguation using points-to analysis (ASI, JG, JHHH, MA), pp. 234–237.

ASE-2012-AbadiF #automation

Automatic recovery of statecharts from procedural code (MA, YAF), pp. 238–241.

ASE-2012-RubinC #difference #set #using

Locating distinguishing features using diff sets (JR, MC), pp. 242–245.

ASE-2012-MaruyamaKOH #game studies #slicing

Slicing and replaying code change history (KM, EK, TO, SH), pp. 246–249.

ASE-2012-FaunesSB #algorithm #generative #model transformation #using

Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.

ASE-2012-JamrozikFTH #execution #symbolic computation

Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.

ASE-2012-AmalfitanoFTCM #android #automation #testing #user interface #using

Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.

ASE-2012-LuciaLJB #evolution #named #source code #testing

kbe-anonymity: test data anonymization for evolving programs (L, DL, LJ, AB), pp. 262–265.

ASE-2012-HwangXKMT #evolution #policy #security #testing

Selection of regression system tests for security policy evolution (JH, TX, DEK, TM, YLT), pp. 266–269.

ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.

ASE-2012-BartelKTM #android #automation

Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.

ASE-2012-MaigaABSGAA #anti #detection

Support vector machines for anti-pattern detection (AM, NA, NB, AS, YGG, GA, EA), pp. 278–281.

ASE-2012-NguyenNNNN #detection #embedded #smell #web

Detection of embedded code smells in dynamic web applications (HVN, HAN, TTN, ATN, TNN), pp. 282–285.

ASE-2012-YuanG #approach #clone detection #detection #named #scalability

Boreas: an accurate and scalable token-based approach to code clone detection (YY, YG), pp. 286–289.

ASE-2012-SteimannP #refactoring

Refactorings without names (FS, JvP), pp. 290–293.

ASE-2012-LiT #api #automation #erlang #migration #refactoring #source code

Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.

ASE-2012-Lutz0D #collaboration #mobile #requirements #using

Using mobile devices for collaborative requirements engineering (RL, SS, SD), pp. 298–301.

ASE-2012-DemuthLE #adaptation #automation #co-evolution #constraints #design #generative #modelling

Automatically generating and adapting model constraints to support co-evolution of design models (AD, RELH, AE), pp. 302–305.

ASE-2012-KehrerKPS #adaptation #comparison #difference #tool support

Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.

ASE-2012-SharT #predict #validation #web

Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.

ASE-2012-LuCC #fault #learning #predict #reduction #using

Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.

ASE-2012-DingFLLZSX #mining #online #repository

Healing online service systems via mining historical issue repositories (RD, QF, JGL, QL, DZ, JS, TX), pp. 318–321.

ASE-2012-JongeV #automation #evaluation #fault #syntax

Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.

ASE-2012-KamalrudinGH #consistency #multi #named #requirements #tool support

MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.

ASE-2012-BauersfeldV #automation #java #library #named #robust #testing #user interface

GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.

ASE-2012-AchananuparpLTLL #microblog #roadmap

Observatory of trends in software related microblogs (PA, INL, YT, DL, EPL), pp. 334–337.

ASE-2012-BiallasBK #framework #logic #platform #programmable #verification

Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.

ASE-2012-LedruVTB #testing #traceability

Test suite selection based on traceability annotations (YL, GV, TT, LdB), pp. 342–345.

ASE-2012-SongT #model checking #named #source code

PuMoC: a CTL model-checker for sequential programs (FS, TT), pp. 346–349.

ASE-2012-FalconeC #android #aspect-oriented #embedded #in the cloud #programming

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud (YF, SC), pp. 350–353.

ASE-2012-OmoronyiaPSCDN #adaptation #named #privacy

Caprice: a tool for engineering adaptive privacy (IO, LP, MS, LC, GD, BN), pp. 354–357.

ASE-2012-MorenoM #automation #identification #java #named

JStereoCode: automatically identifying method and class stereotypes in Java code (LM, AM), pp. 358–361.

ASE-2012-CicchettiCMPPZV #development #industrial #modelling #named

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.

ASE-2012-TamrawiNNN #analysis #named #refactoring

SYMake: a build code analysis and refactoring tool for makefiles (AT, HAN, HVN, TNN), pp. 366–369.

ASE-2012-HineSHV #enterprise #interactive #named #visualisation

Quokka: visualising interactions of enterprise software environment emulators (CMH, JGS, JH, SV), pp. 370–373.

ASE-2012-DosingerMB #automation #communication #effectiveness #integration #testing

Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.

ASE-2012-CamposRPA #debugging #eclipse #named #plugin #testing

GZoltar: an eclipse plug-in for testing and debugging (JC, AR, AP, RA), pp. 378–381.

ASE-2012-AndersenNLLK #semantics

Semantic patch inference (JA, ACN, DL, JLL, SCK), pp. 382–385.

ASE-2012-NguyenVLG #detection #framework #knowledge-based #named #requirements

REInDetector: a framework for knowledge-based requirements engineering (THN, BQV, ML, JG), pp. 386–389.

ASE-2012-Gabmeyer #model transformation #verification

Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.

ASE-2012-Quesada #generative #modelling #parsing

A model-driven parser generator with reference resolution support (LQ), pp. 394–397.

ASE-2012-Yamamoto #refinement

Property-preserving program refinement (YY), pp. 398–401.

ASE-2012-Nogueira #complexity #predict #testing

Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.

ASE-2012-Meananeatra #identification #maintenance #refactoring #sequence

Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.