Will Tracz, Martin P. Robillard, Tevfik Bultan
Proceedings of the 20th Symposium on the Foundations of Software Engineering
FSE, 2012.

@proceedings{FSE-2012,
	acmid         = "2393596",
	address       = "Cary, North Carolina, USA",
	editor        = "Will Tracz and Martin P. Robillard and Tevfik Bultan",
	isbn          = "['978-1-4503-1614-9', '978-1-4503-0443-6']",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th Symposium on the Foundations of Software Engineering}",
	year          = 2012,
}

Contents (59 items)

14 ×#named
5 ×#automation
5 ×#testing
4 ×#adaptation
4 ×#analysis
4 ×#fault
4 ×#question
4 ×#source code
3 ×#case study
3 ×#concurrent

FSE-2012-GabelS #specification #testing

Testing mined specifications (MG, ZS), p. 4.

FSE-2012-KwonS #component #detection

Detecting and analyzing insecure component usage (TK, ZS), p. 5.

FSE-2012-OcteauJM #android #bytecode #java

Retargeting Android applications to Java bytecode (DO, SJ, PM), p. 6.

FSE-2012-CugolaGPT #adaptation #declarative #mobile #named

SelfMotion: a declarative language for adaptive service-oriented mobile apps (GC, CG, LSP, GT), p. 7.

FSE-2012-RayWK #analysis #migration #named

REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.

FSE-2012-Augustine #adaptation #automation #maintenance #semiparsing

Automating adaptive maintenance changes with SrcML and LINQ (VA), p. 9.

FSE-2012-ChanCL #api

Searching connected API subgraph via text phrases (WKC, HC, DL), p. 10.

FSE-2012-ManiCSD #approach #debugging #named #summary

AUSUM: approach for unsupervised bug report summarization (SM, RC, VSS, AD), p. 11.

FSE-2012-XiaoPTX #automation #documentation #policy #security

Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.

FSE-2012-AcharyaR #impact analysis #industrial #slicing

Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.

FSE-2012-AlbertFG #concurrent #named

MayPar: a may-happen-in-parallel analyzer for concurrent objects (EA, AFM, SG), p. 14.

FSE-2012-ShepherdDRF #code search #framework #named

Sando: an extensible local code search framework (DS, KD, BR, TF), p. 15.

FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web

Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.

FSE-2012-CanaveraEM #adaptation #execution #mining

Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.

FSE-2012-PasqualeMSCON #adaptation #named #security

SecuriTAS: a tool for engineering adaptive security (LP, CM, MS, LC, IO, BN), p. 19.

FSE-2012-CaglayanMCBAT #fault #metric #named #predict

Dione: an integrated measurement and defect prediction solution (BC, ATM, GÇ, AB, TA, BT), p. 20.

FSE-2012-EsfahaniRM #architecture #nondeterminism

Dealing with uncertainty in early software architecture (NE, KR, SM), p. 21.

FSE-2012-QiYR #contract

Software change contracts (DQ, JY, AR), p. 22.

FSE-2012-DiGiuseppeJ #automation #fault #semantics

Semantic fault diagnosis: automatic natural-language fault descriptions (ND, JAJ), p. 23.

FSE-2012-SiegmundBAKLLS #comprehension #functional #towards

Toward measuring program comprehension with functional magnetic resonance imaging (JS, AB, SA, CK, JL, TL, GS), p. 24.

FSE-2012-StoleeE #semantics #smt #towards

Toward semantic search via SMT solver (KTS, SGE), p. 25.

FSE-2012-MilanovaH

Inference and checking of context-sensitive pluggable types (AM, WH), p. 26.

FSE-2012-ChandramohanTS #behaviour #clustering #modelling #scalability

Scalable malware clustering through coarse-grained behavior modeling (MC, HBKT, LKS), p. 27.

FSE-2012-LiuTC #debugging #question

Has this bug been reported? (KL, HBKT, MC), p. 28.

FSE-2012-DiGiuseppeJ12a #clustering #concept

Concept-based failure clustering (ND, JAJ), p. 29.

FSE-2012-BookGG #interactive

Seeing the forest and the trees: focusing team interaction on value and effort drivers (MB, SG, VG), p. 30.

FSE-2012-XuCBB #design #video

From pixels to bytes: evolutionary scenario based design with video (HX, OC, NB, BB), p. 31.

