Perry Alexander, Corina S. Pasareanu, John G. Hosking
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2011.

@proceedings{ASE-2011,
	address       = "Lawrence, Kansas, USA",
	editor        = "Perry Alexander and Corina S. Pasareanu and John G. Hosking",
	isbn          = "978-1-4577-1638-6",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2011,
}

Event page: http://www.ase-conferences.org/ase/past/ase2011/www.continuinged.ku.edu/programs/ase/index.html

Committee

Contents (112 items)

18 ×#testing
16 ×#automation
15 ×#named
12 ×#fault
12 ×#using
11 ×#modelling
11 ×#source code
9 ×#generative
8 ×#analysis
7 ×#performance

ASE-2011-Witten #documentation #how #representation #semantics #wiki

Wikipedia and how to use it for semantic document representation (IHW), p. 1.

ASE-2011-Dwyer #analysis #behaviour #testing

Unifying testing and analysis through behavioral coverage (MBD), p. 2.

ASE-2011-AlshahwanH #automation #re-engineering #testing #using #web

Automated web application testing using search based software engineering (NA, MH), pp. 3–12.

ASE-2011-NguyenNNN #fault #html #php #validation

Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.

ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing

Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.

ASE-2011-AnandH #execution #java #source code #symbolic computation

Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.

ASE-2011-ZhangED #automation #generative #testing

Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.

ASE-2011-BaarsHHLMTV #search-based #testing

Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.

ASE-2011-ZhangZE #automation #documentation #testing

Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.

ASE-2011-PanWX #database #generative #testing

Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.

ASE-2011-Gonzalez-SanchezAGG #ambiguity #fault #locality #reduction #testing

Prioritizing tests for fault localization through ambiguity group reduction (AGS, RA, HGG, AJCvG), pp. 83–92.

ASE-2011-ParizekL #identification #traversal

Identifying future field accesses in exhaustive state space traversal (PP, OL), pp. 93–102.

ASE-2011-LeungwattanakitAHTY #distributed #model checking #process

Model checking distributed systems by combining caching and process checkpointing (WL, CA, MH, YT, MY), pp. 103–112.

ASE-2011-BokorKSS #partial order #reduction

Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.

ASE-2011-Ganai #analysis #precise #scalability

Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.

ASE-2011-IvancicBGSMTIM #bound #framework #named #scalability #verification

DC2: A framework for scalable, scope-bounded software verification (FI, GB, AG, SS, NM, HT, TI, YM), pp. 133–142.

ASE-2011-LiXBLM #formal method #hardware #interface #specification

Formalizing hardware/software interface specifications (JL, FX, TB, VL, CM), pp. 143–152.

ASE-2011-BotincanDDP #manycore #memory management

Safe asynchronous multicore memory operations (MB, MD, AFD, MJP), pp. 153–162.

ASE-2011-KehrerKT #approach #difference #rule-based #semantics #version control

A rule-based approach to the semantic lifting of model differences in the context of model versioning (TK, UK, GT), pp. 163–172.

ASE-2011-HegedusHRV #design #framework #modelling

A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.

ASE-2011-BrosigHK #architecture #automation #component #distributed #modelling #performance

Automated extraction of architecture-level performance models of distributed component-based systems (FB, NH, SK), pp. 183–192.

ASE-2011-RabkinK #fault

Precomputing possible configuration error diagnoses (AR, RHK), pp. 193–202.

ASE-2011-InsaS #algorithm #debugging

An optimal strategy for algorithmic debugging (DI, JS), pp. 203–212.

ASE-2011-ClarkCKJH #database #fault #sql

Localizing SQL faults in database applications (SRC, JC, GMK, JAJ, MJH), pp. 213–222.

ASE-2011-ChenG #automation #documentation #retrieval #traceability

Improving automated documentation to code traceability by combining retrieval techniques (XC, JCG), pp. 223–232.

ASE-2011-WuLWXM #mining #specification

Iterative mining of resource-releasing specifications (QW, GL, QW, TX, HM), pp. 233–242.

ASE-2011-RasoolM #design pattern #detection #flexibility

Flexible design pattern detection based on feature types (GR, PM), pp. 243–252.

ASE-2011-SunLKJ #debugging #retrieval #towards

Towards more accurate retrieval of duplicate bug reports (CS, DL, SCK, JJ), pp. 253–262.

ASE-2011-NguyenNANN #approach #debugging #topic

A topic-based approach for narrowing the search space of buggy files from a bug report (ATN, TTN, JMAK, HVN, TNN), pp. 263–272.

ASE-2011-YuTN #detection #source code #specification

Specifying and detecting meaningful changes in programs (YY, TTT, BN), pp. 273–282.

ASE-2011-FilieriGLM #adaptation #approach #reliability #requirements #self

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.

