Michal Young, Premkumar T. Devanbu
Proceedings of the 14th International Symposium on Foundations of Software Engineering
FSE, 2006.

@proceedings{FSE-2006,
	address       = "Portland, Oregon, USA",
	editor        = "Michal Young and Premkumar T. Devanbu",
	isbn          = "1-59593-468-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th International Symposium on Foundations of Software Engineering}",
	year          = 2006,
}

Contents (25 items)

5 ×#testing
4 ×#using
3 ×#source code
3 ×#specification
2 ×#approach
2 ×#detection
2 ×#empirical
2 ×#fault
2 ×#named

FSE-2006-KerstenM #using

Using task context to improve programmer productivity (MK, GCM), pp. 1–11.

FSE-2006-NgCCY #design pattern #empirical #experience #refactoring

Work experience versus refactoring to design patterns: a controlled experiment (THN, SCC, WKC, YTY), pp. 12–22.

FSE-2006-SillitoMV #evolution

Questions programmers ask during software evolution tasks (JS, GCM, KDV), pp. 23–34.

FSE-2006-KimPW #debugging

Memories of bug fixes (SK, KP, EJWJ), pp. 35–45.

FSE-2006-LiuH #approach #fault #proximity

Failure proximity: a fault localization-based approach (CL, JH), pp. 46–56.

FSE-2006-StorzerRRT #classification #java #source code #using

Finding failure-inducing changes in java programs using change classification (MS, BGR, XR, FT), pp. 57–68.

FSE-2006-HackettA #alias #how #question

How is aliasing used in systems software? (BH, AA), pp. 69–80.

FSE-2006-ZhangTG #execution #performance #slicing #source code

Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.

FSE-2006-DwyerPE #detection #fault

Controlling factors in evaluating path-sensitive error detection techniques (MBD, SP, SGE), pp. 92–104.

FSE-2006-KapurMZ #data type

Interpolation for data structures (DK, RM, CGZ), pp. 105–116.

FSE-2006-GulavaniHKNR #algorithm #named

SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.

FSE-2006-JhalaM #reasoning

Bit level types for high level reasoning (RJ, RM), pp. 128–140.

FSE-2006-DoR #empirical #modelling #testing

An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models (HD, GR), pp. 141–151.

FSE-2006-FilhoCFMGR #aspect-oriented #exception

Exceptions and aspects: the devil is in the details (FCF, NC, EF, RM, AG, CMFR), pp. 152–162.

FSE-2006-GirouxR #detection #testing #using

Detecting increases in feature coupling using regression tests (OG, MPR), pp. 163–174.

FSE-2006-HalfondOM #evaluation #injection #sql #using

Using positive tainting and syntax-aware evaluation to counter SQL injection attacks (WGJH, AO, PM), pp. 175–185.

FSE-2006-YeCCX #analysis #collaboration

Local analysis of atomicity sphere for B2B collaboration (CY, SCC, WKC, CX), pp. 186–196.

FSE-2006-DamasLL #state machine #synthesis

Scenarios, goals, and state machines: a win-win partnership for model synthesis (CD, BL, AvL), pp. 197–207.

FSE-2006-CobleighAC #precise #specification

User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.

FSE-2006-MaozH #aspectj #compilation #multi

From multi-modal scenarios to code: compiling LSCs into aspectJ (SM, DH), pp. 219–230.

FSE-2006-RutherfordCW #distributed #test coverage #testing

Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.

FSE-2006-LuCT #approach #data flow #middleware #source code #testing

Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation (HL, WKC, THT), pp. 242–252.

FSE-2006-ElbaumCDD #difference #testing

Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.

FSE-2006-LoK #mining #named #robust #scalability #specification #towards

SMArTIC: towards building an accurate, robust and scalable specification miner (DL, SCK), pp. 265–275.

FSE-2006-TaghdiriSJ #lightweight #specification

Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.