Publisher
Springer Nature Switzerland
Reference44 articles.
1. Ammann, P., Offutt, J.: Introduction to Software Testing, 2nd edn. Cambridge University Press, Cambridge (2017)
2. Ammann, P., Offutt, J., Huang, H.: Coverage criteria for logical expressions. In: 2003 14th International Symposium on Software Reliability Engineering, ISSRE 2003, pp. 99–107. IEEE (2003)
3. AutoProof. http://autoproof.sit.org/
4. Awedikian, Z., Ayari, K., Antoniol, G.: MC/DC automatic test input data generation. In: Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation, pp. 1657–1664 (2009)
5. Lecture Notes in Computer Science;M Barnett,2005