Proceedings of the 29th International Conference on Software Engineering
ICSE, 2007.

@proceedings{ICSE-2007,
	address       = "Minneapolis, Minnesota, USA",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 29th International Conference on Software Engineering}",
	year          = 2007,
}

Contents (89 items)

13 ×#named
12 ×#testing
8 ×#re-engineering
8 ×#using
7 ×#architecture
7 ×#modelling
6 ×#automation
6 ×#case study
5 ×#analysis
5 ×#development

ICSE-2007-DwyerEPP #parallel #random

Parallel Randomized State-Space Search (MBD, SGE, SP, RP), pp. 3–12.

ICSE-2007-ZaraketAK #analysis #relational

Sequential Circuits for Relational Analysis (FAZ, AA, SK), pp. 13–22.

ICSE-2007-Chalin #compilation #evolution #semantics #verification

A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler (PC), pp. 23–33.

ICSE-2007-UchitelBC #behaviour #synthesis

Behaviour Model Synthesis from Properties and Scenarios (SU, GB, MC), pp. 34–43.

ICSE-2007-TrujilloBD #case study #development #modelling

Feature Oriented Model Driven Development: A Case Study for Portlets (ST, DSB, OD), pp. 44–53.

ICSE-2007-NejatiSCEZ #specification

Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.

ICSE-2007-XuR #aspectj #testing

