Proceedings of the 30th 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

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

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

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.

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.