Zhiyong Zhang

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems

Lin Padgham, John Thangarajah, Tim Miller, 2013, IEEE Transactions on Software Engineering.

1333 Model based Testing for Agent Systems ( Extended Abstract )

L. Padgham, Zhiyong Zhang, John Thangarajah, 2009 .

Model based Testing for Agent Systems (Extended Abstract)

Lin Padgham, John Thangarajah, Zhiyong Zhang, 2009 .

Debugging and Testing of Multi-Agent Systems using Design Artefacts

Michael Winikoff, Lin Padgham, Zhiyong Zhang, 2009, Multi-Agent Programming, Languages, Tools and Applications.

Automated unit testing intelligent agents in PDT

Lin Padgham, John Thangarajah, Zhiyong Zhang, 2008, AAMAS.

Automated Unit Testing for Agent Systems

Lin Padgham, John Thangarajah, Zhiyong Zhang, 2007, ENASE.

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems

L. Padgham, Zhiyong Zhang, John Thangarajah, 2013, IEEE Transactions on Software Engineering.

Automated Testing for Intelligent Agent Systems

Lin Padgham, John Thangarajah, Zhiyong Zhang, 2009, AOSE.

Model based testing for agent systems

Lin Padgham, John Thangarajah, Zhiyong Zhang, 2009, AAMAS.