FIU Home
About CADSE

Recent Publications
CADSE Activities
People
Opportunities
Training
Funding
Contact Info
Links



CADSE Home

Here is a list of selected journals and conferences:

Journals:

  1. J.A.N. Lee and X. He: "A Methodology for Test Selection", Journal of Systems and Software, vol.13, no.3, 1990, 177-185.

  2. Zhu and X. He: "A Methodology for Testing High-Level Petri Nets", Information and Software Technology, vol.44, 2002, 473-489.

Refereed Conference Proceedings
  1. H. Zhu and X. He: "A Theory of Testing High-Level Petri Nets", Proc. of the IFIP 16th World Computer Congress, Beijing, China, August, 2000, 443-450.

  2. H. Zhu and X. He: "Constructions of Behavior Observation Schemes in Software Testing", Proc. of the 5th High Assurance Computer Systems (HASE2000), New Mexico, Nov. 2000, 7-16.

  3. H. Zhu and X. He: "An Observation Theory of Integration Testing for Component-Based Software Development", Proc. of the 25th International Computer Software and Application Conference (COMPSAC'2001), Chicago, 2001, 363-370.


[ Back to Software Testing Research ]        [ Back to CADSE Reseach ]

For problems or questions about this web, contact webmaster@cadse.cs.fiu.edu