Subject
Hardware and Architecture,Information Systems,Software
Reference42 articles.
1. Spectrum-based multiple fault localization;Abreu,2009
2. On the accuracy of spectrum-based fault localization;Abreu,2007
3. The oracle problem in software testing: a survey;Barr;IEEE Trans. Software Eng.,2015
4. Runtime verification for LTL and TLTL;Bauer;ACM Trans. Softw. Eng. Methodol.,2011
5. Comparing LTL semantics for runtime verification;Bauer;J. Logic Comput.,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Systematic Literature Review on Software Maintenance for Cyber-Physical Systems;IEEE Access;2021
2. Extending Automated FLTL Test Oracles with Diagnostic Support;2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2019-10
3. Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
4. Spectrum-Based Fault Localization for Logic-Based Reasoning;IEEE INT SYMP SOFTW;2018