default search action
14th SIGSOFT FSE 2006: Portland, Oregon, USA
- Michal Young, Premkumar T. Devanbu:
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006. ACM 2006, ISBN 1-59593-468-5
Empirical methods and program understanding
- Mik Kersten, Gail C. Murphy:
Using task context to improve programmer productivity. 1-11 - T. H. Ng, Shing-Chi Cheung
, W. K. Chan
Work experience versus refactoring to design patterns: a controlled experiment. 12-22 - Jonathan Sillito, Gail C. Murphy, Kris De Volder:
Questions programmers ask during software evolution tasks. 23-34
Mining failures and bugs
- Sunghun Kim, Kai Pan, E. James Whitehead Jr.:
Memories of bug fixes. 35-45 - Chao Liu, Jiawei Han:
Failure proximity: a fault localization-based approach. 46-56 - Maximilian Störzer, Barbara G. Ryder, Xiaoxia Ren, Frank Tip:
Finding failure-inducing changes in java programs using change classification. 57-68
Program analysis
- Brian Hackett, Alex Aiken:
How is aliasing used in systems software? 69-80 - Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta
Dynamic slicing long running programs through execution fast forwarding. 81-91 - Matthew B. Dwyer
Controlling factors in evaluating path-sensitive error detection techniques. 92-104
Formal approaches to programming
- Deepak Kapur, Rupak Majumdar, Calogero G. Zarba:
Interpolation for data structures. 105-116 - Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani:
SYNERGY: a new algorithm for property checking. 117-127 - Ranjit Jhala, Rupak Majumdar:
Bit level types for high level reasoning. 128-140
Empirical studies
- Hyunsook Do, Gregg Rothermel:
An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models. 141-151 - Fernando Castor Filho
Exceptions and aspects: the devil is in the details. 152-162 - Olivier Giroux, Martin P. Robillard:
Detecting increases in feature coupling using regression tests. 163-174
Safety and security
- William G. J. Halfond, Alessandro Orso, Panagiotis Manolios
Using positive tainting and syntax-aware evaluation to counter SQL injection attacks. 175-185 - Chunyang Ye, Shing-Chi Cheung
Local analysis of atomicity sphere for B2B collaboration. 186-196
Requirements modeling
- Christophe Damas, Bernard Lambeau, Axel van Lamsweerde:
Scenarios, goals, and state machines: a win-win partnership for model synthesis. 197-207 - Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke:
User guidance for creating precise and accessible property specifications. 208-218 - Shahar Maoz
From multi-modal scenarios to code: compiling LSCs into aspectJ. 219-230
Testing
- Matthew J. Rutherford, Antonio Carzaniga
Simulation-based test adequacy criteria for distributed systems. 231-241 - Heng Lu, W. K. Chan
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. 242-252 - Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwyer
Carving differential unit test cases from system test cases. 253-264
Specification mining
- David Lo
SMArTIC: towards building an accurate, robust and scalable specification miner. 265-275 - Mana Taghdiri, Robert Seater, Daniel Jackson:
Lightweight extraction of syntactic specifications. 276-286
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: