Author:
Malevris N,Yates D.F.,Veevers A
Subject
Computer Science Applications,Information Systems,Software
Reference12 articles.
1. Practical application of automated software tools;Brown,1972
2. An approach to program testing;Huang;ACM Comput. Surv.,1975
3. The theory and practice of functional testing;Howden;IEEE Software,1985
4. Software testing and verification;White,1987
5. Validation, verification, and testing of computer software;Adrion;ACM Comput. Surv.,1982
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing maximum fixed point solutions over feasible paths in data flow analyses;Science of Computer Programming;2023-06
2. Automatic support for the identification of infeasible testing requirements;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13
3. Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments;Proceedings of the 28th International Conference on Compiler Construction - CC 2019;2019
4. Computing partially path-sensitive MFP solutions in data flow analyses;Proceedings of the 27th International Conference on Compiler Construction;2018-02-24
5. Regression test size reduction using improved precision slices;Innovations in Systems and Software Engineering;2015-11-04