David F. Redmiles, Thomas Ellman, Andrea Zisman
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering
ASE, 2005.

@proceedings{ASE-2005,
	address       = "Long Beach, California, USA",
	editor        = "David F. Redmiles and Thomas Ellman and Andrea Zisman",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2005,
}

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

Contents (75 items)

19 ×#automation
13 ×#testing
11 ×#named
9 ×#generative
8 ×#analysis
8 ×#approach
8 ×#modelling
7 ×#design
6 ×#verification
5 ×#component

ASE-2005-Fuggetta #power of

The power of software (AF), p. 1.

ASE-2005-Swartout #lessons learnt #scalability

Virtual humans: lessons learned in integrating a large-scale AI project (WRS), p. 2.

ASE-2005-Kemmerer #design #detection #implementation #product line

Designing and implementing a family of intrusion detection systems (RAK), p. 3.

ASE-2005-KashyapG #detection #performance #reachability

Exploiting predicate structure for efficient reachability detection (SK, VKG), pp. 4–13.

ASE-2005-Betin-CanBLLT #concurrent #design #verification

Application of design for verification with concurrency controllers to air traffic control software (ABC, TB, ML, BL, ST), pp. 14–23.

ASE-2005-ZhangC #performance #query

Efficient temporal-logic query checking for presburger systems (DZ, RC), pp. 24–33.

ASE-2005-Reiss #component

A component model for internet-scale applications (SPR), pp. 34–43.

ASE-2005-DiaconescuM #automation #component #enterprise #performance #using

Automating the performance management of component-based enterprise systems through the use of redundancy (AD, JM), pp. 44–53.

ASE-2005-XingS #algorithm #design #difference #named #object-oriented

UMLDiff: an algorithm for object-oriented design differencing (ZX, ES), pp. 54–65.

ASE-2005-LienhardDA #concept analysis #identification

Identifying traits with formal concept analysis (AL, SD, GA), pp. 66–75.

ASE-2005-Milanova #composition #diagrams #identification #precise #uml

Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.

ASE-2005-KoschkeQ #feature model #on the

On dynamic feature location (RK, JQ), pp. 86–95.

ASE-2005-HoffmanY #automation #framework #named #testing

Blowtorch: a framework for firewall test automation (DH, KY), pp. 96–103.

ASE-2005-HennessyP #analysis #generative #grammarware #testing

An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software (MH, JFP), pp. 104–113.

ASE-2005-SaffAPE #automation #java

Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.

ASE-2005-EngelsE #automation #generative #named #object-oriented #specification #spreadsheet

ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications (GE, ME), pp. 124–133.

ASE-2005-EhrigEHT #eclipse #editing #generative #plugin #visual notation

Generation of visual editors as eclipse plug-ins (KE, CE, SH, GT), pp. 134–143.

ASE-2005-SwintPJYKWCSM #code generation #composition #flexibility #named

Clearwater: extensible, flexible, modular code generation (GSS, CP, GJ, WY, YK, QW, CC, AS, KM), pp. 144–153.

ASE-2005-Dolstra #deployment

Secure sharing between untrusted users in a transparent source/binary deployment model (ED), pp. 154–163.

ASE-2005-WangRCW #automation #distributed

Automating experimentation on distributed testbeds (YW, MJR, AC, ALW), pp. 164–173.

ASE-2005-HalfondO #analysis #injection #monitoring #named

AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks (WGJH, AO), pp. 174–183.

ASE-2005-ShepherdPPC #analysis #automation #framework #mining #named

Timna: a framework for automatically combining aspect mining analyses (DCS, JP, LLP, MCC), pp. 184–193.

ASE-2005-UbayashiMMT #aspect-oriented #interpreter #modelling

A parameterized interpreter for modeling different AOP mechanisms (NU, GM, HM, TT), pp. 194–203.

ASE-2005-MehraGH #approach #collaboration #design #diagrams #difference

A generic approach to supporting diagram differencing and merging for collaborative design (AM, JCG, JGH), pp. 204–213.

ASE-2005-LangelierSP #analysis #quality #scalability #visualisation

Visualization-based analysis of quality for large-scale software systems (GL, HAS, PP), pp. 214–223.

ASE-2005-BlewittBS #automation #design pattern #java #verification

Automatic verification of design patterns in Java (AB, AB, IS), pp. 224–232.

ASE-2005-AgarwalSWS #concurrent #detection #runtime #using

Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.

ASE-2005-ShankarASX #realtime #reasoning #semantics

Reasoning about real-time statecharts in the presence of semantic variations (SS, SA, VS, XX), pp. 243–252.

ASE-2005-SprenkleGSP #automation #detection #web

Automated replay and failure detection for web applications (SS, EG, SS, LLP), pp. 253–262.

ASE-2005-GuptaHZG #using

Locating faulty code using failure-inducing chops (NG, HH, XZ, RG), pp. 263–272.

ASE-2005-JonesH #automation #empirical #evaluation

Empirical evaluation of the tarantula automatic fault-localization technique (JAJ, MJH), pp. 273–282.

ASE-2005-XiaVM #automation #generative #testing

Automated test generation for engineering applications (SX, BDV, CAM), pp. 283–286.

ASE-2005-NejatiC

Let’s agree to disagree (SN, MC), pp. 287–290.

ASE-2005-HaoPZZMS #approach #fault #locality #testing

