Wilhelm Schäfer, Matthew B. Dwyer, Volker Gruhn
Proceedings of the 30th International Conference on Software Engineering
ICSE, 2008.

@proceedings{ICSE-2008,
	address       = "Leipzig, Germany",
	editor        = "Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn",
	isbn          = "978-1-60558-079-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 30th International Conference on Software Engineering}",
	year          = 2008,
}

Contents (103 items)

16 ×#named
12 ×#modelling
8 ×#case study
8 ×#testing
8 ×#using
7 ×#detection
6 ×#tool support
5 ×#adaptation
5 ×#analysis
5 ×#architecture

ICSE-2008-ScaffidiMS #abstraction #named #reuse #validation

Topes: reusable abstractions for validating data (CS, BAM, MS), pp. 1–10.

ICSE-2008-Reiss

Tracking source locations (SPR), pp. 11–20.

ICSE-2008-AlwisM #concept #query

Answering conceptual queries with Ferret (BdA, GCM), pp. 21–30.

ICSE-2008-Grunske #probability #quality #specification

Specification patterns for probabilistic quality properties (LG), pp. 31–40.

ICSE-2008-SibayUB #revisited #sequence chart

Existential live sequence charts revisited (GES, SU, VAB), pp. 41–50.

ICSE-2008-GabelS #mining #specification

Symbolic mining of temporal specifications (MG, ZS), pp. 51–60.

ICSE-2008-LuCT #consistency #nondeterminism #pervasive #testing

Testing pervasive software in the presence of context inconsistency resolution services (HL, WKC, THT), pp. 61–70.

ICSE-2008-CiupaLOM #adaptation #named #object-oriented #random testing #testing

ARTOO: adaptive random testing for object-oriented software (IC, AL, MO, BM), pp. 71–80.

ICSE-2008-YilmazPW #fault #locality #using

Time will tell: fault localization using time spectra (CY, AMP, CW), pp. 81–90.

ICSE-2008-HoffmanE #aspect-oriented #component #composition #empirical #reuse #towards

Towards reusable components with aspects: an empirical study on modularity and obliviousness (KJH, PE), pp. 91–100.

ICSE-2008-SicardBP #architecture #component #self #using

Using components for architecture-based management: the self-repair case (SS, FB, NDP), pp. 101–110.

ICSE-2008-CheungRMG #component #predict #reliability

Early prediction of software component reliability (LC, RR, NM, LG), pp. 111–120.

ICSE-2008-WhittleWH #case study #execution #modelling #security

Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.

ICSE-2008-SankaranarayananIG #induction #library #logic programming #mining #specification #using

Mining library specifications using inductive logic programming (SS, FI, AG), pp. 131–140.

ICSE-2008-ChenY #constraints #dependence #grid #verification #workflow

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (JC, YY), pp. 141–150.

ICSE-2008-XuR #detection #java #memory management #precise #profiling #using

Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.

ICSE-2008-RajanWH #test coverage #testing

The effect of program and model structure on mc/dc test adequacy coverage (AR, MWW, MPEH), pp. 161–170.

ICSE-2008-WassermannS #detection #static analysis

Static detection of cross-site scripting vulnerabilities (GW, ZS), pp. 171–180.

ICSE-2008-MoserPS #analysis #comparative #fault #metric #performance #predict

A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction (RM, WP, GS), pp. 181–190.

ICSE-2008-LungAEW #on the #re-engineering

On the difficulty of replicating human subjects studies in software engineering (JL, JA, SME, GVW), pp. 191–200.

ICSE-2008-YuJH #empirical #fault #locality #reduction #testing

An empirical study of the effects of test-suite reduction on fault localization (YY, JAJ, MJH), pp. 201–210.

ICSE-2008-BabicH #named #precise #scalability #static analysis

Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.

ICSE-2008-ChenSR #analysis #java #named #predict #runtime

jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.

ICSE-2008-HammerDVT #detection

Dynamic detection of atomic-set-serializability violations (CH, JD, MV, FT), pp. 231–240.

ICSE-2008-SouzaR #dependence #developer #empirical

An empirical study of software developers’ management of dependencies and changes (CRBdS, DFR), pp. 241–250.

ICSE-2008-StoreyRBMS #debugging #developer #game studies #how

TODO or to bug: exploring how task annotations play a role in the work practices of software developers (MADS, JR, RIB, DM, JS), pp. 251–260.

ICSE-2008-FigueiredoC #aspect-oriented #design #empirical #evolution #product line

Evolving software product lines with aspects: an empirical study on design stability (EF, NC, CS, MM, UK, AG, SS, FCF, SSK, FCF, FD), pp. 261–270.

ICSE-2008-ChenDS #calculus #verification

A verification system for timed interval calculus (CC, JSD, JS), pp. 271–280.

ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation

DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.

ICSE-2008-LauterburgSMV #incremental #source code

Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.

ICSE-2008-KoM #behaviour #debugging #why

Debugging reinvented: asking and answering why and why not questions about program behavior (AJK, BAM), pp. 301–310.

ICSE-2008-KastnerAK #product line

Granularity in software product lines (CK, SA, MK), pp. 311–320.

ICSE-2008-GabelJS #detection #scalability #semantics

Scalable detection of semantic clones (MG, LJ, ZS), pp. 321–330.

ICSE-2008-WaliaCN #fault #modelling

The effect of the number of inspectors on the defect estimates produced by capture-recapture models (GSW, JCC, NN), pp. 331–340.

ICSE-2008-RuthruffPMER #approach #predict #static analysis

Predicting accurate and actionable static analysis warnings: an experimental approach (JRR, JP, JDM, SGE, GR), pp. 341–350.

ICSE-2008-NaminAM #effectiveness

Sufficient mutation operators for measuring test effectiveness (ASN, JHA, DJM), pp. 351–360.

ICSE-2008-RiccaPTTCV #evolution

Are fit tables really talking?: a series of experiments to understand whether fit tables are useful during evolution tasks (FR, MDP, MT, PT, MC, CAV), pp. 361–370.

ICSE-2008-MeiCT #data flow #testing #workflow

Data flow testing of service-oriented workflow applications (LM, WKC, THT), pp. 371–380.

ICSE-2008-Spinellis #kernel

A tale of four kernels (DS), pp. 381–390.

ICSE-2008-EichbergKKM #dependence

Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.

ICSE-2008-GoldschmidtRW #case study #evaluation #maintenance #performance

A case study evaluation of maintainability and performance of persistency techniques (TG, RR, JW), pp. 401–410.

ICSE-2008-HuynhCSS #automation #composition #consistency

Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.

ICSE-2008-Murphy-HillB #refactoring #tool support

Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.

ICSE-2008-KegelS #inheritance #java #refactoring

Systematically refactoring inheritance to delegation in java (HK, FS), pp. 431–440.

ICSE-2008-DigNMJ #adaptation #evolution #library #named #refactoring

ReBA: refactoring-aware binary adaptation of evolving libraries (DD, SN, VM, REJ), pp. 441–450.

ICSE-2008-MauleER #database #impact analysis

Impact analysis of database schema changes (AM, WE, DSR), pp. 451–460.

ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using

An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.

ICSE-2008-SchaferJM #framework #mining

Mining framework usage changes from instantiation code (TS, JJ, MM), pp. 471–480.

ICSE-2008-DagenaisR #adaptation #evolution #framework #recommendation

Recommending adaptive changes for framework evolution (BD, MPR), pp. 481–490.

ICSE-2008-WangCW #automation #distributed

Four enhancements to automated distributed system experimentation methods (YW, AC, ALW), pp. 491–500.

ICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling

Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.

ICSE-2008-BlancMMM #consistency #detection #nondeterminism

Detecting model inconsistency through operation-based model construction (XB, IM, AM, TM), pp. 511–520.

ICSE-2008-NagappanMB #case study #empirical #quality

The influence of organizational structure on software quality: an empirical case study (NN, BM, VRB), pp. 521–530.

ICSE-2008-ZimmermannN #analysis #dependence #fault #graph #network #predict #using

Predicting defects using network analysis on dependency graphs (TZ, NN), pp. 531–540.

ICSE-2008-RigbyGS #case study #open source #overview

Open source software peer review practices: a case study of the apache server (PCR, DMG, MADS), pp. 541–550.

ICSE-2008-McCafferyPR #agile #assessment #hybrid #named #safety

Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.

ICSE-2008-NiggemannS #modelling #why

Models for model’s sake: why explicit system models are also an end to themselves (ON, JS), pp. 561–570.

ICSE-2008-FritschSSC #adaptation #bound

Time-bounded adaptation for automotive system software (SF, AS, DCS, SC), pp. 571–580.

ICSE-2008-Freund #integration

Mulit-level system integration based on AUTOSAR (UF), pp. 581–582.

ICSE-2008-Bienk #semantics #syntax

Asam odx: syntax as semantics (SB), pp. 583–592.

ICSE-2008-ReichertKSMH #analysis #network #protocol

A language for advanced protocol analysis in automotive networks (TR, EK, WS, AM, DH), pp. 593–602.

ICSE-2008-DeissenboeckHJSWGT #clone detection #detection #development #modelling

Clone detection in automotive model-based development (FD, BH, EJ, BS, SW, JFG, ST), pp. 603–612.

ICSE-2008-BeekGKM #verification

Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.

ICSE-2008-ChenAHCOH #process

Analyzing medical processes (BC, GSA, EAH, LAC, LJO, PLH), pp. 623–632.

ICSE-2008-PaechW #quality #requirements

Rational quality requirements for medical software (BP, TW), pp. 633–638.

ICSE-2008-DorrKLGDH #quality #requirements

Supporting requirements engineering for medical products: early consideration of user-perceived quality (JD, DK, DL, CG, CD, AH), pp. 639–648.

ICSE-2008-Bortis #case study #experience #health #integration #open source

Experiences with Mirth: an open source health care integration engine (GB), pp. 649–652.

ICSE-2008-AmmonHJF #architecture #knowledge-based

Developing an architecture of a knowledge-based electronic patient record (DA, DH, TJ, EF), pp. 653–660.

