FSE 2006
25 papers
- An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models
- Bit level types for high level reasoning
- Carving differential unit test cases from system test cases
- Controlling factors in evaluating path-sensitive error detection techniques
- Detecting increases in feature coupling using regression tests
- Dynamic slicing long running programs through execution fast forwarding
- Exceptions and aspects: the devil is in the details
- Failure proximity: a fault localization-based approach
- Finding failure-inducing changes in java programs using change classification
- From multi-modal scenarios to code: compiling LSCs into aspectJ
- How is aliasing used in systems software?
- Interpolation for data structures
- Lightweight extraction of syntactic specifications
- Local analysis of atomicity sphere for B2B collaboration
- Memories of bug fixes
- Questions programmers ask during software evolution tasks
- SMArTIC: towards building an accurate, robust and scalable specification miner
- SYNERGY: a new algorithm for property checking
- Scenarios, goals, and state machines: a win-win partnership for model synthesis
- Simulation-based test adequacy criteria for distributed systems
- Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation
- User guidance for creating precise and accessible property specifications
- Using positive tainting and syntax-aware evaluation to counter SQL injection attacks
- Using task context to improve programmer productivity
- Work experience versus refactoring to design patterns: a controlled experiment