The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Learning Automata from Ordered Examples
Machine Learning - Connectionist approaches to language learning
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
COTS Integration: Plug and Pray?
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
A Polynominal Time Incremental Algorithm for Learning DFA
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Differential Serialization for Optimized SOAP Performance
HPDC '04 Proceedings of the 13th IEEE International Symposium on High Performance Distributed Computing
Behavior Capture and Test: Automated Analysis of Component Integration
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Inferring state-based behavior models
Proceedings of the 2006 international workshop on Dynamic systems analysis
On the Synthesis of Finite-State Machines from Samples of Their Behavior
IEEE Transactions on Computers
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Investigation of failure causes in workload-driven reliability testing
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
SIFT: a scalable iterative-unfolding technique for filtering execution traces
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
A toolset for automated failure analysis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
AVA: automated interpretation of dynamically detected anomalies
Proceedings of the eighteenth international symposium on Software testing and analysis
Automatic steering of behavioral model inference
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Detecting precise behavioral models
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Mining program workflow from interleaved traces
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Locating failure-inducing environment changes
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
Leveraging existing instrumentation to automatically infer invariant-constrained models
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Using entropy measures for comparison of software traces
Information Sciences: an International Journal
Learning extended FSA from software: An empirical assessment
Journal of Systems and Software
Inferring networked system models from behavior traces
Proceedings of the 2012 ACM conference on CoNEXT student workshop
Automated inference of models for black box systems based on interface descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Unifying FSM-inference algorithms through declarative specification
Proceedings of the 2013 International Conference on Software Engineering
Fuzzy service matching in on-the-fly computing
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A test-suite reduction approach to improving fault-localization effectiveness
Computer Languages, Systems and Structures
Hi-index | 0.00 |
Developing component-based systems supports reuse and modularity but introduces new compatibility problems. Testing and analysis are usually based on the availability of either the source code or the specifications, but COTS components are commonly provided without source code and with incomplete specifications. A dynamic analysis technique called behavior capture and test can reveal COTS component misbehaviors and incompatibilities. BCT first automatically derives behavioral models by monitoring component executions and then dynamically checks these models when the components are replaced or used as part of a new system. Another article related to software composition also appears in this issue ("Open Source Software: All You Do Is Put It Together").