Publisher
Springer International Publishing
Reference91 articles.
1. Aarts, E., Korst, J., Michiels, W.: Simulated annealing. In: Burke, E.K., Kendall, G. (eds.) Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques, pp. 187–210. Springer US, Boston, MA (2005). https://doi.org/10.1007/0-387-28356-0_7
2. Amrani, M., Lúcio, L., Bibal, A.: ML + FV = "Equation missing" No EquationSource Format="TEX", only image ? A survey on the application of machine learning to formal verification. CoRR abs/1806.03600 (2018). https://arxiv.org/abs/1806.03600
3. Angell, R., Oztalay, B., DeOrio, A.: A topological approach to hardware bug triage. In: 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), pp. 20–25 (2015). https://doi.org/10.1109/MTV.2015.10
4. Arar, M., Behm, M., Boni, O., Gal, R., Goldin, A., Ilyaev, M., Kermany, E., Reysa, J., Saleh, B., Schubert, K.D., Shurek, G., Ziv, A.: The verification cockpit—creating the dream playground for data analytics over the verification process. In: Proceedings of the 11th Haifa Verification Conference, pp. 104–119 (2015)
5. Azatchi, H., Fournier, L., Marcus, E., Ur, S., Ziv, A., Zohar, K.: Advanced analysis techniques for cross-product coverage. IEEE Trans. Comput. 55(11), 1367–1379 (2006)