Ivica Crnkovic, Antonia Bertolino
Proceedings of the Sixth Joint Meeting of the 11th European Software Engineering Conference and the 15th International Symposium on Foundations of Software Engineering
ESEC/FSE, 2007.

@proceedings{ESEC-FSE-2007,
	address       = "Dubrovnik, Croatia",
	editor        = "Ivica Crnkovic and Antonia Bertolino",
	isbn          = "978-1-59593-811-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth Joint Meeting of the 11th European Software Engineering Conference and the 15th International Symposium on Foundations of Software Engineering}",
	year          = 2007,
}

Contents (80 items)

14 ×#testing
9 ×#using
8 ×#detection
7 ×#analysis
7 ×#automation
7 ×#generative
6 ×#approach
5 ×#performance
4 ×#composition
4 ×#development

ESEC-FSE-2007-Siagri #artificial reality #grid #pervasive

Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality (RS), pp. 1–4.

ESEC-FSE-2007-ChristodorescuJK #behaviour #mining #specification

Mining specifications of malicious behavior (MC, SJ, CK), pp. 5–14.

ESEC-FSE-2007-SaulFDB #random #recommendation

Recommending random walks (ZMS, VF, PTD, CB), pp. 15–24.

ESEC-FSE-2007-AcharyaXPX #api #mining #partial order #source code #specification

Mining API patterns as partial orders from source code: from usage scenarios to specifications (MA, TX, JP, JX), pp. 25–34.

ESEC-FSE-2007-WasylkowskiZL #detection

Detecting object usage anomalies (AW, AZ, CL), pp. 35–44.

ESEC-FSE-2007-KimE #question

Which warnings should I fix first? (SK, MDE), pp. 45–54.

ESEC-FSE-2007-JiangSC #debugging #detection

Context-based detection of clone-related bugs (LJ, ZS, EC), pp. 55–64.

ESEC-FSE-2007-ChandrasekaranCJR #programming

Programming asynchronous layers with CLARITY (PC, CLC, JMJ, SKR), pp. 65–74.

ESEC-FSE-2007-ZibinPAAKE #java #using

Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.

ESEC-FSE-2007-XuRTQ #java #performance #using

