Michel Wermelinger, Harald Gall
Proceedings of the 10th European Software Engineering Conference held jointly with 13th International Symposium on Foundations of Software Engineering
ESEC/FSE, 2005.

@proceedings{ESEC-FSE-2005,
	address       = "Lisbon, Portugal",
	editor        = "Michel Wermelinger and Harald Gall",
	isbn          = "1-59593-014-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th European Software Engineering Conference held jointly with 13th International Symposium on Foundations of Software Engineering}",
	year          = 2005,
}

Contents (49 items)

10 ×#named
5 ×#detection
4 ×#component
4 ×#testing
3 ×#approach
3 ×#architecture
3 ×#automation
3 ×#modelling
3 ×#programming
3 ×#re-engineering

ESEC-FSE-2005-NierstraszDG #agile #re-engineering #smalltalk

The story of moose: an agile reengineering environment (ON, SD, TG), pp. 1–10.

ESEC-FSE-2005-Robillard #automation #generative

Automatic generation of suggestions for program investigation (MPR), pp. 11–20.

ESEC-FSE-2005-McCloskeyB #approach #c #named #refactoring

ASTEC: a new approach to refactoring C (BM, EAB), pp. 21–30.

ESEC-FSE-2005-HenzingerJM #interface

Permissive interfaces (TAH, RJ, RM), pp. 31–40.

ESEC-FSE-2005-LandtsheerL #reasoning #requirements

Reasoning about confidentiality at requirements engineering time (RDL, AvL), pp. 41–49.

ESEC-FSE-2005-BakerBJKTMB #detection #diagrams #semantics #sequence chart #uml

Detecting and resolving semantic pathologies in UML sequence diagrams (PB, PB, CJ, DJK, RT, BM, SB), pp. 50–59.

ESEC-FSE-2005-HeindlB #case study #requirements

A case study on value-based requirements tracing (MH, SB), pp. 60–69.

ESEC-FSE-2005-LetierKMU #logic #modelling

Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.

ESEC-FSE-2005-ShenSHJSM #component #formal method #towards

Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.

ESEC-FSE-2005-RenierisRR

Arithmetic program paths (MR, SR, SPR), pp. 90–98.

ESEC-FSE-2005-DucasseGN #agile #named #re-engineering #smalltalk

Moose: an agile reengineering environment (SD, TG, ON), pp. 99–102.

ESEC-FSE-2005-SchmerlGY #architecture

Dynamically discovering architectures with DiscoTect (BRS, DG, HY), pp. 103–106.

ESEC-FSE-2005-SliwerskiZZ #named

HATARI: raising risk awareness (JŚ, TZ, AZ), pp. 107–110.

ESEC-FSE-2005-InverardiMP #analysis #architecture #named

CHARMY: an extensible tool for architectural analysis (PI, HM, PP), pp. 111–114.

ESEC-FSE-2005-XieA #detection #memory management

Context- and path-sensitive memory leak detection (YX, AA), pp. 115–125.

ESEC-FSE-2005-MetzLG #approach #hybrid #performance #using

Performance data collection using a hybrid approach (EM, RL, TFG), pp. 126–135.

ESEC-FSE-2005-SrinivasS #component #performance #perspective

Summarizing application performance from a components perspective (KS, HS), pp. 136–145.

ESEC-FSE-2005-HaranKOPS #classification #execution

Applying classification techniques to remotely-collected program execution data (MH, AFK, AO, AAP, APS), pp. 146–155.

ESEC-FSE-2005-BasitJ #detection #similarity #source code

Detecting higher-level similarity patterns in programs (HAB, SJ), pp. 156–165.

ESEC-FSE-2005-SullivanGSCSTR #aspect-oriented #design #information management #interface

Information hiding interfaces for aspect-oriented design (KJS, WGG, YS, YC, MS, NT, HR), pp. 166–175.

ESEC-FSE-2005-Camara #pervasive

Innovations in pervasive computing (ASC), p. 176.

ESEC-FSE-2005-BevanWKG #evolution #research

Facilitating software evolution research with kenyon (JB, EJWJ, SK, MWG), pp. 177–186.

