Proceedings of the 25th 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

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

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

  • Demo Track Chairs: Anthony Cleve, Bernd Fischer
  • Doctoral Symposium Chairs: Corina S. Pasareanu, John G. Hosking
  • Finance Chair: Kim Mens
  • General Chair: Charles Pecheur
  • Local Chair: Serge Demeyer
  • Program Board: Perry Alexander, Luciano Baresi, Wing Kwong Chan, Phyllis Frankl, Andrew Ireland, Jochen M. Kuester, Yves Ledru, Jonathan I. Maletic, Sandro Morasca, John Penix, Peri L. Tarr, Willem Visser, Tao Xie, Andrea Zisman
  • Program Chairs: James H. Andrews, Elisabetta Di Nitto
  • Program Committee: Sven Apel, Tevfik Bultan, Yuanfang Cai, Marsha Chechik, Vittorio Cortellessa, Ivica Crnkovic, Krzysztof Czarnecki, Ewen Denney, Massimiliano Di Penta, Wolfgang Emmerich, Claudia Ermel, Bernd Fischer, Michael Goedicke, Paul Grünbacher, John Grundy, Lars Grunske, Robert J. Hall, Mary Jean Harrold, Mats Per Erik Heimdahl, Reiko Heckel, John G. Hosking, Michael Lowry, Darko Marinov, Tim Menzies, Alessandro Orso, Corina S. Pasareanu, Charles Pecheur, Mauro Pezzè, Ajitha Rajan, David Redmiles, Debra Richardson, Beverly A. Sanders, Yannis Smaragdakis, Gabriele Täntzer, Shingo Takada, Tetsuo Tamai, Dániel Varró, Albert Zündorf
  • Publication Chair: Jean-François Raskin
  • Publicity Chair: Dirk Deridder
  • Satellite Events Chairs: Tom Mens, Tevfik Bultan
  • Scientific Liaison: Theo D'Hondt, Wouter Joosen
  • Sponsor Chairs: Viviane Jonckers, Pierre-Yves Schobbens
  • Tutorials Chairs: Thierry Massart, John Penix
  • Web Chair: Dirk Deridder
  • Contents (87 items)

    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.

    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.