Author:
Chihani Zakaria,Marre Bruno,Bobot François,Bardin Sébastien
Publisher
Springer International Publishing
Reference49 articles.
1. Lecture Notes in Computer Science;S Bardin,2010
2. Bardin, S., Herrmann, P.: OSMOSE: automatic structural testing of executables. Softw. Test. Verification Reliab. 21(1), 29–54 (2011)
3. Barret, C., Dill, D., Levitt, J.: A decision procedure for bit-vector arithmetic. In: DAC (1998)
4. Lecture Notes in Computer Science;C Barrett,2011
5. Barrett, C., et al.: The SMT-LIB Standard: Version 2.0. Technical report (2010)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Usefulness of Linear Modular Arithmetic in Constraint Programming;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2021
2. Fast bit-vector satisfiability;Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis;2020-07-13
3. Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation;Journal of Automated Reasoning;2018-11-08
4. Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process;Lecture Notes in Computer Science;2018
5. A Tolerant Algebraic Side-Channel Attack on AES Using CP;Lecture Notes in Computer Science;2017