ESEC-FSE-2005-KimSN #empirical

An empirical study of code clone genealogies (MK, VS, DN, GCM), pp. 187–196.

ESEC-FSE-2005-ZhangG #execution

Matching execution histories of program versions (XZ, RG), pp. 197–206.

ESEC-FSE-2005-KuncakJ #algebra #analysis #data type #relational

Relational analysis of algebraic datatypes (VK, DJ), pp. 207–216.

ESEC-FSE-2005-BierhoffA #lightweight #specification #type system

Lightweight object specification with typestates (KB, JA), pp. 217–226.

ESEC-FSE-2005-FischerJM #data flow

Joining dataflow with predicates (JF, RJ, RM), pp. 227–236.

ESEC-FSE-2005-HolmesWM #recommendation

Strathcona example recommendation tool (RH, RJW, GCM), pp. 237–240.

ESEC-FSE-2005-TillmannS #testing

Parameterized unit tests with unit meister (NT, WS), pp. 241–244.

ESEC-FSE-2005-ChatleyT #eclipse #learning #named

KenyaEclipse: learning to program in eclipse (RC, TT), pp. 245–248.

ESEC-FSE-2005-GrigorenkoST #generative #programming #visual notation

Visual tool for generative programming (PG, AS, ET), pp. 249–252.

ESEC-FSE-2005-TillmannS05a #testing

Parameterized unit tests (NT, WS), pp. 253–262.

ESEC-FSE-2005-SenMA #c #named #testing

CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.

ESEC-FSE-2005-VeanesCST #online #source code #testing

Online testing with model programs (MV, CC, WS, NT), pp. 273–282.

ESEC-FSE-2005-KramerM #distributed

Engineering distributed software: a structural discipline (JK, JM), pp. 283–285.

ESEC-FSE-2005-LiuYFHM #debugging #locality #modelling #named #statistics

SOBER: statistical model-based bug localization (CL, XY, LF, JH, SPM), pp. 286–295.

ESEC-FSE-2005-LivshitsZ #fault #mining #named

DynaMine: finding common error patterns by mining software revision histories (VBL, TZ), pp. 296–305.

ESEC-FSE-2005-LiZ #automation #detection #named #programming #scalability

PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (ZL, YZ), pp. 306–315.

ESEC-FSE-2005-EstublierV #reuse #scalability #variability

Reuse and variability in large software applications (JE, GV), pp. 316–325.

ESEC-FSE-2005-PetterssonJ #approach #experience #industrial #lightweight #product line #using #web

Industrial experience with building a web portal product line using a lightweight, reactive approach (UP, SJ), pp. 326–335.

ESEC-FSE-2005-XuC #consistency #detection #middleware #nondeterminism

Inconsistency detection and resolution for context-aware middleware support (CX, SCC), pp. 336–345.

ESEC-FSE-2005-ArandaE #estimation

Anchoring and adjustment in software estimation (JA, SME), pp. 346–355.

ESEC-FSE-2005-HochsteinBZHC #automation #metric #programming #self

Combining self-reported and automatic data to improve programming effort measurement (LH, VRB, MVZ, JKH, JC), pp. 356–365.

ESEC-FSE-2005-Baroni #assessment #modelling #uml

Quantitative assessment of UML dynamic models (ALB), pp. 366–369.

ESEC-FSE-2005-GearB #component #re-engineering #towards #using

Reengineering towards components using “Reconn-exion” (ALG, JB), pp. 370–373.

ESEC-FSE-2005-ErfurthR #named

UPEX: user participation by example (IE, WR), pp. 374–376.

ESEC-FSE-2005-Barbosa #architecture #calculus #component #refinement

A refinement calculus for software components and architectures (MAB), pp. 377–380.

ESEC-FSE-2005-Sherriff #fault #validation #verification

Utilizing verification and validation certificates to estimate software defect density (MS), pp. 381–384.

ESEC-FSE-2005-HordijkW #design #maintenance #research

Surveying the factors that influence maintainability: research design (WH, RW), pp. 385–388.