FSE 2011
77 papers
- 8th international workshop on software quality (WoSQ)
- A software lifecycle process for context-aware adaptive systems
- ADDiff: semantic differencing for activity diagrams
- An architecture-centric approach for goal-driven requirements elicitation
- Automatic structural testing with abstraction refinement and coarsening
- Automatic test suite evolution
- Boosting the performance of flow-sensitive points-to analysis using value flow
- BugCache for inspections: hit or miss?
- Building advanced mechatronic systems
- CSSL: a logic for specifying conditional scenarios
- Checking conformance of a producer and a consumer
- Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
- Cross-library API recommendation using web search engines
- Crystal: precise and unobtrusive conflict warnings
- Design and validation of feature-based process model tailoring: a sample implementation of PDE
- Does adding manpower also affect quality?: an empirical, longitudinal analysis
- Don't touch my code!: examining the effects of ownership on software quality
- EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
- ELI-ALPS: the ultrafast challenges in Hungary
- Effective communication of software development knowledge through community portals
- EvoSuite: automatic test suite generation for object-oriented software
- Experimental specification mining for enterprise applications
- Exploiting software architecture to support requirements satisfaction testing
- Fault localization for data-centric programs
- Finding bugs by isolating unit tests
- Fuzzy set and cache-based approach for bug triaging
- High-impact defects: a study of breakage and surprise defects
- How do fixes become bugs?
- IWPSE-EVOL 2011: 12th international workshop on principles on software evolution and 7th ERCIM workshop on software evolution
- Improved multithreaded unit testing
- Inferring data polymorphism in systems code
- Inferring test results for dynamic software product lines
- Join point interfaces for modular reasoning in aspect-oriented programs
- Leveraging existing instrumentation to automatically infer invariant-constrained models
- Managing performance vs. accuracy trade-offs with loop perforation
- Micro interaction metrics for defect prediction
- Mining development repositories to study the impact of collaboration on software systems
- Mitigating the confounding effects of program dependences for effective fault localization
- Modeling the HTML DOM and browser API in static analysis of JavaScript web applications
- New ideas track: testing mapreduce-style programs
- On software component co-installability
- On the congruence of modularity and code coupling
- PASTE'11: Proceedings of the 10th ACM sigplan-sigsoft workshop on program analysis for software tools and engineering
- PSPWizard: machine-assisted definition of temporal logical properties with specification patterns
- Partial replay of long-running applications
- Path exploration based on symbolic output
- Proactive detection of collaboration conflicts
- Probabilistic dataflow analysis using path profiles on structure graphs
- Proving programs robust
- QoS verification and model tuning @ runtime
- Querypoint: moving backwards on wrong values in the buggy execution
- ReLink: recovering links between bugs and changes
- Reputation-based self-management of software process artifact quality in consortium research projects
- SCORE: a scalable concolic testing tool for reliable embedded software
- SMutant: a tool for type-sensitive mutation testing in a dynamic language
- SafeSlice: a model slicing and design safety inspection tool for SysML
- Search based hierarchy generation for reverse engineered state machines
- Semistructured merge: rethinking merge in revision control systems
- Social sensing: when users become monitors
- Software architecture: reflections on an evolving discipline
- Stateful breakpoints: a practical approach to defining parameterized runtime monitors
- Static deep error checking in large system applications using parfait
- Strong higher order mutation-based test data generation
- Sydit: creating and applying a program transformation from an example
- Synoptic: studying logged behavior with inferred models
- Synthesizing data structure manipulations from storyboards
- Taming uncertainty in self-adaptive software
- Testing software in age of data privacy: a balancing act
- The 4th international workshop on social software engineering (SSE'11)
- The onion patch: migration in open source ecosystems
- Tool support for UML-based specification and verification of role-based access control properties
- Understanding failures through facts
- Using an SMT solver for interactive requirements prioritization
- Using social media to study the diversity of example usage among professional developers
- Version-consistent dynamic reconfiguration of component-based distributed systems
- Workshop on assurances for self-adaptive systems (ASAS 2011)
- jStar-eclipse: an IDE for automated verification of Java programs