Charles Pecheur, James H. Andrews, Elisabetta Di Nitto
Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2010.

@proceedings{ASE-2010,
	address       = " Antwerp, Belgium",
	editor        = "Charles Pecheur and James H. Andrews and Elisabetta Di Nitto",
	isbn          = "978-1-4503-0116-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2010,
}

Event page: http://www.ase-conferences.org/ase/past/ase2010/

Committee

Contents (87 items)

19 ×#named
13 ×#automation
11 ×#modelling
9 ×#testing
7 ×#architecture
7 ×#tool support
6 ×#generative
5 ×#debugging
5 ×#detection
5 ×#mining

ASE-2010-Bosch #composition #re-engineering #towards

Keynote address: toward compositional software engineering (JB), pp. 1–2.

ASE-2010-Abi-AntounB #architecture #security

Analyzing security architectures (MAA, JMB), pp. 3–12.

ASE-2010-HirschHG #generative #named #specification #visual notation #wiki

VikiBuilder: end-user specification and generation of visual wikis (CH, JGH, JCG), pp. 13–22.

ASE-2010-ManganoBDNH #design #sketching

Software design sketching with calico (NM, AB, MD, EON, AvdH), pp. 23–32.

ASE-2010-BuseW #automation

Automatically documenting program changes (RPLB, WW), pp. 33–42.

ASE-2010-SridharaHMPV #automation #generative #java #summary #towards

Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.

ASE-2010-YangWRN #automation #coordination #detection #natural language #requirements

Automatic detection of nocuous coordination ambiguities in natural language requirements (HY, AW, ANDR, BN), pp. 53–62.

ASE-2010-VierhauserGERH #consistency #flexibility #modelling #product line #scalability #variability

Flexible and scalable consistency checking on product line variability models (MV, PG, AE, RR, WH), pp. 63–72.

ASE-2010-BergerSLWC #modelling #operating system #variability

Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.

ASE-2010-CoorayMRK #configuration management #reliability

RESISTing reliability degradation through proactive reconfiguration (DC, SM, RR, DK), pp. 83–92.

ASE-2010-LiangWWWXM #automation #effectiveness #set #static analysis

Automatic construction of an effective training set for prioritizing static analysis warnings (GL, LW, QW, QW, TX, HM), pp. 93–102.

ASE-2010-LawallL #approach #automation #debugging

An automated approach for finding variable-constant pairing bugs (JLL, DL), pp. 103–112.

ASE-2010-KessentiniVS #identification #risk management

Deviance from perfection is a better criterion than closeness to evil when identifying risky code (MK, SV, HAS), pp. 113–122.

ASE-2010-Paulheim #component #user interface

Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components (HP), pp. 123–126.

ASE-2010-KimKP #architecture #development #quality #tool support

Tool support for quality-driven development of software architectures (SK, DKK, SP), pp. 127–130.

ASE-2010-TanejaLMXT #multi #named #testing #validation #web

MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.

ASE-2010-Xing #comparison #difference

Model comparison with GenericDiff (ZX), pp. 135–138.

ASE-2010-KimBK #product line

Eliminating products to test in a software product line (CHPK, DSB, SK), pp. 139–142.

ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation

A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.

ASE-2010-RamonCM #legacy #modelling #reverse engineering #user interface #visual notation

Model-driven reverse engineering of legacy graphical user interfaces (ÓSR, JSC, JGM), pp. 147–150.

ASE-2010-BavotaLMO #refactoring

A two-step technique for extract class refactoring (GB, ADL, AM, RO), pp. 151–154.

ASE-2010-LiHG #ajax #behaviour #detection #interactive #web

Detecting user-visible failures in AJAX web applications by analyzing users’ interaction behaviors (WL, MJH, CG), pp. 155–158.

ASE-2010-BagheriSS #architecture #independence

Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.

ASE-2010-HuangPWXM #assurance #mining

Text mining in supporting software systems risk assurance (LH, DP, LW, TX, TM), pp. 163–166.

ASE-2010-BiegelD #api #clone detection #detection #flexibility #implementation #named

JCCD: a flexible and extensible API for implementing custom code clone detectors (BB, SD), pp. 167–168.