ASE-2011-WongC #dependence #probability

Generalizing evolutionary coupling with stochastic dependencies (SW, YC), pp. 293–302.

ASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support

Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.

ASE-2011-PohlLP #algorithm #analysis #automation #comparison #feature model #modelling #performance

A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models (RP, KL, KP), pp. 313–322.

ASE-2011-GottipatiLJ

Finding relevant answers in software forums (SG, DL, JJ), pp. 323–332.

ASE-2011-ChenHX #approach #evaluation #machine learning #process

Software process evaluation: A machine learning approach (NC, SCHH, XX), pp. 333–342.

ASE-2011-MenziesBMZC #estimation #fault #modelling #predict

Local vs. global models for effort estimation and defect prediction (TM, AB, AM, TZ, DRC), pp. 343–351.

ASE-2011-RathfelderKE #automation #capacity #performance #predict #using

Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.

ASE-2011-PosnettFD #empirical #re-engineering

Ecological inference in empirical software engineering (DP, VF, PTD), pp. 362–371.

ASE-2011-ApelSWRB #detection #feature model #interactive #using #verification

Detection of feature interactions using feature-aware verification (SA, HS, PW, AvR, DB), pp. 372–375.

ASE-2011-KimmigMM #natural language #query #source code

Querying source code with natural language (MK, MM, MM), pp. 376–379.

ASE-2011-Groce #adaptation #generative #programming

Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.

ASE-2011-LozanoKM #named #recommendation #search-based #source code

Mendel: Source code recommendation based on a genetic metaphor (AL, AK, KM), pp. 384–387.

ASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.

ASE-2011-PeiWFNM #automation

Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.

ASE-2011-ZhengT #architecture #implementation

Taming changes With 1.x-Way architecture-implementation mapping (YZ, RNT), pp. 396–399.

ASE-2011-WinbladhR #testing

Evaluating test selection strategies for end-user specified flow-based applications (KW, AR), pp. 400–403.

ASE-2011-UjhelyiHV #model transformation #slicing #towards

Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.

ASE-2011-ZhengMLXK #mining #testing #web

Mining test oracles of web search engines (WZ, HM, MRL, TX, IK), pp. 408–411.

ASE-2011-HuangNPGBT #automation #classification #fault #generative #named #orthogonal

AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.

ASE-2011-GhabiE #validation

Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation (AG, AE), pp. 416–419.

ASE-2011-BandyopadhyayG #fault #locality #proximity #testing

Proximity based weighting of test cases to improve spectrum based fault localization (AB, SG), pp. 420–423.

ASE-2011-AcherCLF #feature model #modelling #slicing

Slicing feature models (MA, PC, PL, RBF), pp. 424–427.

ASE-2011-VakiliD #declarative #model checking #modelling #using

Using model checking to analyze static properties of declarative models (AV, NAD), pp. 428–431.

ASE-2011-LiuZCXM

Finding the merits and drawbacks of software resources from comments (CL, YZ, SC, BX, HM), pp. 432–435.

ASE-2011-MalburgF #constraints #search-based #testing

Combining search-based and constraint-based testing (JM, GF), pp. 436–439.

ASE-2011-WeiRFPHSNM #contract #fault #testing

Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.

ASE-2011-MaderE #empirical #navigation #source code #traceability

Do software engineers benefit from source code navigation with traceability? — An experiment in software change management (PM, AE), pp. 444–447.

ASE-2011-OsterSB #analysis #automation #requirements

Automating analysis of qualitative preferences in goal-oriented requirements engineering (ZJO, GRS, SB), pp. 448–451.

ASE-2011-ServantJ #slicing

History slicing (FS, JAJ), pp. 452–455.

ASE-2011-UddinDR #api

Analyzing temporal API usage patterns (GU, BD, MPR), pp. 456–459.

ASE-2011-EdwardsBM #editing #morphism #tool support

Isomorphism in model tools and editors (GE, YB, NM), pp. 460–463.

ASE-2011-GanovKP #alloy #analysis #incremental #performance

A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.

ASE-2011-SurapaneniNMW #performance

Exploring caching for efficient collection operations (SS, VKSN, SKM, TW), pp. 468–471.

ASE-2011-ZiftciK #precise #requirements #testing

Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.

ASE-2011-BacchelliCLM #documentation #natural language #semiparsing

Extracting structured data from natural language documents with island parsing (AB, AC, ML, AM), pp. 476–479.

ASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.

ASE-2011-ZhangMPL #monitoring #predict #runtime

Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.

ASE-2011-ChakrabortyS #approach #framework #towards

Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.

ASE-2011-GoreRK #debugging #statistics

Statistical debugging with elastic predicates (RG, PFRJ, DK), pp. 492–495.