A similarity-aware approach to testing based fault localization (DH, YP, LZ, WZ, HM, JS), pp. 291–294.

ASE-2005-CassO #design #performance #process

Process support to help novices design software faster and better (AGC, LJO), pp. 295–299.

ASE-2005-ErikssonMBB #case study #modelling #product line #tool support

The PLUSS toolkit — extending telelogic DOORS and IBM-rational rose to support product line use case modeling (ME, HM, JB, KB), pp. 300–304.

ASE-2005-FriasGSB #analysis #performance #relational #specification #verification

A strategy for efficient verification of relational specifications, based on monotonicity analysis (MFF, RG, GS, LB), pp. 305–308.

ASE-2005-ChenM #random testing #testing

Quasi-random testing (TYC, RGM), pp. 309–312.

ASE-2005-GotliebDB #constraints #generative #pointer #testing

Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.

ASE-2005-MokhtarLGI #composition

QoS-aware dynamic service composition in ambient intelligence environments (SBM, JL, NG, VI), pp. 317–320.

ASE-2005-LiuGH #visual notation #web #web service

A visual language and environment for composing web services (NL, JCG, JGH), pp. 321–324.

ASE-2005-VardhanV #branch #learning #verification

Learning to verify branching time properties (AV, MV), pp. 325–328.

ASE-2005-CaiS #analysis #design #modelling #named

Simon: modeling and analysis of design space structures (YC, KJS), pp. 329–332.

ASE-2005-Mayer #adaptation #random testing #testing

Lattice-based adaptive random testing (JM), pp. 333–336.

ASE-2005-LiuLWCC #testing

A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.

ASE-2005-XuN #approach #modelling #verification

A threat-driven approach to modeling and verifying secure software (DX, KEN), pp. 342–346.

ASE-2005-WangR #automation #fault #generative #locality

Automated path generation for software fault localization (TW, AR), pp. 347–351.

ASE-2005-SampaioCR #aspect-oriented #automation #identification #named #requirements

EA-Miner: a tool for automating aspect-oriented requirements identification (AS, RC, PR), pp. 352–355.

ASE-2005-CoppitL #generative #named #testing

yagg: an easy-to-use generator for structured test inputs (DC, JL), pp. 356–359.

ASE-2005-EgyedBHG #automation #traceability #trade-off

Determining the cost-quality trade-off for automated software traceability (AE, SB, MH, PG), pp. 360–363.

ASE-2005-CouchotGK #approach #deduction #protocol #safety

A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.

ASE-2005-FredrikssonTC #analysis #component #design #development #framework #non-functional

A component-based development framework for supporting functional and non-functional analysis in control system design (JF, MT, IC), pp. 368–371.

ASE-2005-GheyiMB #approach #proving #refactoring

A rigorous approach for proving model refactorings (RG, TM, PB), pp. 372–375.

ASE-2005-DominguezD #composition #distributed #reasoning

Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.

ASE-2005-Tan #embedded #logic #modelling #self #source code #specification

Model-based self-monitoring embedded programs with temporal logic specifications (LT), pp. 380–383.

ASE-2005-MenziesPCH #cost analysis #modelling

Specialization and extrapolation of software cost models (TM, DP, ZC, JH), pp. 384–387.

ASE-2005-TibermacineFS #architecture #component #evolution

NFRs-aware architectural evolution of component-based software (CT, RF, SS), pp. 388–391.

ASE-2005-JurjensY #analysis #security

Code security analysis with assertions (JJ, MY), pp. 392–395.

ASE-2005-DenmatDR #data mining #execution #mining

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.

ASE-2005-HaydarBPS #model checking #web

Properties and scopes in web model checking (MH, SB, AP, HAS), pp. 400–404.

ASE-2005-InverardiMTA #adaptation #approach #automation #component #distributed #synthesis

Synthesis of correct and distributed adaptors for component-based systems: an automatic approach (PI, LM, MT, MA), pp. 405–409.

ASE-2005-RungtaM #heuristic #model checking

A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.

ASE-2005-VisserPP #abstraction #generative #using

Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.

ASE-2005-KapfhammerSM #execution #testing

Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.

ASE-2005-WardKA #framework #named #proving #theorem proving

Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.

ASE-2005-GeW #architecture #code generation #configuration management #framework #modelling #named

Bamboo: an architecture modeling and code generation framework for configuration management systems (GG, EJWJ), pp. 427–428.

ASE-2005-FalbPRJAK #automation #specification #synthesis #user interface #using

Using communicative acts in high-level specifications of user interfaces for their automated synthesis (JF, RP, TR, HJ, EA, HK), pp. 429–430.

ASE-2005-SimmondsB #automation #consistency #uml

A tool for automatic UML model consistency checking (JS, MCB), pp. 431–432.

ASE-2005-HeartyFNC #assessment #automation #modelling #risk management

Automated population of causal models for improved software risk assessment (PH, NEF, MN, PC), pp. 433–434.

ASE-2005-WuG #automation #domain-specific language #generative #testing #tool support

Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.

ASE-2005-BryceC #algorithm #interactive #testing

Constructing interaction test suites with greedy algorithms (RCB, CJC), pp. 440–443.

ASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification

Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.

ASE-2005-LinG #approach #automation #evolution #model transformation

A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.

ASE-2005-Zheng #source code #testing

In regression testing selection when source code is not available (JZ0), pp. 452–455.

ASE-2005-Nejati

Formal support for merging and negotiation (SN), pp. 456–460.