ASE-2010-AlmeidaMSV #framework #named #peer-to-peer #testing

PeerUnit: a framework for testing peer-to-peer systems (ECdA, JEM, GS, PV), pp. 169–170.

ASE-2010-MelissonMRRS #architecture #component #configuration management #distributed #runtime

Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.

ASE-2010-BruneliereCJM #framework #modelling #named #reverse engineering

MoDisco: a generic and extensible framework for model driven reverse engineering (HB, JC, FJ, FM), pp. 173–174.

ASE-2010-BalzSG #maintenance #modelling #state machine #tool support

Tool support for continuous maintenance of state machine models in program code (MB, MS, MG), pp. 175–176.

ASE-2010-HineSV #enterprise #modelling #named #runtime

Reac2o: a runtime for enterprise system models (CMH, JGS, SV), pp. 177–178.

ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation

Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.

ASE-2010-KhatchadourianM #automation #java #refactoring

Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.

ASE-2010-Green #implementation #specification

Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.

ASE-2010-ShaikhCWM #modelling #ocl #slicing #uml

Verification-driven slicing of UML/OCL models (AS, RC, UKW, NM), pp. 185–194.

ASE-2010-ManiSDS #automation #fault

Automated support for repairing input-model faults (SM, VSS, PD, SS), pp. 195–204.

ASE-2010-MorinMFTBJ #adaptation #modelling

Security-driven model-based dynamic adaptation (BM, TM, FF, YLT, OB, JMJ), pp. 205–214.

ASE-2010-KimYS #debugging #memory management #model checking #named #using

JRF-E: using model checking to give advice on eliminating memory model-related bugs (KK, TYK, BAS), pp. 215–224.

ASE-2010-HeJBGW #approach #bound #model checking #statistics

A bounded statistical approach for model checking of unbounded until properties (RH, PJ, SB, APG, HW), pp. 225–234.

ASE-2010-HalleEBB #fault #model checking #navigation #runtime #state machine #web

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.

ASE-2010-GibiecCC #mining #query #towards

Towards mining replacement queries for hard-to-retrieve traces (MG, AC, JCH), pp. 245–254.

ASE-2010-KamalrudinGH #case study #requirements #tool support

Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.

ASE-2010-SindhgattaNSVR #developer #mining

Timesheet assistant: mining and reporting developer effort (RS, NCN, BS, KV, AGR), pp. 265–274.

ASE-2010-ShangAH #case study #experience #mining #pipes and filters #repository #scalability #tool support #using

An experience report on scaling tools for mining software repositories using MapReduce (WS, BA, AEH), pp. 275–284.

ASE-2010-LiuZHJM #named #programming #web

iMashup: assisting end-user programming for the service-oriented web (XL, QZ, GH, ZJ, HM), pp. 285–288.

ASE-2010-TanejaZX #automation #database #generative #named #testing

MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.

ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing

Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.

ASE-2010-AliHGH #specification #tool support #visual notation

End-user oriented critic specification for domain-specific visual language tools (NMA, JGH, JCG, JH), pp. 297–300.

ASE-2010-NgocO #fault #using

Checking roundoff errors using counterexample-guided narrowing (DTBN, MO), pp. 301–304.

ASE-2010-HilliardMMP #architecture #framework #megamodelling

Realizing architecture frameworks through megamodelling techniques (RH, IM, HM, PP), pp. 305–308.

ASE-2010-LunguRL #dependence #ecosystem

Recovering inter-project dependencies in software ecosystems (ML, RR, ML), pp. 309–312.

ASE-2010-SchulteFW #assembly #automation #evolution #program repair

Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.

ASE-2010-BorgesGL #adaptation #self #verification

Integrating model verification and self-adaptation (RVB, ASdG, LCL), pp. 317–320.

ASE-2010-KocaguneliGMYK #estimation

When to use data from other projects for effort estimation (EK, GG, TM, YY, JWK), pp. 321–324.

ASE-2010-WoollardMPM #architecture #named

Kadre: domain-specific architectural recovery for scientific software systems (DW, CM, DP, NM), pp. 325–328.

ASE-2010-KhalekK #automation #database #generative #query #sql #testing

Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.

ASE-2010-BoucherCHBD #approach #implementation #product line

Tag and prune: a pragmatic approach to software product line implementation (QB, AC, PH, AB, LD), pp. 333–336.

ASE-2010-AroonvatanapornSB #assessment #estimation #nondeterminism

Reducing estimation uncertainty with continuous assessment: tracking the “cone of uncertainty” (PA, CS, BWB), pp. 337–340.

ASE-2010-RatanotayanonCS #feature model #transitive #using

Using transitive changesets to support feature location (SR, HJC, SES), pp. 341–344.

ASE-2010-SimmondsC #monitoring #named

RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.

ASE-2010-RederE #design #detection #fault #named #uml #visualisation

Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.

ASE-2010-RajeevSSR #code generation #named #testing

CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.

ASE-2010-VisserG #debugging #named

Impendulo: debugging the programmer (WV, JG), pp. 351–352.

ASE-2010-XingSLD #debugging #named #specification

SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.

ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation

Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.

ASE-2010-MontrieuxJHYST #code generation #tool support

Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.

ASE-2010-HarelMSB #named #programming #towards

PlayGo: towards a comprehensive tool for scenario based programming (DH, SM, SS, DB), pp. 359–360.

ASE-2010-IvanovOSV #analysis #behaviour #embedded #modelling #set #tool support

REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems (DI, MO, CCS, AV), pp. 361–362.

ASE-2010-NohrerE #named

C2O: a tool for guided decision-making (AN, AE), pp. 363–364.

ASE-2010-Lamsweerde #modelling

Keynote address: model engineering for model-driven engineering (AvL), pp. 365–366.

ASE-2010-TaleghaniA

Search-carrying code (AT, JMA), pp. 367–376.

ASE-2010-HooimeijerW #constraints #string

Solving string constraints lazily (PH, WW), pp. 377–386.

ASE-2010-LoM #mining #specification

Scenario-based and value-based specification mining: better together (DL, SM), pp. 387–396.

ASE-2010-QiRL #evolution #generative #source code #testing

Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.

ASE-2010-HolzerTVS #how #testing

How did you specify your test suite (AH, CS, MT, HV), pp. 407–416.

ASE-2010-FattoriPMM #analysis

Dynamic and transparent analysis of commodity production systems (AF, RP, LM, MM), pp. 417–426.

ASE-2010-TrezentosLO #dependence #named #optimisation #problem #pseudo #using

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization (PT, IL, ALO), pp. 427–436.

ASE-2010-GermanMI #automation #identification #source code

A sentence-matching method for automatic license identification of source code files (DMG, YM, KI), pp. 437–446.

ASE-2010-PhamNNN #detection

Detection of recurring software vulnerabilities (NHP, TTN, HAN, TNN), pp. 447–456.

ASE-2010-WangLCZMY #dependence #graph #query

Matching dependence-related queries in the system dependence graph (XW, DL, JC, LZ, HM, JXY), pp. 457–466.

ASE-2010-TajalliGEM #adaptation #architecture #modelling #named

PLASMA: a plan-based layered architecture for software model-driven adaptation (HT, JG, GE, NM), pp. 467–476.

ASE-2010-DuleySK #algorithm #difference

A program differencing algorithm for verilog HDL (AD, CS, MK), pp. 477–486.

ASE-2010-Holotescu #adaptation #black box #component

Error-avoiding adaptors for black-box software components (CH), pp. 487–492.

ASE-2010-BeckerG #automation

Automated model grouping (MB, VG), pp. 493–498.

ASE-2010-Balint #automation #behaviour #data type

Automatic inference of abstract type behavior (MB), pp. 499–504.

ASE-2010-Chen #documentation #source code #traceability #visualisation

Extraction and visualization of traceability relationships between documents and source code (XC), pp. 505–510.

ASE-2010-Letarte #analysis #graph #interprocedural #model checking #precise #representation

Model checking graph representation of precise boolean inter-procedural flow analysis (DL), pp. 511–516.

ASE-2010-Staats #effectiveness #multi #testing

The influence of multiple artifacts on the effectiveness of software testing (MS), pp. 517–522.