ICSE-2008-ScherlHKH #3d #architecture #design #implementation #re-engineering

Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging (HS, SH, MK, JH), pp. 661–668.

ICSE-2008-VieiraSMSTH #case study #experience #modelling #testing

Applying model-based testing to healthcare products: preliminary experiences (MV, XS, GM, SS, RT, WMH), pp. 669–672.

ICSE-2008-XiaoLG #distributed #protocol #security

Developing a security protocol for a distributed decision support system in a healthcare environment (LX, PHL, AG), pp. 673–682.

ICSE-2008-JurjensSB #analysis #mobile #modelling #security

Model-based security analysis for mobile communications (JJ, JS, PB), pp. 683–692.

ICSE-2008-LongDG #experience #industrial #model checking

Experience applying the SPIN model checker to an industrial telecommunications system (BL, JD, TCNG), pp. 693–702.

ICSE-2008-ScholzBKKHW #architecture #multi #named #web #web service

WS-AMUSE — web service architecture for multimedia services (AS, CB, AK, AK, JH, MW), pp. 703–712.

ICSE-2008-MockusW #process #quality

Interval quality: relating customer-perceived quality to process quality (AM, DMW), pp. 723–732.

ICSE-2008-SiebraCSS #concept #network #process #testing

Improving the handsets network test process via DMAIC concepts (CdS, PHRC, ALMS, FQBdS), pp. 733–740.

ICSE-2008-MichalikNO #architecture #case study #evaluation

3-step knowledge transition: a case study on architecture evaluation (BM, JRN, MO), pp. 741–748.

ICSE-2008-CabotDMVR #distributed #experience #modelling #programming #re-engineering

From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.

ICSE-2008-FlemingKSXD #case study #concurrent #maintenance #student

A study of student strategies for the corrective maintenance of concurrent software (SDF, EK, REKS, SX, LKD), pp. 759–768.

ICSE-2008-StapelLK #design #programming

Best practices in extreme programming course design (KS, DL, EK), pp. 769–776.

ICSE-2008-GannodBH #education #re-engineering #using

Using the inverted classroom to teach software engineering (GCG, JEB, MTH), pp. 777–786.

ICSE-2008-LanzaMRLB #approach #java #programming #smalltalk

A teamwork-based approach to programming fundamentals with scheme, smalltalk & java (ML, ALM, RR, ML, PB), pp. 787–790.

ICSE-2008-Krogstie #community #open source #re-engineering #student

Power through brokering: open source community participation in software engineering student projects (BRK), pp. 791–800.

ICSE-2008-DenzlerG #design pattern #programming

Design patterns: between programming and software design (CD, DG), pp. 801–804.

ICSE-2008-Dumslaff #industrial

Change management: from knowledge about innovative SE to capabilities for industrial SE projects (UD), pp. 805–806.

ICSE-2008-AmelunxenKKRS #integration #metamodelling #tool support

Metamodel-based tool integration with moflon (CA, FK, AK, TR, AS), pp. 807–810.

ICSE-2008-BencomoGFHB #adaptation #component #development #modelling #named

Genie: supporting the model driven development of reflective, component-based adaptive systems (NB, PG, CAFC, DH, GSB), pp. 811–814.

ICSE-2008-SabetzadehNEC #consistency #distributed #modelling

Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.

ICSE-2008-GrundyHHL #eclipse #generative #multi #named

Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.

ICSE-2008-ReinhardMSCG #modelling #navigation #tool support #visual notation

Tool support for the navigation in graphical models (TR, SM, RS, CC, MG), pp. 823–826.

ICSE-2008-BunyakiatiFSC #standard #testing #uml #using

Using JULE to generate a compliance test suite for the UML standard (PB, AF, JS, CC), pp. 827–830.

ICSE-2008-WenzelK #evolution

Analyzing model evolution (SW, UK), pp. 831–834.

ICSE-2008-BurgeB #named

SEURAT: integrated rationale management (JEB, DCB), pp. 835–838.

ICSE-2008-LuciaOT #semantics #traceability

Adams re-trace: traceability link recovery via latent semantic indexing (ADL, RO, GT), pp. 839–842.

ICSE-2008-Duala-EkokoR #named #tool support

Clonetracker: tool support for code clone management (EDE, MPR), pp. 843–846.

ICSE-2008-RobbesL #development #named #tool support

SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.

ICSE-2008-LiW #maintenance #user interface

Dynamic round-trip GUI maintenance (PL, EW), pp. 851–854.

ICSE-2008-ElkarabliehK #data type #named

Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.

ICSE-2008-MalikPUK #generative #invariant #named #representation

Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.

ICSE-2008-GveroGL #java

State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.

ICSE-2008-ScaffidiMS08a #tool support #validation

Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.

ICSE-2008-GuoFBZ #e-commerce #process #visualisation

A business process explorer: recovering and visualizing e-commerce business processes (JG, KCF, LB, YZ), pp. 871–874.

ICSE-2008-HohnJ #automation #modelling #named

Rubacon: automated support for model-based compliance engineering (SH, JJ), pp. 875–878.