You Can Program What You Want but You Cannot Compute What You Want-Reference-Cited by-同舟云学术

You Can Program What You Want but You Cannot Compute What You Want

Published:2018 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abyaneh Alireza S.,Kirsch Christoph M.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-95246-8_1

Reference15 articles.

1. Lecture Notes in Computer Science;A Biere,1999

2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)

3. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI), pp. 209–224. USENIX Association (2008)

4. Godefroid, P., Levin, M.Y., Molnar, D.: Automated whitebox fuzz testing. In: Proceedings of Symposium on Network and Distributed Systems Security (NDSS), pp. 151–166 (2008)

5. Hennessy, J.L., Patterson, D.A.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann, Burlington (2011)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Classification Technique and its Combination with Clustering and Association Rule Mining in Educational Data Mining — A survey;Engineering Applications of Artificial Intelligence;2023-06

2. ASE: A Value Set Decision Procedure for Symbolic Execution;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11