Richard N. Taylor, Matthew B. Dwyer
Proceedings of the 12th International Symposium on Foundations of Software Engineering
FSE, 2004.

@proceedings{FSE-2004,
	address       = "Newport Beach, California, USA",
	editor        = "Richard N. Taylor and Matthew B. Dwyer",
	isbn          = "1-58113-855-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th International Symposium on Foundations of Software Engineering}",
	year          = 2004,
}

Contents (28 items)

4 ×#analysis
4 ×#source code
3 ×#modelling
3 ×#testing
3 ×#using
2 ×#aspect-oriented
2 ×#design
2 ×#fault
2 ×#performance
2 ×#reuse

FSE-2004-Wolf #question #re-engineering #security

Is security engineering really just good software engineering? (ALW), p. 1.

FSE-2004-Egyed #analysis #nondeterminism

Resolving uncertainties during trace analysis (AE), pp. 3–12.

FSE-2004-DingelL #analysis #automation #concurrent #safety #source code #txl #using

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL (JD, HL), pp. 13–22.

FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance

Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.

FSE-2004-UchitelCKM #architecture #synthesis

System architecture: the context for scenario-based model synthesis (SU, RC, JK, JM), pp. 33–42.

FSE-2004-UchitelC #behaviour #modelling

Merging partial behavioural models (SU, MC), pp. 43–52.

FSE-2004-LetierL #design #reasoning #requirements

Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.

FSE-2004-ManevichSA #named #static analysis

PSE: explaining program failures via postmortem static analysis (RM, MS, SA, MD, ZY), pp. 63–72.

FSE-2004-ChakiGS

Explaining abstract counterexamples (SC, AG, OS), pp. 73–82.

FSE-2004-KremenekAYE #correlation #fault #ranking

Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.

FSE-2004-Marks #exclamation #problem #usability

The usability problem for home appliances: engineers caused it, engineers can fix it! (JM), p. 95.

FSE-2004-ZitserLL #open source #source code #static analysis #testing #tool support #using

Testing static analysis tools using exploitable buffer overflows from open source code (MZ, RL, TL), pp. 97–106.

FSE-2004-Capra #mobile #trust

Engineering human trust in mobile system collaborations (LC), pp. 107–116.

FSE-2004-XuDS #c #memory management #performance #safety #source code

An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.

FSE-2004-MeziniO #aspect-oriented #feature model #programming #variability

Variability management with feature-oriented programming and aspects (MM, KO), pp. 127–136.

FSE-2004-KrishnamurthiFG #verification

Verifying aspect advice modularly (SK, KF, MG), pp. 137–146.

FSE-2004-RinardSB #analysis #aspect-oriented #classification #source code

A classification system and analysis for aspect-oriented programs (MCR, AS, SB), pp. 147–158.

FSE-2004-WalkerV #declarative #implementation #protocol

Implementing protocols via declarative event patterns (RJW, KV), pp. 159–169.

FSE-2004-LevesonW #embedded #reuse

Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.

FSE-2004-GieseBSO #component #composition #configuration management #design #verification

Modular design and verification of component-based mechatronic systems with online-reconfiguration (HG, SB, WS, OO), pp. 179–188.

FSE-2004-EdwardsJT #modelling #type system

A type system for object models (JE, DJ, ET), pp. 189–199.

FSE-2004-TanACZL

Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.

FSE-2004-PanWZXY #repository #reuse #semantics

Relevancy based semantic interoperation of reuse repositories (YP, LW, LZ, BX, FY), pp. 211–220.

FSE-2004-SouzaRCMP #api #collaboration #development #how #multi

How a good software practice thwarts collaboration: the multiple roles of APIs in software development (CRBdS, DFR, LTC, DRM, JFP), pp. 221–230.

FSE-2004-ZhangYF #analysis

Refining code-design mapping with flow analysis (XZ, MY, JHEFL), pp. 231–240.

FSE-2004-OrsoSH #scalability #testing

Scaling regression testing to large software systems (AO, NS, MJH), pp. 241–251.

FSE-2004-CabalT #database #metric #sql #testing #using

Using an SQL coverage measurement for testing database applications (MJSC, JT), pp. 253–262.

FSE-2004-LiSHRS #empirical #evaluation #fault #modelling

Empirical evaluation of defect projection models for widely-deployed production software systems (PLL, MS, JDH, BKR, PS), pp. 263–272.