Author:
Lakhotia Kiran,Tillmann Nikolai,Harman Mark,de Halleux Jonathan
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alglib. Alglib, http://www.alglib.net/
2. Botella, B., Gotlieb, A., Michel, C.: Symbolic execution of floating-point computations. Softw. Test, Verif. Reliab 16(2), 97–121 (2006)
3. Lecture Notes in Computer Science;L.M. Moura de,2008
4. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Conference on Programming language design and implementation, pp. 234–245 (2002)
5. Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Conference on Programming Language Design and Implementation, pp. 213–223. ACM, New York (2005)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Boosting symbolic execution via constraint solving time prediction (experience paper);Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11
3. Augmenting Search-based Techniques with Static Synthesis-based Input Generation;2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST);2021-05
4. A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions;ACM Transactions on Software Engineering and Methodology;2021-01-31
5. Harvey: a greybox fuzzer for smart contracts;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07