A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
Proceedings of the 21st international conference on Software engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Designing enterprise applications with the J2EE platform
Designing enterprise applications with the J2EE platform
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Semantic anomaly detection in online data sources
Proceedings of the 24th International Conference on Software Engineering
Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
IEEE Transactions on Software Engineering
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Configurable Automatic Instrumentation Tool for ANSI C
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Leveraging field data for impact analysis and regression testing
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Inducing grammars from sparse data sets: a survey of algorithms and results
The Journal of Machine Learning Research
Regression testing for component-based software via built-in test design
Proceedings of the 2007 ACM symposium on Applied computing
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
HotOS'09 Proceedings of the 12th conference on Hot topics in operating systems
Hi-index | 0.00 |
Component-based software systems raise new problems for the testing community: the reuse of components suggests the possibility of reducing testing costs by reusing information about the quality of the software components. This paper addresses the problem of testing evolving software systems, i.e., systems obtained by modifying and/or substituting some of their components. The paper proposes a technique to automatically identify behavioral differences between different versions of the system, to deduce possible problems from inconsistent behaviors. The approach is based on the automatic distilling of invariants from in-field executions. The computed invariants are used to monitor the behavior of new components, and to reveal unexpected interactions. The event generated while monitoring system executions are presented to software engineers who can infer possible problems of the new versions.