Lecture Notes in Computer Science 3472

628 Literature
[FHP02] Eitan Farchi, Alan Hartman, and Shlomit Pinter. Using a model-based
test generator to test for standard conformance. IBM Systems Journal,
41(1):89–110, 2002. [439, 444, 446, 447, 448, 449, 450, 454, 456, 457, 458,
459]
[FHS96] A. Schmidt F. Huber, B. Schätz and K. Spies. Autofocus – A tool for
distributed systems specification. In Proceedings of the 4th International
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
(FTRTFT 1996), volume 1135 of Lecture Notes in Computer Science, pages
467–470. Springer-Verlag, 1996. [343]
[FJJV96] J.-C. Fernandez, C. Jard, T. Jéron, and G. Viho. Using on-the-fly verification
techniques for the generation of test suites. In Rajeev Alur and
Thomas A. Henzinger, editors, Proceedings of the 8th International Conference
on Computer Aided Verification (CAV 1996), volume 1102 of Lecture
Notes in Computer Science, pages 348–359, New Brunswick, NJ, USA, 1996.
Springer-Verlag. [294, 417]
[FK00] D. Freitag and N. Kushmerick. Boosted wrapper induction. In Proceedings
of the 17th National Conference on Artificial Intelligence (AAAI 2000) and
12th Conference on Innovative Applications of Artificial Intelligence (IAAI
2000), Austin, Texas, August 2000. American Association for Artificial Intelligence,
The AAAI Press. Copublished and distributed by The MIT
Press. [550]
[FKL99] Lauret Fournier, Anatoly Koyfman, and Moshe Levinger. Developing an
architecture validation suite – application to the PowerPC architecture. In
Proceedings of the 36th ACM Design Automation Conference (DAC 1999),
pages 189–194. ACM Press, 1999. [439, 443, 446, 447, 448, 449, 451, 456,
457, 460]
[FKR + 93] Y. Freund, M. Kearns, D. Ron, R. Rubinfeld, R. Schapire, and L. Sellie.
Efficient learning of typical finite automata from random walks. In Proceedings
of the 25th ACM Symposium on the Theory of Computing (STOC
1993), pages 315–324, New York, NY, 1993. ACM Press. [599]
[Fou03] Apache Software Foundation. Byte code engineering library (BCEL).
http://jakarta.apache.org/bcel/, 2003. Subproject of Jakarta. [530]
[Fra] France Telecom R&D website. http://www.rd.francetelecom.com/. [410]
[Fri90] Joel Friedman. On the road coloring problem. Proceedings of the American
Mathematical Society, 110(4):1133–1135, December 1990. [6]
[FvBK + 91] S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi.
Test selection based on finite state models. IEEE Transactions on Software
Engineering, 17(6):591–603, June 1991. [96, 98, 101]
[FW88] P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing
criteria. IEEE Transactions on Software Engineering, SE-14:1483–1498,
October 1988. [297, 300]
[FW93] P. G. Frankl and E. J. Weyuker. A formal analysis of the fault-detecting
ability of testing methods. IEEE Transactions on Software Engineering,
19(3):202–213, 1993. [310]
[Gar98] Hubert Garavel. OPEN/CAESAR: An open software architecture for verification,
simulation, and testing. In B. Steffen, editor, Proceedings of the
4th International Conference on Tools and Algorithms for the Construction
and Analysis of Systems (TACAS 1998), volume 1384 of Lecture Notes in
Computer Science, pages 68–84. Springer-Verlag, 1998. [419, 420, 423, 424]