Author:
Bardin Sébastien,Herrmann Philippe
Subject
Safety, Risk, Reliability and Quality,Software
Reference53 articles.
1. Balakrishnan G Reps T Melski D Teitelbaum T WYSINWYX: What you see is not what you execute
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specify and measure, cover and reveal: A unified framework for automated test generation;Science of Computer Programming;2021-07
2. A Systematic Review of Search Strategies in Dynamic Symbolic Execution;Computer Standards & Interfaces;2020-10
3. Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry;2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2019-05
4. Obfuscation;Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW9 '19;2019
5. Testing Multi-Threaded Applications Using Answer Set Programming;International Journal of Software Engineering and Knowledge Engineering;2018-08