Multiplexing of partially ordered events

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 97-110

  Campbell, Colin ^a   Veanes, Margus ^a   Huo, Jiale ^b   Petrenko, Alexandre ^c  

^a MICROSOFT RESEARCH   (United States)

^b MCGILL UNIVERSITY   (Canada)

^c Cent de Recherche Informatique de Montreal   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SOFTWARE; CONSTRAINT THEORY; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; MULTIPLEXING; MULTIPLEXING EQUIPMENT;

CONCURRENT SYSTEMS; LABELED TRANSITION SYSTEMS; MULTI-THREADED PROGRAMS; PSEUDO-CODES; INDUSTRIAL CONTEXT; MODEL BASED TESTING; ORDERING CONSTRAINTS; ORDERING EVENTS; PARTIALLY ORDERED EVENTS;

WAVELENGTH DIVISION MULTIPLEXING; SOFTWARE TESTING;

EID: 24944589520     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_8     Document Type: Conference Paper

References (18)

1. Spec Explorer. URL:http://research.microsoft.com/specexplorer, released January 2005.
2. AsmL. URL: http://research.microsoft.com/fse/AsmL/.
3. M. Barnett, R. Leino, and W. Schulte. The Spec# programming system: An overview. In M. Huisman, editor, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, volume 3362 of LNCS, pages 49-69. Springer, 2005.
4. A. Blass, Y. Gurevich, L. Nachmanson, and M. Veanes. Play to test. Technical Report MSR-TR-2005-04, Microsoft Research, January 2005. Extended version of a paper submitted to CAV'05.
5. L. Cacciari and O. Rafiq. Controllability and observability in distributed testing. Inform. Software Technology, 41:767-780, 1999.
6. L. de Alfaro. Game models for open systems. In N. Dershowitz, editor, Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, volume 2772 of LNCS, pages 269-289. Springer, 2004.
7. L. de Alfaro and T. Henzinger. Interface automata. In Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of Software Engineering, volume 26(5) of ACM SIGSOFT Software Engineering Notes, pages 109-120. ACM Press, 2001.
8. W. Grieskamp, N. Tillmann, and M. Veanes. Instrumenting scenarios in a model-driven development environment. Information and Software Technology, 46(15): 1027-1036, December 2004.
9. Y. Gurevich, B. Rossman, and W. Schulte. Semantic essence of AsmL. In Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, volume 3188 of LNCS, pages 240-259. Springer, 2004.
10. Extended version to appear in special issue of Theoretical Computer Science, preliminary version available as Microsoft Research Technical Report MSR-TR-2004-27.
11. H. Hallal, E. Alikacem, P. Tunney, S. Boroday, and A. Petrenko. Antipattern-based detection of defficiencies in Java multithreaded software. In Proceedings of the Fourth International Conference on Quality Software (QSIC2004), Braunschweig, Germany, September 2004.
12. H. Hallal, S. Boroday, A. Ulrich, and A. Petrenko. An automata-based approach to property testing in event traces. In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), volume 2644 of LNCS, pages 180-196. Springer, 2003.
13. J. Huo, R. Negulescu, and A. Petrenko. A study of robustness and delay-insensitivity of discrete action systems. Technical Report CRIM-03/04-02, Centre de Recherche Informatique de Montréal, Montreal, Quebec, Canada, 2003.
14. J. Huo and A. Petrenko. On testing partially specified IOTS through lossless queues. In Proceedings of the 16th IFIP International Conference, TestCom 2004, volume 2978 of LNCS, pages 76-94. Springer, 2004.
15. C. Jard. How to observe interoperability at the service level of protocols. In 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94), Tokyo, Japan, November 1994.
16. L. Lamport. Time, clocks, and the orderings of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
17. S. Tasiran and S. Qadeer. Runtime refinement checking of concurrent data structures. Electronic Notes in Theoretical Computer Science, 113:163-179, January 2005. Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).
18. M. Veanes, C. Campbell, W. Schulte, and P. Kohli. On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-05, Microsoft Research, January 2005.