Publisher
Springer Berlin Heidelberg
Reference42 articles.
1. Lecture Notes in Computer Science;J. Alglave,2011
2. Bagnara, R., Carlier, M., Gori, R., Gotlieb, A.: Symbolic path-oriented test data generation for floating-point programs. In: Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation, p. 10. IEEE Press, Luxembourg City (2013)
3. Barr, E.T., Vo, T., Le, V., Su, Z.: Automatic detection of floating-point exceptions. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, pp. 549–560. ACM, New York (2013)
4. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLD 2003), June 7-14, pp. 196–207. ACM Press, San Diego (2003)
5. Botella, B., Gotlieb, A., Michel, C.: Symbolic execution of floating-point computations. Software Testing, Verification and Reliability 16(2), 97–121 (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Execution of Floating-point Programs: How far are we?;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
2. Multiplex symbolic execution;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
3. Building Better Bit-Blasting for Floating-Point Problems;Tools and Algorithms for the Construction and Analysis of Systems;2019
4. Towards optimal concolic testing;Proceedings of the 40th International Conference on Software Engineering;2018-05-27
5. Hotspot symbolic execution of floating-point programs;Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering;2016-11