 | 2008 |
|---|
| 11 |       | Huzumi Nakano,
Mao Zheng,
Kasi Periyasamy,
Zhe Wei:
An Empirical Study on Software Reuse.
CSSE (6) 2008: 509-512 |
| 10 | | Olga 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) |
| 9 | | Mao 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 |
|---|
| 8 | | Mao Zheng,
Vangalur S. Alagar:
Conformance Testing of BDI Properties in Agent-based Software Systems.
APSEC 2005: 457-464 |
| 7 | | Vasu S. Alagar,
Mao Zheng:
A Software Architecture for Multi-agent Systems.
CIS (1) 2005: 303-312 |
| 2003 |
|---|
| 6 | | Vangalur S. Alagar,
M. Chen,
Olga Ormandjieva,
Mao Zheng:
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems.
APSEC 2003: 406-414 |
| 5 | | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Incremental Testing for Self-Evolving Timed Systems.
QSIC 2003: 12-19 |
| 4 | | Vangalur 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 |
|---|
| 3 | | Vangalur S. Alagar,
Mao Zheng:
A Rigorous Method for Testing Real-Time Reactive Systems.
APSEC 2001: 213-220 |
| 2000 |
|---|
| 2 | | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Managing Complexity in Real-Time Reactive Systems.
ICECCS 2000: 12-24 |
| 1 | | Vangalur S. Alagar,
Olga Ormandjieva,
Mao Zheng:
Specification-Based Testing for Real-Time Reactive Systems.
TOOLS (34) 2000: 25-36 |
