Proceedings of the 29th International Conference on 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


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

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

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.

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.