Author:
Wang Wenxi,Yi Pu,Khurshid Sarfraz,Marinov Darko
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;A Aydin,2015
2. Bacchus, F., Dalmao, S., Pitassi, T.: Algorithms and complexity results for # SAT and Bayesian inference. In: FOCS (2003)
3. Lecture Notes in Computer Science;F Büttner,2012
4. Google: Avoiding flakey tests (2008). http://googletesting.blogspot.com/2008/04/tott-avoiding-flakey-tests.html
5. Harman, M., O’Hearn, P.: From start-ups to scale-ups: opportunities and open problems for static and dynamic program analysis. In: SCAM (2018)