Subject
Safety, Risk, Reliability and Quality,Software
Reference22 articles.
1. Component-based software using RESOLVE
2. A specifier's introduction to formal methods
3. ON SPECIFICATION OF REUSABLE SOFTWARE COMPONENTS
4. A framework for detecting interface violations in component-based software. Proceedings of the 5th International Conference on Software Reuse. IEEE CS Press: Los Alamitos, CA, 1998; 46-55.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program Segment Testing for Human–Machine Pair Programming;International Journal of Software Engineering and Knowledge Engineering;2024-07-05
2. A systematic review of fuzzing;Soft Computing;2023-10-31
3. Hybrid deep neural networks to infer state models of black-box systems;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
4. Direct-Indirect Link Matrix;International Journal of Information Technology Project Management;2020-10
5. Robust Automation Testing Tool for GUI Applications in Agile World—Faster to Market;Advances in Intelligent Systems and Computing;2020-08-30