Efficient checkpointing of java software using context-sensitive capture and replay (G(X, AR, YT, FQ), pp. 85–94.

ESEC-FSE-2007-GrechanikMP #traceability #using

Recovering and using use-case-diagram-to-source-code traceability links (MG, KSM, DEP), pp. 95–104.

ESEC-FSE-2007-SaliuR #evolution #release planning

Bi-objective release planning for evolving software systems (MOS, GR), pp. 105–114.

ESEC-FSE-2007-AsuncionFT #industrial #traceability

An end-to-end industrial software traceability tool (HUA, FF, RNT), pp. 115–124.

ESEC-FSE-2007-RamasubbuB #analysis #development #distributed #empirical #performance

Globally distributed software development project performance: an empirical analysis (NR, RKB), pp. 125–134.

ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing

Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.

ESEC-FSE-2007-HalfondO #automation #generative #interface #testing #using #web

Improving test case generation for web applications using automated interface discovery (WGJH, AO), pp. 145–154.

ESEC-FSE-2007-HarmanHLMW #generative #reduction #search-based #testing

The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.

ESEC-FSE-2007-CottrellCWD

Determining detailed structural correspondence for generalization tasks (RC, JJCC, RJW, JD), pp. 165–174.

ESEC-FSE-2007-ShonleGL #composition #design #framework #maintenance #refactoring

Beyond refactoring: a framework for modular maintenance of crosscutting design idioms (MS, WGG, SL), pp. 175–184.

ESEC-FSE-2007-DanielDGM #automation #refactoring #testing

Automated testing of refactoring engines (BD, DD, KG, DM), pp. 185–194.

ESEC-FSE-2007-DolbyVT #debugging #satisfiability

Finding bugs efficiently with a SAT solver (JD, MV, FT), pp. 195–204.

ESEC-FSE-2007-VoungJL #concurrent #detection #named

RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.

ESEC-FSE-2007-NgoT #detection #scalability

Detecting large number of infeasible paths through recognizing their patterns (MNN, HBKT), pp. 215–224.

ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking

Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.

ESEC-FSE-2007-YeCCX #composition #detection

Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.

ESEC-FSE-2007-PaytonJR #assessment #automation #consistency #query

Automatic consistency assessment for query results in dynamic environments (JP, CJ, GCR), pp. 245–254.

ESEC-FSE-2007-ErenkrantzGST #architecture #evolution #web

From representations to computations: the evolution of web architectures (JRE, MMG, GS, RNT), pp. 255–264.

ESEC-FSE-2007-EstublierV #configuration management #data transformation

Reconciling software configuration management and product data management (JE, GV), pp. 265–274.

ESEC-FSE-2007-RoychoudhuryGS #sequence chart

Symbolic message sequence charts (AR, AG, BS), pp. 275–284.

ESEC-FSE-2007-KlarKS #in the large #model transformation

Model transformation in the large (FK, AK, AS), pp. 285–294.

ESEC-FSE-2007-TreudeBWK #difference #modelling #scalability

Difference computation of large models (CT, SB, SW, UK), pp. 295–304.

ESEC-FSE-2007-Weyuker #re-engineering #research

Software engineering research: from cradle to grave (EJW), pp. 305–311.

ESEC-FSE-2007-PradellaMP #symmetry #verification

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties (MP, AM, PSP), pp. 312–320.

ESEC-FSE-2007-SankaranarayananCJI #constraints #feedback #generative #monte carlo #using

State space exploration using feedback constraint generation and Monte-Carlo sampling (SS, RMC, GJ, FI), pp. 321–330.

ESEC-FSE-2007-YuBP #analysis #automation #ocl

Automated size analysis for OCL (FY, TB, EP), pp. 331–340.

ESEC-FSE-2007-FritzMH #process #question

Does a programmer’s activity indicate knowledge of code? (TF, GCM, EH), pp. 341–350.

ESEC-FSE-2007-YeYN #framework

A socio-technical framework for supporting programmers (YY, YY, KN), pp. 351–360.

ESEC-FSE-2007-LaTozaGHM #comprehension

Program comprehension as fact finding (TDL, DG, JDH, BAM), pp. 361–370.

ESEC-FSE-2007-Scedrov

The work of Dean Rosenzweig: a tribute to a scientist and an innovator (AS), pp. 371–374.

ESEC-FSE-2007-DubocRW #analysis #framework #scalability

A framework for characterization and analysis of software system scalability (LD, DSR, TW), pp. 375–384.

ESEC-FSE-2007-AversanoCCGP #design pattern #empirical #evolution

An empirical study on the evolution of design patterns (LA, GC, LC, CDG, MDP), pp. 385–394.

ESEC-FSE-2007-GoldsmithAW #complexity #empirical

Measuring empirical computational complexity (SG, AA, DSW), pp. 395–404.

ESEC-FSE-2007-MizunoK #detection #empirical #fault

Training on errors experiment to detect fault-prone software modules by spam filter (OM, TK), pp. 405–414.

ESEC-FSE-2007-CalegariMRM #generative #mobile #named #performance #testing

CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems (RC, MM, FR, CM), pp. 415–424.

ESEC-FSE-2007-LeitnerCOMF #contract #development #testing

Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.

ESEC-FSE-2007-ParreirasSW #metamodelling #on the #ontology #technological space

On marrying ontological and metamodeling technical spaces (FSP, SS, AW), pp. 439–448.

ESEC-FSE-2007-Kwiatkowska #modelling #tool support #verification

Quantitative verification: models techniques and tools (MZK), pp. 449–458.

ESEC-FSE-2007-Scacchi #development #open source

Free/open source software development (WS), pp. 459–468.

ESEC-FSE-2007-MaqsoodJ #education #effectiveness #project management

Practicum in software project management: an endeavor to effective and pragmatic software project management education (MeM, TJ), pp. 471–480.

ESEC-FSE-2007-El-SheikhT #development #overview #web

A survey of web engineering practice in small Jordanian web development firms (AES, HT), pp. 481–490.

ESEC-FSE-2007-NikolovI #ecosystem #education #re-engineering #research

Building a research university ecosystem: the case of software engineering education at Sofia University (RN, SI), pp. 491–500.

ESEC-FSE-2007-SharpHBB #developer #difference

Exploring motivational differences between software developers and project managers (HS, TH, NB, SB), pp. 501–504.

ESEC-FSE-2007-LarssonME #analysis #integration #statistics

Product integration improvement based on analysis of build statistics (SL, PM, FE), pp. 505–508.

ESEC-FSE-2007-PatelBS #capacity #case study #using

A case study in assessing and improving capacity using an anatomy of good practice (MP, AB, KS), pp. 509–512.

ESEC-FSE-2007-BasitJ #clone detection #detection #flexibility #performance

Efficient token based clone detection with flexible tokenization (HAB, SJ), pp. 513–516.

ESEC-FSE-2007-ZhouLZ #approach #model transformation

A segment-based approach for reconcilable model transformation (XZ, YL, JZ), pp. 517–520.

ESEC-FSE-2007-FantechiG #behaviour #product line

A behavioural model for product families (AF, SG), pp. 521–524.

ESEC-FSE-2007-UzuncaovaGKB #approach #product line #testing

A specification-based approach to testing software product lines (EU, DG, SK, DSB), pp. 525–528.

ESEC-FSE-2007-KumarSCP #analysis #design #framework #optimisation #realtime #statistics

A profile-driven statistical analysis framework for the design optimization of soft real-time applications (TK, JS, RC, SP), pp. 529–532.

ESEC-FSE-2007-LuJZ #case study #test coverage

A study of interleaving coverage criteria (SL, WJ, YZ), pp. 533–536.

ESEC-FSE-2007-MiranskyyMGDWG #approach #execution #multi #scalability

An iterative, multi-level, and scalable approach to comparing execution traces (AVM, NHM, MG, MD, MW, DG), pp. 537–540.

ESEC-FSE-2007-KosterK #behaviour #test coverage #testing

State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.

ESEC-FSE-2007-ChilimbiNV #effectiveness #performance #profiling #testing

Quantifying the effectiveness of testing via efficient residual path profiling (TMC, AVN, KV), pp. 545–548.

ESEC-FSE-2007-EvansS #approach #detection #difference #testing

Differential testing: a new approach to change detection (RBE, AS), pp. 549–552.

ESEC-FSE-2007-MajumdarX #generative #testing #using

Directed test generation using symbolic grammars (RM, RGX), pp. 553–556.

ESEC-FSE-2007-FoucheCP #adaptation #array #incremental #towards

Towards incremental adaptive covering arrays (SF, MBC, AAP), pp. 557–560.

ESEC-FSE-2007-JoshiSS #effectiveness #predict #testing

Predictive testing: amplifying the effectiveness of software testing (PJ, KS, MS), pp. 561–564.

ESEC-FSE-2007-SherriffHLW #identification #static analysis #using

Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.

ESEC-FSE-2007-XuCCY #automation #consistency #nondeterminism #on the #pervasive

On impact-oriented automatic resolution of pervasive context inconsistency (CX, SCC, WKC, CY), pp. 569–572.

ESEC-FSE-2007-Stefaniak #visualisation

Visualising exemplary program values (MS), pp. 575–578.

ESEC-FSE-2007-Coman #analysis #automation #developer #low level #using

An analysis of developers’ tasks using low-level, automatically collected data (IDC), pp. 579–582.

ESEC-FSE-2007-Potena #composition #non-functional #research #trade-off

Composition and tradeoff of non-functional attributes in software systems: research directions (PP), pp. 583–586.

ESEC-FSE-2007-Baerisch #modelling #testing

Model-driven test-case construction (SB), pp. 587–590.

ESEC-FSE-2007-Hanna #implementation #lightweight #named #network #protocol #security #verification

SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.

ESEC-FSE-2007-Diep #analysis

Analysis of a deployed software (MD), pp. 595–598.

ESEC-FSE-2007-Pietrantuono #approach #component #novel

Component airbag: a novel approach to develop dependable component-based applications (RP), pp. 599–602.

ESEC-FSE-2007-Kavaldjian #approach #generative #modelling #user interface

A model-driven approach to generating user interfaces (SK), pp. 603–606.

ESEC-FSE-2007-AldrichBGLS #component #specification #verification

Specification and verification of component-based systems 2007 (JA, MB, DG, GTL, NS), pp. 609–610.

ESEC-FSE-2007-Wolf #pervasive

Engineering software services for pervasive environments (ALW), pp. 619–620.

ESEC-FSE-2007-HartmanKP #automation #testing

Domain specific approaches to software test automation (AH, MK, AMP), pp. 621–622.