Author:
Budd Timothy A.,Gopal Ajei S.
Reference20 articles.
1. Towards a theory of test data selection;Goodenough;IEEE Trans. Software Engng.,1975
2. An appraisal of program specifications;Liskov,1979
3. Specifications: Formal and informal—A case study;Gehani;Software—Practice and Experience,1982
4. The Science of Programming;Gries,1981
5. Reliability of the path analysis testing strategy;Howden;IEEE Trans. Software Engng,1976
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Strengthening Formal Specifications with Mutation Model Checking;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Applying parallelism to a bisimulation algorithm to improve efficiency in software testing of time-critical systems;Ingeniería y Competitividad;2023-11-29
3. GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper);Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Finding Specification Blind Spots via Fuzz Testing;2023 IEEE Symposium on Security and Privacy (SP);2023-05
5. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04