-
1
-
-
33750192372
-
-
March
-
Spec# tool. March 2005. http://research.microsoft.com/specsharp.
-
(2005)
Spec# Tool
-
-
-
2
-
-
84945914804
-
Alternating refinement relations
-
LNCS
-
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, Alternating refinement relations, in Proc. Ninth Int. Conf. on Concurrency Theory (CONCUR '98), LNCS Vol. 1466, 1998, pp. 163-178.
-
(1998)
Proc. Ninth Int. Conf. on Concurrency Theory (CONCUR '98)
, vol.1466
, pp. 163-178
-
-
Alur, R.1
Henzinger, T.A.2
Kupferman, O.3
Vardi, M.4
-
3
-
-
23744515494
-
Towards a tool environment for model-based testing with AsmL
-
eds. Petrenko and Ulrich, LNCS (Springer)
-
M. Barnett, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes, Towards a tool environment for model-based testing with AsmL, in Formal Approaches to Software Testing, FATES 2003, eds. Petrenko and Ulrich, LNCS Vol. 2931 (Springer, 2003), pp. 264-280.
-
(2003)
Formal Approaches to Software Testing, FATES 2003
, vol.2931
, pp. 264-280
-
-
Barnett, M.1
Grieskamp, W.2
Nachmanson, L.3
Schulte, W.4
Tillmann, N.5
Veanes, M.6
-
4
-
-
31344451801
-
Model-based testing of object-oriented reactive systems with spec explorer
-
Microsoft Research, May
-
C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, and M. Veanes, Model-based testing of object-oriented reactive systems with Spec Explorer, Technical Report MSR-TR-2005-59, Microsoft Research, May 2005,
-
(2005)
Technical Report
, vol.MSR-TR-2005-59
-
-
Campbell, C.1
Grieskamp, W.2
Nachmanson, L.3
Schulte, W.4
Tillmann, N.5
Veanes, M.6
-
6
-
-
0004232136
-
-
B. Davey and H. Priestly (eds.), (Cambridge University Press)
-
B. Davey and H. Priestly (eds.), Introduction to Lattices and Order (Cambridge University Press, 1990).
-
(1990)
Introduction to Lattices and Order
-
-
-
9
-
-
27144524474
-
Integrating object-z with timed automata
-
IEEE Computer Society
-
J. S. Dong, R. Duke, and P. Hao, Integrating object-z with timed automata, in ICECCS (IEEE Computer Society, 2005), pp. 488-497.
-
(2005)
ICECCS
, pp. 488-497
-
-
Dong, J.S.1
Duke, R.2
Hao, P.3
-
10
-
-
0031191628
-
An experiment in automatic generation of test suites for protocols with verification technology
-
J. Fernandez, C. Jard, T. Jéron, and C. Viho, An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming -Special Issue on COST247, Verification and Validation Methods for Formal Descriptions 29(1-2) (1997) 123-146.
-
(1997)
Science of Computer Programming -special Issue on COST247, Verification and Validation Methods for Formal Descriptions
, vol.29
, Issue.1-2
, pp. 123-146
-
-
Fernandez, J.1
Jard, C.2
Jéron, T.3
Viho, C.4
-
11
-
-
0036986571
-
Generating finite state machines from abstract state machines
-
Software Engineering Notes (ACM)
-
W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes, Generating finite state machines from abstract state machines, in ISSTA '02, Vol. 27, Software Engineering Notes (ACM, 2002), pp. 112-122.
-
(2002)
ISSTA '02
, vol.27
, pp. 112-122
-
-
Grieskamp, W.1
Gurevich, Y.2
Schulte, W.3
Veanes, M.4
-
13
-
-
33745784682
-
Action machines - Towards a framework for model composition, exploration and conformance testing based on symbolic computation
-
IEEE. September
-
W. Grieskamp, N. Tillmann, C. Campbell, W. Schulte, and M. Veanes, Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation, in QSIC 2005: Quality Software Int. Conference, IEEE. September 2005.
-
(2005)
QSIC 2005: Quality Software Int. Conference
-
-
Grieskamp, W.1
Tillmann, N.2
Campbell, C.3
Schulte, W.4
Veanes, M.5
-
14
-
-
33750416029
-
XRT - Exploring Runtime for.NET - Architecture and Applications
-
Electronic Notes in Theoretical Computer Science, July
-
W. Grieskamp, N. Tilhnann, and W. Schulte, XRT - Exploring Runtime for .NET - Architecture and Applications, in SoftMC 2005: Workshop on Software Model Checking, Electronic Notes in Theoretical Computer Science, July 2005.
-
(2005)
SoftMC 2005: Workshop on Software Model Checking
-
-
Grieskamp, W.1
Tilhnann, N.2
Schulte, W.3
-
15
-
-
10644295766
-
Instrumenting scenarios in a model-driven development environment
-
in press, available online
-
W. Grieskamp,N. Tillmann, and M. Veanes, Instrumenting scenarios in a model-driven development environment, Information and Software Technology, 2004, in press, available online.
-
(2004)
Information and Software Technology
-
-
Grieskamp, W.1
Tillmann, N.2
Veanes, M.3
-
16
-
-
0002017107
-
Evolving Algebras 1993: Lipari Guide
-
E. Börger (ed.), (Oxford University Press)
-
Y. Gurevich, Evolving Algebras 1993: Lipari Guide, in E. Börger (ed.), Specification and Validation Methods (Oxford University Press, 1995), pp. 9-36.
-
(1995)
Specification and Validation Methods
, pp. 9-36
-
-
Gurevich, Y.1
-
17
-
-
0005914572
-
-
ITU-T, Recommendation Z.120, Message Sequence Charts, International Telecommunication Union -Standardization Sector. Genève
-
ITU-T, Recommendation Z.120, Message Sequence Charts, Technical Report Z-120, International Telecommunication Union -Standardization Sector. Genève, 2000.
-
(2000)
Technical Report
, vol.Z-120
-
-
-
19
-
-
35248872018
-
Generalized symbolic execution for model checking and testing
-
April
-
S. Khurshid, C. S. Pasareanu, and W. Visser, Generalized symbolic execution for model checking and testing, in Proc, 9th Int. Conf., on Tools and Algorithms for the Construction and Analysis of Systems,. April 2003, pp. 553-568.
-
(2003)
Proc, 9th Int. Conf., on Tools and Algorithms for the Construction and Analysis of Systems
, pp. 553-568
-
-
Khurshid, S.1
Pasareanu, C.S.2
Visser, W.3
-
20
-
-
0031597156
-
Blending object-Z and timed CSP: An introduction to TCOZ
-
eds. K. Futatsugi, R. Kemmerer, and K. Torii. Kyoto, Japan, 1998 (IEEE Computer Society Press)
-
B. P. Mahony and J. S. Dong, Blending Object-Z and Timed CSP: An introduction to TCOZ, in Proc. 20th Int. Conf., on Software Engineering (ICSE '98), eds. K. Futatsugi, R. Kemmerer, and K. Torii. Kyoto, Japan, 1998 (IEEE Computer Society Press), pp. 95-104.
-
Proc. 20th Int. Conf., on Software Engineering (ICSE '98)
, pp. 95-104
-
-
Mahony, B.P.1
Dong, J.S.2
-
21
-
-
0003109891
-
Gem: A generalized event monitoring language for distributed systems
-
M. Mansouri-Samani and M. Sloman, Gem: A generalized event monitoring language for distributed systems, Distributed Systems Engineering Journal 4(2) (1997) 96-108.
-
(1997)
Distributed Systems Engineering Journal
, vol.4
, Issue.2
, pp. 96-108
-
-
Mansouri-Samani, M.1
Sloman, M.2
-
22
-
-
26944435840
-
Final semantics for event-pattern reactive programs
-
eds. J. L. Fiadeiro, N. Harman. M. Roggenbach, and J. J. M. M. Rutten, LNCS (Springer)
-
C. Sánchez, H. B. Sipma, M. Slanina, and Z. Manna, Final semantics for event-pattern reactive programs, in CALCO, eds. J. L. Fiadeiro, N. Harman. M. Roggenbach, and J. J. M. M. Rutten, LNCS Vol. 3629 (Springer. 2005)2C pp. 364-378.
-
(2005)
CALCO
, vol.3629
, pp. 364-378
-
-
Sánchez, C.1
Sipma, H.B.2
Slanina, M.3
Manna, Z.4
-
26
-
-
84895064438
-
The semantics of circus
-
eds. D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, LNCS (Springer)
-
J. Woodcock and A. Cavalcanti, The semantics of circus, in ZB, eds. D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, LNCS Vol. 2272 (Springer, 2002), pp. 184-203.
-
(2002)
ZB
, vol.2272
, pp. 184-203
-
-
Woodcock, J.1
Cavalcanti, A.2
-
27
-
-
84950271149
-
Sel, a new event pattern specification language for event correlation
-
D. Zhu and A. S. Sethi, Sel, a new event pattern specification language for event correlation, in Proc. IEEE Int. Conf. ICCCN '01, 2001, pp. 586-589.
-
(2001)
Proc. IEEE Int. Conf. ICCCN '01
, pp. 586-589
-
-
Zhu, D.1
Sethi, A.S.2
|