ASE 2007
102 papers
- A buffer overflow benchmark for software model checkers
- A dynamic birthmark for java
- A framework and tool supports for testing modularity of software design
- Adaptation hiding modularity
- An approach to mining call-usage patternswith syntactic context
- An aspect-oriented weaving mechanism based on component and connector architecture
- An automated approach to monitoring and diagnosing requirements
- An automated model-based debugging approach
- An energy consumption framework for distributed java-based systems
- An evaluation scheme of adaptive configuration techniques
- An infrastructure for autonomic system development: the selflet approach
- Assertion-based repair of complex data structures
- Assisting potentially-repetitive small-scale changes via semi-automated heuristic search
- Automated detection of api refactorings in libraries
- Automated gui testing guided by usage profiles
- Automatic code stylizing
- Automatic extraction of framework-specific models from framework-based application code
- Automating the identification of variability realisation techniques from feature models
- Behavioral adaptation of component compositions based on process algebra encodings
- Checking threat modeling data flow diagrams for implementation conformance and security
- Clustering support for automated tracing
- CodeGenie: using test-cases to search and reuse source code
- Coevolving programs and unit tests from their specification
- Combined static and dynamic mutability analysis
- Combining environment generation and slicing for modular software model checking
- Concolic testing
- Context-aware statistical debugging: from bug predictors to faulty control flow paths
- Covering array sampling of input event sequences for automated gui testing
- DESERT: a decentralized monitoring tool generator
- Decor: a tool for the detection of design defects
- Diconic addition of failsafe fault-tolerance
- Direct-dependency-based software compatibility testing
- Directed test generation using symbolic grammars
- Driving the selection of cots components on the basis of system requirements
- Effective memory protection using dynamic tainting
- Effective random testing of concurrent programs
- Efficient unit test case minimization
- Efficiently monitoring data-flow test coverage
- Empirical research methods for software engineering
- Ensuring consistency in long running transactions
- Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs
- Exploring the neighborhood with dora to expedite software maintenance
- Extracting rights and obligations from regulations: toward a tool-supported process
- Extraction of bug localization benchmarks from history
- Feature interaction analysis: a maintenance perspective
- Feature location via information retrieval based filtering of a single scenario execution trace
- Finding errors in components that exchange xml data
- Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
- IMP: a meta-tooling platform for creating language-specific ides in eclipse
- Improving change prediction with fine-grained source code mining
- Improving evolutionary class testing in the presence of non-public methods
- Improving uml profile design practices by leveraging conceptual domain models
- Inferring structural patterns for concern traceability in evolving software
- Integrated tool support for software product line engineering
- Iterative model-driven development of adaptable service-based applications
- Keyword programming in java
- Mastering combinatorial explosion with the tobias-2 test generator
- Meta tools for implementing domain specific visual languages
- Mining concepts from code with probabilistic topic models
- Mining modal scenario-based specifications from execution traces of reactive systems
- Model checking concurrent linux device drivers
- Model-driven derivation of product architectures
- Modeling bug report quality
- Modular and generic programming with interpreterlib
- Netstub: a framework for verification of distributed java applications
- Nighthawk: a two-level genetic-random unit test data generator
- Object ownership profiling: a technique for finding and fixing memory leaks
- Pallino: automation to support regression test selection for cots-based applications
- Parseweb: a programmer assistant for reusing open source code on the web
- Reducing irrelevant trace variations
- Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis
- Rosetta: language support for system-level design
- Rteq: modeling and validating infinite-state hard-real-time systems
- Scalable automatic test data generation from modeling diagrams
- Scheduling of conflicting refactorings to promote quality improvement
- Sequential circuits for program analysis
- Smart: a tool for application reference testing
- Software reuse and evolution with generative techniques
- Specifying and verifying software
- Synthesis of test purpose directed reactive planning tester for nondeterministic systems
- Synthesizing client load models for performance engineering via web crawling
- Test automation for kernel code and disk arrays with virtual devices
- Test suite reduction and prioritization with call trees
- Testing concurrent programs using value schedules
- The business case for automated software engineering
- The embarrassing truth about software automation and what should be done about it
- The eureka tool for software model checking
- Tool support for the compile-time execution structure of object-oriented programs with ownership annotations
- Tools for model-based security engineering: models vs. code
- Toward automated software development
- Towards automated consistency checks of product line requirements specifications
- Towards automatic model synchronization from model transformations
- Towards leveraging model transformation to support model-based testing
- Towards supporting awareness of indirect conflicts across software configuration management workspaces
- Tutorial on JML, the java modeling language
- UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
- Unit testing concurrent software
- Using information retrieval to support design of incremental change of software
- Using traceability to support model-based regression testing
- Validating system properties exhibited in execution traces
- Verifying C++ with STL containers via predicate abstraction
- Visualizing clone detection results