PUBLICATIONS

Journals

  1. Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia and Xudong He. Journal of Information and Software Technology (IST), Elsevier Inc. A Methodology for Evaluating Test Coverage Criteria of High Level Petri Nets. Accepted May 2009.
      2.  
  2. Peter J. Clarke, Djuradj Babich, Tariq M. King and B.M. Golam Kibria. Journal of Systems and Software, Elsevier Inc. Analyzing Clusters of Class Characteristics in OO Applications. December 2008, 81(12) pages 2269-2286.
      3.  
  3. Jose A. Morales, Peter J. Clarke, Yi Deng. Journal of Computer Virology, Special Issue of EICAR 2008, Springer-Verlag. Identification of File Infecting Viruses through Detection of Self-Reference Replication. In-press, 20 pages double column single space. Accepted July 2008.
      4.  
  4. Jose Morales, Peter J. Clarke, Journal of Computer Virology, Springer-Verlag. Characterization of Virus Replication. December, 2007, pages 221-234.
      5.  
  5. Tariq M. King, Rodolfo Cruz, Alain E. Ramirez, and Peter J. Clarke. An Integrated Self-Testing Framework for Autonomic Computing Systems. Journal of Computers. Academy Publisher, 2(9) November 2007, pages 37-49.
      6.  
  6. Jose Morales, Peter J. Clarke, B.M. Golam Kibria and Yi Deng. Testing and Evaluating Virus Detectors for Handheld Devices. Journal of Computer Virology special edition on Mobile Malware. Springer, 2(2) November, 2006, pages 135-147.
      7.  
  7. Peter J. Clarke, Brian A. Malloy, Junhua Ding and Djuradj Babich. A Tool to Automatically Map Implementation-Based Testing Techniques to Classes. International Journal of Software Engineering and Knowledge Engineering, 16(4) August 2006, pages 585 - 614.
      8.  
  8. David Crowther and Peter J. Clarke. Comparison of Software Testing Tools. Dr Dobbs Journal No. 373 June 2005, pages 26 – 33 (non-refereed).
      9.  
  9. Peter J. Clarke and Brian A. Malloy. A Taxonomy of OO Classes to Support the Mapping of Testing Techniques to a Class. Journal of Object Technology, 4(5) July/August, 2005
      10.  

Conferences

  1. Gonzalo Argote-Garcia, Peter J. Clarke, Yujian Fu, and Xudong He. Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Knowledge Systems Institute. A Formal Approach for Translating a SAM Architecture to PROMELA. July 1-3, 2008, pages 440-447.
      2.  
  2. Yanelis Hernandez, Tariq M. King, Jairo Pava and Peter J. Clarke. Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Knowledge Systems Institute. A Meta-Model to Support Regression Testing of Web Applications. July 1-3, 2008, pages 500-507.
      3.  
  3. Jose A. Morales, Peter J. Clarke, and Yi Deng. Proceeding of the 17th Annual European Institute for Computer Anti-Virus Research (EICAR) Annual Conference. Detecting Self-Reference Replication Behavior in Win32 Viruses. May 3-8, 2008, pages 63-82.
      4.  
  4. Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, and Xudong He. Proceeding of the 3rd International Workshop on Automated Software Testing co-located with ICSE 2008, ACM. Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. May 10-18, 2008, pages 71-78.
      5.  
  5. Alain E. Ramirez, Barbara Morales, and Tariq M. King. A Self-Testing Autonomic Job Scheduler. To appear in the proceedings of the 46th Annual ACM Southeast Conference, ACMSE '08. Accepted February 2008.
      6.  
  6. Tariq M. King, Alain E. Ramirez, Barbara Quinones-Morales, and Peter J. Clarke. Proceeding of the 23rd ACM Symposium on Applied Computing, Track on Autonomic Computing, ACM. A Reusable Object-Oriented Design to Support Self-Testable Autonomic Software. March 16-20, 2008, Pages 1664-1669 (nominated for best paper award).
      7.  
  7. Peter J. Clarke, James F. Power, Djuradj Babich, and Tariq M. King. Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007), IEEE Computer Society. Intra-Class Testing of Abstract Class Features. November 5-9, 2007, pages 191 - 200
      8.  
  8. Ronald Stevens, Brittany Parsons and Tariq M. King. A Self-Testing Autonomic Container. 45th ACM Southeast Conference, (ACMSE '07). Accepted Jan. 2007. (Supported by National Science Foundation grant IIS-0552555)
      9.  
  9. Tariq M. King, Djuradj Babich, Jonatan Alava , Ronald Stevens, and Peter J. Clarke. Proceedings of the 8th nternational Symposium on Autonomic and Decentralized Systems 2007 (ISADS 2007), IEEE Computer Society. Towards Self-Testing in Autonomic Computing Systems. March 22-24, 2007, pages 51-58.
      10.  
  10. Jonatan Alava, Tariq M. King and Peter J. Clarke. Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 06). Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria. IEEE, September 17 -- 21, 2006, pages 439 - 446.
      11.  
  11. Djuradj Babich, Kayan Chiu and Peter J. Clarke. Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE'06). TaxTOOLJ: A Tool to Catalog Java Classes. July 5-7 2006, pages 375-380.
      12.  
  12. Jose Morales, Peter J. Clarke, and Yi Deng. Proceedings of the Workshop on Software Security Assurance Tools, Techniques, and Metrics (ASE 2005). Testing and Evaluation of Virus Detectors for Handheld Devices. NIST Special Publication 500-265 pages 67-74, http://samate.nist.gov/docs/
      13.  
  13. Jonatan Alava and Peter J. Clarke. Proceedings of the 2nd MoDeVa Workshop - Model design and Validation 2005 (MODELS 2005). Model-Based Test Criteria Definition for Validating Annotated Web Applications. http://www.irisa.fr/manifestations/2005/MODEVA2005/program.htm
      14.  
  14. David Crowther, Djuradj Babich and Peter J. Clarke. Proceedings of the 3rd ACIS International Conference on Software Engineering Research, Management & Applications. A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. IEEE, August 11 -13, 2005, pages 22 -29.
      15.  

Technical Reports

  1. Peter J. Clarke, Djuradj Babich, Tariq M. King and B.M. Golam Kibria. A Prediction Model for the Combination of Class Characteristics in Large OO Applications. Technical Report: FIU-SCIS-2006-05-01, May, 2006.
      2.  
  2. Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia and Xudong He. Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. Technical Report: FIU-SCIS-2006-05-02, May, 2006.

Under Review

  1. None