ASE 2010
87 papers
- A bounded statistical approach for model checking of unbounded until properties
- A program differencing algorithm for verilog HDL
- A sentence-matching method for automatic license identification of source code files
- A two-step technique for extract class refactoring
- A visual interactive debugger based on symbolic execution
- An automated approach for finding variable-constant pairing bugs
- An experience report on scaling tools for mining software repositories using MapReduce
- Analyzing security architectures
- Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
- Architectural style as an independent variable
- Automated SQL query generation for systematic testing of database engines
- Automated model grouping
- Automated program repair through the evolution of assembly code
- Automated support for repairing input-model faults
- Automatic construction of an effective training set for prioritizing static analysis warnings
- Automatic detection of nocuous coordination ambiguities in natural language requirements
- Automatic inference of abstract type behavior
- Automatically documenting program changes
- C2O: a tool for guided decision-making
- Checking roundoff errors using counterexample-guided narrowing
- CoGenTe: a tool for code generator testing
- Deriving behavior of multi-user processes from interactive requirements validation
- Detecting user-visible failures in AJAX web applications by analyzing users' interaction behaviors
- Detection of recurring software vulnerabilities
- Deviance from perfection is a better criterion than closeness to evil when identifying risky code
- Dynamic and transparent analysis of commodity production systems
- Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
- Eliminating products to test in a software product line
- End-user oriented critic specification for domain-specific visual language tools
- Enumeration refactoring: a tool for automatically converting Java constants to enumerated types
- Error-avoiding adaptors for black-box software components
- Extraction and visualization of traceability relationships between documents and source code
- Flexible and scalable consistency checking on product line variability models
- How did you specify your test suite
- Impendulo: debugging the programmer
- Integrating model verification and self-adaptation
- JCCD: a flexible and extensible API for implementing custom code clone detectors
- JRF-E: using model checking to give advice on eliminating memory model-related bugs
- Kadre: domain-specific architectural recovery for scientific software systems
- Keynote address: model engineering for model-driven engineering
- Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983
- Keynote address: toward compositional software engineering
- MODA: automated test generation for database applications via mock objects
- Matching dependence-related queries in the system dependence graph
- MiTV: multiple-implementation testing of user-input validators for web applications
- MoDisco: a generic and extensible framework for model driven reverse engineering
- Model checking graph representation of precise boolean inter-procedural flow analysis
- Model comparison with GenericDiff
- Model-driven reverse engineering of legacy graphical user interfaces
- Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
- PLASMA: a plan-based layered architecture for software model-driven adaptation
- PeerUnit: a framework for testing peer-to-peer systems
- PlayGo: towards a comprehensive tool for scenario based programming
- REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems
- RESISTing reliability degradation through proactive reconfiguration
- Random unit-test generation with MUT-aware sequence recommendation
- Reac2o: a runtime for enterprise system models
- Realizing architecture frameworks through megamodelling techniques
- Reconfigurable run-time support for distributed service component architectures
- Recovering inter-project dependencies in software ecosystems
- Reducing estimation uncertainty with continuous assessment: tracking the "cone of uncertainty"
- RuMoR: monitoring and recovery for BPEL applications
- Scenario-based and value-based specification mining: better together
- Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
- Search-carrying code
- Security-driven model-based dynamic adaptation
- Software design sketching with calico
- Solving string constraints lazily
- SpecDiff: debugging formal specifications
- Symbolic PathFinder: symbolic execution of Java bytecode
- Tag and prune: a pragmatic approach to software product line implementation
- Test generation to expose changes in evolving programs
- Text mining in supporting software systems risk assurance
- The influence of multiple artifacts on the effectiveness of software testing
- Timesheet assistant: mining and reporting developer effort
- Tool support for code generation from a UMLsec property
- Tool support for continuous maintenance of state machine models in program code
- Tool support for essential use cases to better capture software requirements
- Tool support for quality-driven development of software architectures
- Towards automatically generating summary comments for Java methods
- Towards mining replacement queries for hard-to-retrieve traces
- Using transitive changesets to support feature location
- Variability modeling in the real: a perspective from the operating systems domain
- Verification-driven slicing of UML/OCL models
- VikiBuilder: end-user specification and generation of visual wikis
- When to use data from other projects for effort estimation
- iMashup: assisting end-user programming for the service-oriented web