Lecture Notes in Computer Science 3472

624 Literature
[CL97a] Duncan Clarke and Insup Lee. Automatic generation of tests for timing constraints
from requirements. In Proceedings of the 3rd International Workshop
on Object-Oriented Real-Time Dependable Systems (WORDS 1997),
pages 199–206. IEEE Computer Society Press, 1997. [364]
[CL97b] Duncan Clarke and Insup Lee. Automatic test generation for the analysis
of a real-time system: Case study. In Proceedings of the 3rd IEEE Real-
Time Technology and Applications Symposium (RTAS 1997), pages 112–
124. IEEE Computer Society Press, 1997. [364, 366]
[Cla76] Lori A. Clarke. A system to generate test data and symbolically execute
programs. IEEE Transactions on Software Engineering, SE-2(3):215–222,
September 1976. [339, 343]
[CLRS01] Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford
Stein. Introduction to Algorithms. MIT Press and McGraw-Hill Book Company,
Cambridge, MA, 2 edition, 2001. [16]
[CO00] Rachel Cardell-Oliver. Conformance tests for real-time systems with timed
automata specifications. Formal Aspects of Computing, 12(5):350–371,
[COG98]
2000. [221, 224, 228, 229, 230, 367]
Rachel Cardell-Oliver and Tim Glover. A practical and complete algo-
[Coh]
rithm for testing real-time systems. In A. P. Ravn and H. Rischel, editors,
Proceedings of the 5th International Symposium on Formal Techniques in
Real-Time and Fault-Tolerant Systems (FTRTFT 1998), volume 1486 of
Lecture Notes in Computer Science, pages 251–261. Springer-Verlag, 1998.
[221, 228]
S. Cohen. JTrek. Compaq, http://www.compaq.com/java/download/jtrek.
[542]
[CPB98] S. Barbey C. Peraire and D. Buchs. Test selection for object-oriented software
based on formal specifications. In D. Gries and W. P. de Roever,
editors, Proceedings of the International Conference on Programming Concepts
and Methods (PROCOMET 1998), volume 125 of IFIP Conference
Proceedings, pages 385–403. Chapman and Hall, 1998. [348]
[CPHP87] P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative
language for programming synchronous systems. In Conference Record
of the 14th Annual ACM Symposium on Principles of Programming Languages
(POPL 1987), pages 178–188, Munich, Germany, January 21–23,
1987. ACM SIGACT-SIGPLAN, ACM Press. [395]
[ ČPR71] Ján Čern´y, Alica Pirická, and Blanka Rosenauerová. On directable automata.
Kybernetika, 7(4):289–298, 1971. [6, 31]
[CPS93] R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A
semantics-based verification tool for finite state systems. ACM Transactions
on Programming Languages and Systems (TOPLAS), 15(1):36–72, January
1993. [575]
[CS92] Rance Cleaveland and Bernhard Steffen. A linear-time model-checking algorithm
for the alternation-free modal mu-calculus. In Kim G. Larsen and
Arne Skou, editors, Proceedings of the 3rd Conference on Computer Aided
Verification (CAV 1991), volume 575, pages 48–58, Berlin, Germany, 1992.
Springer-Verlag. [566]
[CSE96] J. Callahan, F. Schneider, and S. Easterbrook. Specification-based testing
using model checking. In Proceedings of the 2nd SPIN Workshop 1996,
pages 193–207, 1996. [352]