Funder
Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Subject
Hardware and Architecture,Information Systems,Software
Reference60 articles.
1. Automatically checking an implementation against its formal specification;Antoy;IEEE Trans. Softw. Eng.,2000
2. Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan, 2011. Enabling the runtime assertion checking of concurrent contracts for the java modeling language. In: Proceedings of the International Conference on Software Engineering (ICSE ’11), pp. 786–795.
3. Automatic generation of test scripts from formal test specifications;Balcer,1989
4. The oracle problem in software testing: A survey;Barr;IEEE Trans. Softw. Eng.,2015
5. Translating code comments to procedure specifications;Blasi,2018
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Category Partition to Detect Metamorphic Relations;Proceedings of the 9th ACM International Workshop on Metamorphic Testing;2024-09-13
2. Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations;Software Testing, Verification and Reliability;2024-07-23
3. Abstraction-Aware Inference of Metamorphic Relations;Proceedings of the ACM on Software Engineering;2024-07-12
4. Observation-Based Unit Test Generation at Meta;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
5. GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming;IEEE Transactions on Software Engineering;2024-07