Residual test coverage monitoring
Proceedings of the 21st international conference on Software engineering
Inference of message sequence charts
Proceedings of the 22nd 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
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Model-based testing without a model: assessing portability in the Seattle testbed
SSV'10 Proceedings of the 5th international conference on Systems software verification
| Hi-index | 0.00 |
Component-Based System (CBS) technology supportsrapid development of complex heterogeneous evolving systemsby enhancing reuse and adaptability. CBSs can be extendedand adapted by modifying one or more components.The same component can be used in several systems, andthe same system can be deployed in many configurationsthat differ for some components. Traditional test and analysistechniques make little use of quality information aboutcomponents and subsystems when testing the whole system.Thus, reusability for quality assessment and reductionof quality related costs are not fully exploited.Moreover, verification of CBSs is hardened by the frequentlack of information about components that are providedby third parties without source code and with incompletedocumentation. This framework reduces the applicabilityof many traditional testing and analysis techniques forCBSs. Main goal of my PhD research is the de.nition andexperimentation of testing and analysis techniques that allowto ef.ciently test CBSs in presence of limited informationabout design and code by reusing behavioral informationthat can be gathered from previous usage of the components.