Lecture Notes in Computer Science 3472

632 Literature
[Hib61] Thomas N. Hibbard. Least upper bounds on minimal terminal state experiments
for two classes of sequential machines. Journal of the ACM (JACM),
8(4):601–612, October 1961. [8, 14, 21, 30]
[Hil96] Jane Hillston. A compositional approach to performance modelling. Cambridge
University Press, 1996. [242]
[HJGP99] Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, and François Pennaneac’h.
UMLAUT: An extendible UML transformation framework. In
Proceedings of the 14th IEEE International Conference on Automated Software
Engineering (ASE 1999), pages 275–278, Florida, 1999. IEEE Computer
Society Press. [419, 420]
[HJL96] C. Heitmeyer, R. Jeffords, and B. Labaw. Automated Consistency Checking
of Requirements Specifications. ACM Transactions on Software Engineering
and Methodology, 5(3):231–261, July 1996. [1]
[HJL03] John Hakansson, Bengt Jonsson, and Ola Lundqvist. Generating on-line
test oracles from temporal logic specifications. International Journal on
Software Tools for Technology Transfer, 4(4):456–471, 2003. [555]
[HK87] Z. Har’El and R. P. Kurshan. COSPAN User Guide. AT&T Bell Laboratories,
October 1987. [575]
[HKWT95] Thomas A. Henzinger, Peter W. Kopke, and Howard Wong-Toi. The expressive
power of clocks. In Automata, Languages and Programming,volume
944 of Lecture Notes in Computer Science, pages 417–428. Springer-Verlag,
1995. [203]
[HL02a] Sudheendra Hangal and Monica S. Lam. Tracking down software bugs
using automatic anomaly detection. In Proceedings of the 24th International
Conference on Software Engineering (ICSE 2002), pages 291–301. ACM
Press, 2002. [551, 552, 554]
[HL02b] R. Hightower and N. Lesiecki. Java Tools for eXtreme Programming. Wiley
Computer Publishing. John Wiley & Sons, 2002. [501]
[HLSU02] H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory
of test coverage and generation. In J.-P. Katoen and P. Stevens, editors,
Proceedings of the 8th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS 2002), volume 2280 of
Lecture Notes in Computer Science, pages 327–341. Springer-Verlag, 2002.
[352]
[HM80] M. Henessy and R. Milner. Observing nondeterminism and concurrency.
In J. de Bakker and M. van Leeuwen, editors, Proceedings of the 7th International
Colloquium on Automata, Languages, and Programming (ICALP
1980), volume85ofLecture Notes in Computer Science, pages 299–309.
Springer-Verlag, 1980. [129]
[HM85] Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism
and concurrency. Journal of the ACM, 32(1):137–161, 1985. [271, 565]
[HME03] Michael Harder, Jeff Mellen, and Michael D. Ernst. Improving test suites via
operational abstraction. In Proceedings of the 25th International Conference
on Software Engineering (ICSE 2003), pages 60–71, Portland, Oregon, 2003.
IEEE Computer Society Press. [548]
[HMP92] Thomas A. Henzinger, Zohar Manna, and Amir Pnueli. What good are
digital clocks? In Proceedings of the 19th International Colloquium on Automata,
Languages, and Programming (ICALP 1992), volume 632 of Lecture
Notes in Computer Science, pages 545–558. Springer-Verlag, 1992. [201]