Author:
Bultan Tevfik,Yu Fang,Alkhalaf Muath,Aydin Abdulbaki
Publisher
Springer International Publishing
Reference12 articles.
1. Abdulbaki Aydin. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. Dissertation, University of California Santa Barbara, 2017.
2. Constantinos Bartzis and Tevfik Bultan. Efficient symbolic representations for arithmetic constraints in verification. International Journal of Foundations of Computer Science (IJFCS), 14(4):605–624, August 2003.
3. Norman Biggs. Algebraic Graph Theory. Cambridge Mathematical Library. Cambridge University Press, 1993.
4. Philippe Flajolet and Robert Sedgewick. Analytic Combinatorics. Cambridge University Press, New York, NY, USA, 1 edition, 2009.
5. James C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385–394, July 1976.