dblp.uni-trier.dewww.uni-trier.de

Mao Zheng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEHuzumi Nakano, Mao Zheng, Kasi Periyasamy, Zhe Wei: An Empirical Study on Software Reuse. CSSE (6) 2008: 509-512
10EEOlga Ormandjieva, Vangalur S. Alagar, Mao Zheng: Early quality monitoring in the development of real-time reactive systems. Journal of Systems and Software 81(10): 1738-1753 (2008)
9EEMao Zheng, Vasu S. Alagar, Olga Ormandjieva: Automated generation of test suites from formal specifications of real-time reactive systems. Journal of Systems and Software 81(2): 286-304 (2008)
2005
8EEMao Zheng, Vangalur S. Alagar: Conformance Testing of BDI Properties in Agent-based Software Systems. APSEC 2005: 457-464
7EEVasu S. Alagar, Mao Zheng: A Software Architecture for Multi-agent Systems. CIS (1) 2005: 303-312
2003
6EEVangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng: Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. APSEC 2003: 406-414
5EEVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Incremental Testing for Self-Evolving Timed Systems. QSIC 2003: 12-19
4EEVangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng: A rigorous approach for constructing self-evolving real-time reactive systems. Information & Software Technology 45(11): 743-761 (2003)
2001
3EEVangalur S. Alagar, Mao Zheng: A Rigorous Method for Testing Real-Time Reactive Systems. APSEC 2001: 213-220
2000
2EEVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Managing Complexity in Real-Time Reactive Systems. ICECCS 2000: 12-24
1EEVangalur S. Alagar, Olga Ormandjieva, Mao Zheng: Specification-Based Testing for Real-Time Reactive Systems. TOOLS (34) 2000: 25-36

Coauthor Index

1Ramesh Achuthan [4]
2Vangalur S. Alagar (Vasu S. Alagar) [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
3M. Chen [6]
4M. Haydar [4]
5D. Muthiayen [4]
6Huzumi Nakano [11]
7Olga Ormandjieva [1] [2] [4] [5] [6] [9] [10]
8Kasi Periyasamy [11]
9Zhe Wei [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)