Regression Test Selection for AspectJ Software (G(X, AR), pp. 65–74.

ICSE-2007-PachecoLEB #generative #random testing #testing

Feedback-Directed Random Test Generation (CP, SKL, MDE, TB), pp. 75–84.

ICSE-2007-MarianiPP #component #testing

Compatibility and Regression Testing of COTS-Component-Based Software (LM, SP, MP), pp. 85–95.

ICSE-2007-JiangMSG #detection #named #scalability

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones (LJ, GM, ZS, SG), pp. 96–105.

ICSE-2007-LivieriHMI #analysis #distributed #open source #source code #using #visualisation

Very-Large Scale Code Clone Analysis and Visualization of Open Source Programs Using Distributed CCFinder: D-CCFinder (SL, YH, MM, KI), pp. 106–115.

ICSE-2007-RajapakseJ #analysis #trade-off #using #web

Using Server Pages to Unify Clones in Web Applications: A Trade-Off Analysis (DCR, SJ), pp. 116–126.

ICSE-2007-AnbalaganX #aspect-oriented #automation #refactoring

Automated Inference of Pointcuts in Aspect-Oriented Refactoring (PA, TX), pp. 127–136.

ICSE-2007-ChalabineK #aspect-oriented #automation #framework #re-engineering #weaving

A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations (MC, CWK), pp. 137–146.

ICSE-2007-KojarskiL #aspect-oriented #feature model #framework #identification #interactive #multi

Identifying Feature Interactions in Multi-Language Aspect-Oriented Frameworks (SK, DHL), pp. 147–157.

ICSE-2007-Duala-EkokoR #clone tracking #evolution

Tracking Code Clones in Evolving Software (EDE, MPR), pp. 158–167.

ICSE-2007-NgCCY #design pattern #effectiveness #maintenance #question

Do Maintainers Utilize Deployed Design Patterns Effectively? (THN, SCC, WKC, YTY), pp. 168–177.

ICSE-2007-TuckerSJL #named

OPIUM: Optimal Package Install/Uninstall Manager (CT, DS, RJ, SL), pp. 178–188.

ICSE-2007-HendricksonH #architecture #modelling #product line #set

Modeling Product Line Architectures through Change Sets and Relationships (SAH, AvdH), pp. 189–198.

ICSE-2007-BaresiGM #architecture #automation #on the #verification

On Accurate Automatic Verification of Publish-Subscribe Architectures (LB, CG, LM), pp. 199–208.

ICSE-2007-LeclercqOQS #architecture #tool support

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.

ICSE-2007-DwyerKE #adaptation #online #program analysis

Adaptive Online Program Analysis (MBD, AK, SGE), pp. 220–229.

ICSE-2007-FuR #analysis #architecture #exception #java

Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications (CF, BGR), pp. 230–239.

ICSE-2007-RamanathanGJ #precedence #protocol

Path-Sensitive Inference of Function Precedence Protocols (MKR, AG, SJ), pp. 240–250.

ICSE-2007-AbrahamE #debugging #named #spreadsheet

GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.

ICSE-2007-ClauseO #debugging

A Technique for Enabling and Supporting Debugging of Field Failures (JAC, AO), pp. 261–270.

ICSE-2007-ChenYCZY #named

POLUS: A POwerful Live Updating System (HC, JY, RC, BZ, PCY), pp. 271–281.

ICSE-2007-GrundyH #diagrams #sketching #visual notation

Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.

ICSE-2007-Egyed #consistency #design #modelling #nondeterminism #uml

Fixing Inconsistencies in UML Design Models (AE), pp. 292–301.

ICSE-2007-EllisSM #api #design #evaluation #usability

The Factory Pattern in API Design: A Usability Evaluation (BE, JS, BAM), pp. 302–312.

ICSE-2007-FroihoferGOG #constraints #evaluation #java #overview #validation

Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.

ICSE-2007-LiuM #data access #uml

Ownership and Immutability Inference for UML-Based Object Access Control (YL, AM), pp. 323–332.

ICSE-2007-KimNG #automation

Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.

ICSE-2007-KoDV #development

Information Needs in Collocated Software Development Teams (AJK, RD, GV), pp. 344–353.

ICSE-2007-ChongH #programming #social

The Social Dynamics of Pair Programming (JC, TH), pp. 354–363.

ICSE-2007-JensenS #case study #comparative #migration #process

Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study (CJ, WS), pp. 364–374.

ICSE-2007-RiccaPTTC #comprehension #experience #uml

The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes (FR, MDP, MT, PT, MC), pp. 375–384.

ICSE-2007-LeavensM #information management #interface #specification

Information Hiding and Visibility in Interface Specifications (GTL, PM), pp. 385–395.

ICSE-2007-YuanM #feedback #runtime #testing #user interface #using

Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.

ICSE-2007-WangER #automation #generative #testing

Automated Generation of Context-Aware Tests (ZW, SGE, DSR), pp. 406–415.

ICSE-2007-MajumdarS #hybrid #testing

Hybrid Concolic Testing (RM, KS), pp. 416–426.

ICSE-2007-DigMJN #configuration management #object-oriented #refactoring #source code

Refactoring-Aware Configuration Management for Object-Oriented Programs (DD, KM, REJ, TNN), pp. 427–436.

ICSE-2007-KiezunETF #java #refactoring

Refactoring for Parameterizing Java Classes (AK, MDE, FT, RMF), pp. 437–446.

ICSE-2007-HolmesW #reuse

Supporting the Investigation and Planning of Pragmatic Reuse Tasks (RH, RJW), pp. 447–457.

ICSE-2007-GanapathyKJJ #concept analysis #legacy #mining #using

Mining Security-Sensitive Operations in Legacy Code Using Concept Analysis (VG, DK, TJ, SJ), pp. 458–467.

ICSE-2007-SkogsrudBCT #protocol #security

Managing Impacts of Security Protocol Changes in Service-Oriented Applications (HS, BB, FC, FT), pp. 468–477.

ICSE-2007-PistoiaFFY #enterprise #modelling #policy #security #validation

When Role Models Have Flaws: Static Validation of Enterprise Security Policies (MP, SJF, RJF, EY), pp. 478–488.

ICSE-2007-KimZWZ #fault #predict

Predicting Faults from Cached History (SK, TZ, EJWJ, AZ), pp. 489–498.

ICSE-2007-RunesonAN #detection #fault #natural language #using

Detection of Duplicate Defect Reports Using Natural Language Processing (PR, MA, ON), pp. 499–510.

ICSE-2007-CapiluppiFHSS #empirical #evolution

An Empirical Study of the Evolution of an Agile-Developed Software System (AC, JFR, JH, HCS, NS), pp. 511–518.

ICSE-2007-GrahamKW #architecture #trade-off

Agility and Experimentation: Practical Techniques for Resolving Architectural Tradeoffs (TCNG, RK, CW), pp. 519–528.

ICSE-2007-StylosC #parametricity #usability

Usability Implications of Requiring Parameters in Objects’ Constructors (JS, SC), pp. 529–539.

ICSE-2007-JinTHL #evaluation #information management #legacy #performance #predict

Performance Evaluation and Prediction for Legacy Information Systems (YJ, AT, JH, YL), pp. 540–549.

ICSE-2007-CarverKSP #case study #development

Software Development Environments for Scientific and Engineering Software: A Series of Case Studies (JCC, RPK, SES, DEP), pp. 550–559.

ICSE-2007-DammL #detection #fault #implementation #metric

Company-Wide Implementation of Metrics for Early Software Fault Detection (LOD, LL), pp. 560–570.

ICSE-2007-KarailaS #case study #experience #industrial #metaprogramming #visual notation

Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.

ICSE-2007-BestJN #distributed #information management #modelling #security #using

Model-Based Security Engineering of Distributed Information Systems Using UMLsec (BB, JJ, BN), pp. 581–590.

ICSE-2007-MalekSRPM #architecture #concept #embedded #product line

Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support (SM, CS, SR, BP, NM), pp. 591–601.

ICSE-2007-MartinRRS #testing

“Good” Organisational Reasons for “Bad” Software Testing: An Ethnographic Study of Testing in a Small Software Company (DM, JR, MR, IS), pp. 602–611.

ICSE-2007-BernerWK #test coverage #testing #using

Enhancing Software Testing by Judicious Use of Code Coverage Information (SB, RW, RKK), pp. 612–620.

ICSE-2007-GroceHJ #difference #random #testing #verification

Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.

ICSE-2007-MaidenNR #case study #experience #requirements

Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (NAMM, CN, SR), pp. 632–641.

ICSE-2007-FerreiraSCMBBR #maturity #process

Applying ISO 9001: 2000, MPS.BR and CMMI to Achieve Software Process Maturity: BL Informatica’s Pathway (AIFF, GS, RC, MM, AB, AOSB, ARR), pp. 642–651.

ICSE-2007-Kajko-Mattsson #maturity

Maturity Status within Front-End Support Organisations (MKM), pp. 652–663.

ICSE-2007-SrinivasanL #approach #education #process

A Constructivist Approach to Teaching Software Processes (JS, KL), pp. 664–672.

ICSE-2007-Staron #education #evaluation #learning #process #re-engineering #student #using

Using Experiments in Software Engineering as an Auxiliary Tool for Teaching — A Qualitative Evaluation from the Perspective of Students’ Learning Process (MS), pp. 673–676.

ICSE-2007-WilliamsLSBS #collaboration #on the #re-engineering #student

On the Impact of a Collaborative Pedagogy on African American Millennial Students in Software Engineering (LW, LL, KMS, SBB, CBS), pp. 677–687.

ICSE-2007-ElbaumPDJ #debugging #testing

Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable (SGE, SP, JD, MJ), pp. 688–697.

ICSE-2007-DuimAS #education #re-engineering

Good Practices for Educational Software Engineering Projects (LvdD, JA, MS), pp. 698–707.

ICSE-2007-HonidenTYTW #architecture #development #re-engineering #tool support

Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (SH, YT, NY, KT, HW), pp. 708–718.

ICSE-2007-JanzenS #agile #development #testing

A Leveled Examination of Test-Driven Development Acceptance (DJ, HS), pp. 719–722.

ICSE-2007-Zualkernan #learning #programming #using

Using Soloman-Felder Learning Style Index to Evaluate Pedagogical Resources for Introductory Programming Classes (IAZ), pp. 723–726.

ICSE-2007-XieKS #comprehension #concept #concurrent #design #diagrams #evaluation

Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts (SX, EK, REKS), pp. 727–731.

ICSE-2007-RubinM #education #re-engineering #security

Creating a Computer Security Curriculum in a Software Engineering Program (BSR, BSM), pp. 732–735.

ICSE-2007-Ludi #requirements

Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course (SL), pp. 736–743.

ICSE-2007-Jones #analysis #case study #design #implementation #re-engineering

Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles (CGJ), pp. 744–747.

ICSE-2007-TurhanB #re-engineering

A Template for Real World Team Projects for Highly Populated Software Engineering Classes (BT, ABB), pp. 748–753.

ICSE-2007-CoppitPR #named #prototype

Spotlight: A Prototype Tool for Software Plans (DC, RRP, MR), pp. 754–757.

ICSE-2007-MarinMD #documentation #named

SoQueT: Query-Based Documentation of Crosscutting Concerns (MM, LM, AvD), pp. 758–761.

ICSE-2007-AdarK #named #visualisation

SoftGUESS: Visualization and Exploration of Code Clones in Context (EA, MK), pp. 762–766.

ICSE-2007-UzuncaovaK #declarative #named #slicing #specification

Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.

ICSE-2007-MilicevicMMK #generative #named #testing

Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.

ICSE-2007-ChesleyRRT #fault #java #locality #source code

Crisp- A Fault Localization Tool for Java Programs (OCC, XR, BGR, FT), pp. 775–779.

ICSE-2007-WarrR #named

Suade: Topology-Based Searches for Software Investigation (FWW, MPR), pp. 780–783.

ICSE-2007-AutiliINT #automation #component #distributed #named #synthesis

SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.

ICSE-2007-ChengDS

Presentations by Programmers for Programmers (LTC, MD, MADS), pp. 788–792.

ICSE-2007-Egyed07a #consistency #modelling #named #uml

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.

ICSE-2007-ZhuLBG #capacity #modelling #named

Revel8or: Model Driven Capacity Planning Tool Suite (LZ, YL, NBB, IG), pp. 797–800.

ICSE-2007-BurmesterGHHTGMV #perspective #realtime #tool support

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.