Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference28 articles.
1. Bjørner, N., Phan, A. D., & Fleckenstein, L. (2015). $$\nu$$z - an optimizing smt solver. In C. Baier and C. Tinelli, editors, Tools and Algorithms for the Construction and Analysis of Systems, pages 194–199, Berlin, Heidelberg.
2. Busjaeger, B., & Xie, T. (2016). Learning for test prioritization: An industrial case study. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pages 975–980, New York, NY, USA, ACM. http://dl.acm.org/10.1145/2950290.2983954
3. Campos, J., & Abreu, R. (2013). Encoding test requirements as constraints for test suite minimization. In 2013 10th International Conference on Information Technology: New Generations, pages 317–322.
4. Campos, J., & Abreu, R. (2013). Leveraging a constraint solver for minimizing test suites. 2013 13th International Conference on Quality Software, pages 253–259.
5. De Moura L., & Bjørner, N. (2008). Z3: An efficient smt solver. In 14th TACAS, pages 337–340, Berlin, Heidelberg. http://dl.acm.org/citation.cfm?id=1792734.1792766
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献