ASE-2011-StehleLSRM #geometry #using

Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.

ASE-2011-RobinsonNS #data access #flexibility #named

GitBAC: Flexible access control for non-modular concerns (MR, JN, MS), pp. 500–503.

ASE-2011-MarasCC #slicing #web

Client-side web application slicing (JM, JC, IC), pp. 504–507.

ASE-2011-TellB #development #paradigm #process

Supporting activity based computing paradigm in global software development (PT, MAB), pp. 508–511.

ASE-2011-DengJ #dependence #fault

Inferred dependence coverage to support fault contextualization (FD, JAJ), pp. 512–515.

ASE-2011-LutzJP #assurance #modelling #using

Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.

ASE-2011-AlvesGJd #impact analysis #slicing #using

Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.

ASE-2011-HillPV #code search #natural language #source code

Improving source code search with natural language phrasal representations of method signatures (EH, LLP, KVS), pp. 524–527.

ASE-2011-SilvaBB #execution #process

Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.

ASE-2011-SagdeoAKV #clustering #invariant #named #using

PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.

ASE-2011-SoltaniAHGB #automation #feature model

Automated planning for feature model configuration based on stakeholders’ business concerns (SS, MA, MH, DG, EB), pp. 536–539.

ASE-2011-GethersKDP #adaptation #approach #impact analysis #source code

An adaptive approach to impact analysis from change requests to source code (MG, HHK, BD, DP), pp. 540–543.

ASE-2011-Halfond #web

Domain and value checking of web application invocation arguments (WGJH), pp. 544–547.

ASE-2011-KhalekNK #constraints #generative

Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.

ASE-2011-GarciaPMMC #architecture #using

Enhancing architectural recovery using concerns (JG, DP, CM, NM, YC), pp. 552–555.

ASE-2011-WangLJLL #fault #locality #search-based

Search-based fault localization (SW, DL, LJ, L, HCL), pp. 556–559.

ASE-2011-WelshSB #requirements #runtime #towards

Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.

ASE-2011-KamalrudinG #generative #prototype #requirements #user interface #validation

Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.

ASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism

Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.

ASE-2011-NguyenNNN11a #difference #named

iDiff: Interaction-based program differencing tool (HAN, TTN, HVN, TNN), pp. 572–575.

ASE-2011-XingXJ #difference #named

CloneDifferentiator: Analyzing clones by differentiation (ZX, YX, SJ), pp. 576–579.

ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation

Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.

ASE-2011-MehlitzTU #model checking #named #user interface

JPF-AWT: Model checking GUI applications (PCM, OT, MU), pp. 584–587.

ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code

The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.

ASE-2011-WangFWLXY #api #effectiveness #java #named #recommendation #web

APIExample: An effective web search based usage example recommendation system for java APIs (LW, LF, LW, GL, BX, FY), pp. 592–595.

ASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread

BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.

ASE-2011-AcherCLF11a #feature model #modelling

Decomposing feature models: language, environment, and applications (MA, PC, PL, RBF), pp. 600–603.

ASE-2011-ZurowskaD #analysis #modelling #named #uml

SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.

ASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using

TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.

ASE-2011-JustSK #analysis #compilation #java #mutation testing #named #performance

MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.

ASE-2011-LumpeMG #java #named

jCT: A Java Code Tomograph (ML, SM, OG), pp. 616–619.

ASE-2011-PietschYK #generative #modelling #tool support

Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.

ASE-2011-WesongaMR #concurrent #fault #source code #visualisation

Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.

ASE-2011-Hall #calculus #tool support

The Capture Calculus Toolset (RJH), pp. 628–632.

ASE-2011-NguyenSLD #framework #model checking

A model checking framework for hierarchical systems (TKN, JS, YL, JSD), pp. 633–636.

ASE-2011-Haiduc #automation #concept #detection #quality #query

Automatically detecting the quality of the query and its implications in IR-based concept location (SH), pp. 637–640.

ASE-2011-SunL #concept analysis #using

Using Formal Concept Analysis to support change analysis (XS, BL), pp. 641–645.

ASE-2011-Esfahani #adaptation #framework #nondeterminism #self

A framework for managing uncertainty in self-adaptive software systems (NE), pp. 646–650.

ASE-2011-Li #consistency #natural language #requirements #towards

Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.

ASE-2011-Vakili #modelling

Analyzing temporal properties of abstract models (AV), pp. 656–659.

ASE-2011-Bandyopadhyay #fault #locality #testing #using

Improving spectrum-based fault localization using proximity-based weighting of test cases (AB), pp. 660–664.

ASE-2011-Dautovic #assessment #automation #documentation #quality

Automatic assessment of software documentation quality (AD), pp. 665–669.