Mary Jean Harrold, Gail C. Murphy
Proceedings of the 16th International Symposium on Foundations of Software Engineering
FSE, 2008.

@proceedings{FSE-2008,
	address       = "Atlanta, Georgia, USA",
	editor        = "Mary Jean Harrold and Gail C. Murphy",
	isbn          = "978-1-59593-995-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Symposium on Foundations of Software Engineering}",
	year          = 2008,
}

Contents (34 items)

5 ×#named
5 ×#using
4 ×#web
3 ×#automation
3 ×#detection
3 ×#modelling
3 ×#network
3 ×#testing
2 ×#analysis
2 ×#composition

FSE-2008-Baldwin

A design-centric view of the economy: abstract (CB), p. 1.

FSE-2008-PinzgerNM #developer #network #predict #question

Can developer-module networks predict failures? (MP, NN, BM), pp. 2–12.

FSE-2008-MeneelyWSO #analysis #developer #network #predict #social

Predicting failures with developer networks and social network analysis (AM, LW, WS, JAO), pp. 13–23.

FSE-2008-BirdPDFD #open source #social

Latent social structure in open source projects (CB, DSP, RMD, VF, PTD), pp. 24–35.

FSE-2008-BoddenLH #fault #monitoring #programming #runtime

Finding programming errors earlier by evaluating runtime monitors ahead-of-time (EB, PL, LJH), pp. 36–47.

FSE-2008-JiangS #analysis #effectiveness #testing

Profile-guided program simplification for effective testing and analysis (LJ, ZS), pp. 48–58.

FSE-2008-DufourRS #java #scalability

A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications (BD, BGR, GS), pp. 59–70.

FSE-2008-DoMTR #constraints #empirical #testing

An empirical study of the effect of time constraints on the cost-benefits of regression testing (HD, SM, LT, GR), pp. 71–82.

FSE-2008-LinZ #execution

Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.

FSE-2008-LaiCC #control flow #data flow #test coverage #testing

Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.

FSE-2008-StylosM #api

The implications of method placement on API learnability (JS, BAM), pp. 105–112.

FSE-2008-SarmaRH #configuration management #empirical

Empirical evidence of the benefits of workspace awareness in software configuration management (AS, DFR, AvdH), pp. 113–123.

FSE-2008-KoesnandarERHSS #metaprogramming #using #web

Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.

FSE-2008-ParkS #concurrent #detection #random #source code

Randomized active atomicity violation detection in concurrent programs (CSP, KS), pp. 135–145.

FSE-2008-DragertDR #concurrent #generative #using

Generation of concurrency control code using discrete-event systems theory (CD, JD, KR), pp. 146–157.

FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification

Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.

FSE-2008-RaimondiSE #monitoring #online #performance

Efficient online monitoring of web-service SLAs (FR, JS, WE), pp. 170–180.

FSE-2008-HalfondO #automation #identification #parametricity #web

Automated identification of parameter mismatches in web applications (WGJH, AO), pp. 181–191.

FSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service

Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.

FSE-2008-DagenaisO #automation #framework

Automatically locating framework extension examples (BD, HO), pp. 203–213.

FSE-2008-CottrellWD #reuse #source code

Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.

FSE-2008-PersonDEP #difference #execution #symbolic computation

Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.

FSE-2008-Lamsweerde #requirements

Requirements engineering: from craft to discipline (AvL), pp. 238–249.

FSE-2008-KingJJS #data flow #effectiveness

Effective blame for information-flow violations (DK, TJ, SJ, SAS), pp. 250–260.

FSE-2008-SamaRWE #adaptation #detection #fault #modelling

Model-based fault detection in context-aware adaptive applications (MS, DSR, ZW, SGE), pp. 261–271.

FSE-2008-LeS #detection #named

Marple: a demand-driven path-sensitive buffer overflow detector (WL, MLS), pp. 272–282.

FSE-2008-Shroff #development #in the cloud #modelling

Dev 2.0: model driven development in the cloud (GS), p. 283.

FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards

Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.

FSE-2008-FischbeinU #behaviour #modelling #on the

On correct and complete strong merging of partial behaviour models (DF, SU), pp. 297–307.

FSE-2008-BettenburgJSWPZ #debugging #question #what

What makes a good bug report? (NB, SJ, AS, CW, RP, TZ), pp. 308–318.

FSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow

Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.

FSE-2008-KulturTB #estimation #memory management #named #network #using

ENNA: software effort estimation using ensemble of neural networks with associative memory (YK, BT, ABB), pp. 330–338.

FSE-2008-GabelS #automation #mining #named

Javert: fully automatic mining of general temporal properties from dynamic traces (MG, ZS), pp. 339–349.

FSE-2008-LivshitsK #bound #named #web

Doloto: code splitting for network-bound web 2.0 applications (VBL, EK), pp. 350–360.