11??“16.
Khurshid, S., P?‡as?‡areanu, C. S., and Visser, W., ???Generalized symbolic execution
for model checking and testing,??? In H. Garavel and J. Hatcliff, editors, Tools
and Algorithms for the Construction and Analysis of Systems, 9th International
Conference, TACAS 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, 2003,
Proceedings, volume 2619 of Lecture Notes in Computer Science, Springer,
2003.
King, J. C., ???A new approach to program testing,??? in Proceeding of the 1975
International Conference on Reliable Software, ACM Press, 1975.
King, J. C., ???Symbolic Execution and Program Testing,??? Communications of te
ACM 19, 385??“94, 1976.
Leler, W., Constraint programming languages: Their specification and generation,
Addison-Wesley, Reading, MA, 1988.
Leng, T., Program Speedup Through Generalized Loop Unrolling: Practical Aspects,
Ph.D. dissertation, Department of Computer Science, University of Houston,
Houston, TX, 2001.
194
References
Lunts, A. G., ???Amethod of analysis of finite automata,??? Soviet Physics ??“ Doklady
10, 102??“3, 1965.
Manna, Z., Mathematical Theory of Computation, McGraw-Hill, New York, NY,
1974.
McCabe, T. J., ???A complexity measure,??? IEEE Transactions on Software Engineering
SE2, 308??“20, 1976.
Nielson, F., Nielson, H.
Pages:
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164