FSE-2012-AthanasopoulosZV #abstraction #quality

Service selection for happy users: making user-intuitive quality abstractions (DA, AZ, PV), p. 32.

FSE-2012-PintoSO #comprehension #evolution #testing

Understanding myths and realities of test-suite evolution (LSP, SS, AO), p. 33.

FSE-2012-ZaeemK #generative #programming #using

Test input generation using dynamic programming (RNZ, SK), p. 34.

FSE-2012-ParkHHCGTFX #named #performance

CarFast: achieving higher statement coverage faster (SP, BMMH, IH, CC, MG, KT, CF, QX), p. 35.

FSE-2012-Torlak #generative #modelling #multi #scalability #testing

Scalable test data generation from multidimensional models (ET), p. 36.

FSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification

UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.

FSE-2012-HuangM #java #named

ReImInfer: method purity inference for Java (WH, AM), p. 38.

FSE-2012-TillmannMHFB #development #mobile #named

TouchDevelop: app development on mobile devices (NT, MM, JdH, MF, SB), p. 39.

FSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code

FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.

FSE-2012-ThummalapentaSDSCDM #testing

Efficiently scripting change-resilient tests (ST, NS, PD, SS, SC, AKD, SM), p. 41.

FSE-2012-Murphy-HillJM #developer #development #recommendation

Improving software developers’ fluency by recommending development environment commands (ERMH, RJ, GCM), p. 42.

FSE-2012-ServantJ #slicing

History slicing: assisting code-evolution tasks (FS, JAJ), p. 43.

FSE-2012-CanforaPOP #open source #question

Who is going to mentor newcomers in open source projects? (GC, MDP, RO, SP), p. 44.

FSE-2012-BirdZ #analysis #branch

Assessing the value of branches with what-if analysis (CB, TZ), p. 45.

FSE-2012-GanaiLG #analysis #concurrent #multi #named #source code #thread

DTAM: dynamic taint analysis of multi-threaded programs for relevancy (MKG, DL, AG), p. 46.

FSE-2012-FarzanMRS #concurrent #predict #source code

Predicting null-pointer dereferences in concurrent programs (AF, PM, NR, FS), p. 47.

FSE-2012-EmmiLQ #source code

Asynchronous programs with prioritized task-buffers (ME, AL, SQ), p. 48.

FSE-2012-WalkerRS #composition #problem #question

Do crosscutting concerns cause modularity problems? (RJW, SR, JS), p. 49.

FSE-2012-KimZN #case study #challenge #refactoring

A field study of refactoring challenges and benefits (MK, TZ, NN), p. 50.

FSE-2012-TaoDXZK #case study #how #industrial

How do software engineers understand code changes?: an exploratory study in industry (YT, YD, TX, DZ, SK), p. 51.

FSE-2012-MirakhorliMC #design pattern #variability

Variability points and design pattern usage in architectural tactics (MM, PM, JCH), p. 52.

FSE-2012-RayK #case study #migration

A case study of cross-system porting in forked projects (BR, MK), p. 53.

FSE-2012-OkurD #developer #how #library #parallel #question

How do developers use parallel libraries? (SO, DD), p. 54.

FSE-2012-CossetteW #evolution #library #migration

Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.

FSE-2012-RobbesLR #api #developer #ecosystem #how #smalltalk

How do developers react to API deprecation?: the case of a smalltalk ecosystem (RR, ML, DR), p. 56.

FSE-2012-BeyerHKW #model checking #verification

Conditional model checking: a technique to pass information between verifiers (DB, TAH, MEK, PW), p. 57.

FSE-2012-VisserGD #constraints #named #program analysis #reuse

Green: reducing, reusing and recycling constraints in program analysis (WV, JG, MBD), p. 58.

FSE-2012-AnandNHY #automation #smarttech #testing

Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.

FSE-2012-NearJ #bound #named #verification #web

Rubicon: bounded verification of web applications (JPN, DJ), p. 60.

FSE-2012-RahmanPD #fault #predict

Recalling the “imprecision” of cross-project defect prediction (FR, DP, PTD), p. 61.

FSE-2012-ShihabHAJ #industrial

An industrial study on the risk of software changes (ES, AEH, BA, ZMJ), p. 62.

FSE-2012-NguyenNNN #approach #debugging #multi

Multi-layered approach for recovering links between bug reports and fixes (ATN, TTN, HAN, TNN), p. 63.