Lecture Notes in Computer Science 3472

644 Literature
[RdBJ00] V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation.
In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proceedings
of the 2nd International Conference on Integrated Formal Methods (IFM
2000), volume 1945 of Lecture Notes in Computer Science, pages 338–357.
Springer-Verlag, 2000. [174, 418, 424, 425, 426, 427]
[RG95] Anil S. Rao and Kenneth Y. Goldberg. Manipulating algebraic parts in
the plane. IEEE Transactions on Robotics and Automation (IEEETROB),
11(4):598–602, August 1995. [7, 32]
[RH01a] S. Rayadurgam and M.P. Heimdahl. Coverage based test case generation
using model checkers. In Proceedings of the 8th Annual IEEE International
Conference and Workshop on the Engineering of Computer Based Systems
(ECBS 2001), pages 83–91. IEEE Computer Society Press, 2001. [352]
[RH01b] S. Rayadurgam and M. P. Heimdahl. Test-sequence generation from formal
requirements models. In Proceedings of the 6th IEEE International Symposium
on High-Assurance Systems Engineering (HASE 2001), pages 23–31.
IEEE Computer Society Press, 2001. [352]
[RH01c] G. Ro¸su and K. Havelund. Synthesizing dynamic programming algorithms
from linear temporal logic formulae. Technical report, RIACS, 2001. [534]
[RHC76] C. V. Ramamoorthy, S. F. Ho, and W. T. Chen. On the automated generation
of program test data. In Proceedings of the 2nd International Conference
on Software Engineering (ICSE 1976), page 636. IEEE Computer
Society Press, 1976. Abstract only. [343]
[Ris93] N. Risser. TVEDA V2 user guide. Technical Document
DT/LAA/SLC/EVP/5, France Telecom – CNET, March 1993. [200]
[RJB99] James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling
Language Reference Manual. Addison-Wesley, Reading, Massachusetts,
USA, first edition, 1999. [1, 497]
[RKS02] Orna Raz, Philip Koopman, and Mary Shaw. Semantic anomaly detection
in online data sources. In Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), pages 302–312. ACM Press, 2002.
[526, 550, 551, 554]
[RLNS00] K. Rustan, M. Leino, G. Nelson, and J. B. Saxe. ESC/Java user’s manual.
Technical Report 2000-002, Compaq Systems Research Center, Palo Alto,
2000. [555]
[RNHW98] P. Raymond, X. Nicollin, N. Halbwachs, and D. Weber. Automatic testing
of reactive systems. In Proceedings of the 19th IEEE Real-Time Systems
Symposium (RTSS 1998), pages 200–209. IEEE Computer Society Press,
1998. [399, 400]
[RP92] A. Rouger and M. Phalippou. Test cases generation from formal specifications.
In Proceedings of the 14th International Switching Symposium (ISS
1992), page C10.2, Yokohama, October 1992. [198]
[RS93] Ronald L. Rivest and Robert E. Schapire. Inference of finite automata
using homing sequences. Information and Computation, 103(2):299–347,
April 1993. [8, 12, 27, 586, 598]
[RSP93] June-Kyung Rho, Fabio Somenzi, and Carl Pixley. Minimum length synchronizing
sequences of finite state machine. In Proceedings of the 30th
ACM/IEEE Design Automation Conference (DAC 1993), pages 463–468.
ACM Press, June 1993. [25, 32]