@inproceedings{Argote-GarciaCHFS08, title = {A Formal Approach for Translating a SAM Architecture to PROMELA}, author = {Gonzalo Argote-Garcia and Peter J. Clarke and Xudong He and Yujian Fu and Leyuan Shi}, year = {2008}, tags = {translation, architecture, systematic-approach}, researchr = {https://researchr.org/publication/Argote-GarciaCHFS08}, cites = {0}, citedby = {0}, pages = {440-447}, booktitle = {Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008}, publisher = {Knowledge Systems Institute Graduate School}, isbn = {1-891706-22-5}, } @inproceedings{WangCD06:0, title = {Communication Model to Support Rapid Application Development}, author = {Yingbo Wang and Peter J. Clarke and Yi Deng}, year = {2006}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/WangCD06%3A0}, cites = {0}, citedby = {0}, pages = {185-191}, booktitle = {Proceedings of the 2006 International Conference on Communications in Computing, CIC 2006, Las Vegas, Nevada, USA, June 26-29, 2006}, editor = {Brian J. d Auriol and Hamid R. Arabnia and Antonio Pescapè}, publisher = {CSREA Press}, isbn = {1-60132-012-4}, } @inproceedings{MoralesCD08, title = {Characterizing and Detecting Virus Replication}, author = {Jose Andre Morales and Peter J. Clarke and Yi Deng}, year = {2008}, doi = {10.1109/ICONS.2008.37}, url = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.37}, researchr = {https://researchr.org/publication/MoralesCD08}, cites = {0}, citedby = {0}, pages = {214-219}, booktitle = {The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico}, publisher = {IEEE Computer Society}, } @inproceedings{CrowtherBC05, title = {A Class Abstraction Technique to Support the Analysis of Java Programs During Testing}, author = {David Crowther and Djuradj Babich and Peter J. Clarke}, year = {2005}, doi = {10.1109/SERA.2005.1}, url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2005.1}, tags = {Java, program analysis, testing, analysis, abstraction}, researchr = {https://researchr.org/publication/CrowtherBC05}, cites = {0}, citedby = {0}, pages = {22-29}, booktitle = {Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2297-1}, } @article{KraftLMC06, title = {The implementation of an extensible system for comparison and visualization of class ordering methodologies}, author = {Nicholas A. Kraft and Errol L. Lloyd and Brian A. Malloy and Peter J. Clarke}, year = {2006}, doi = {10.1016/j.jss.2005.10.019}, url = {http://dx.doi.org/10.1016/j.jss.2005.10.019}, researchr = {https://researchr.org/publication/KraftLMC06}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {79}, number = {8}, pages = {1092-1109}, } @inproceedings{HernandezKPC08, title = {A Meta-model to Support Regression Testing of Web Applications}, author = {Yanelis Hernandez and Tariq M. King and Jairo Pava and Peter J. Clarke}, year = {2008}, tags = {meta-model, testing, web applications, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/HernandezKPC08}, cites = {0}, citedby = {0}, pages = {500-505}, booktitle = {Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), San Francisco, CA, USA, July 1-3, 2008}, publisher = {Knowledge Systems Institute Graduate School}, isbn = {1-891706-22-5}, } @inproceedings{HristidisCPDWB06, title = {A flexible approach for electronic medical records exchange}, author = {Vagelis Hristidis and Peter J. Clarke and Nagarajan Prabakar and Yi Deng and Jeffrey A. White and Redmond P. Burke}, year = {2006}, doi = {10.1145/1183568.1183576}, url = {http://doi.acm.org/10.1145/1183568.1183576}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/HristidisCPDWB06}, cites = {0}, citedby = {0}, pages = {33-40}, booktitle = {Proceedings of the International Workshop on Healthcare Information and Knowledge Management, HIKM 2006, Arlington, Virginia, USA, November 11, 2006}, editor = {Li Xiong and Yuni Xia}, publisher = {ACM}, isbn = {1-59593-528-2}, } @inproceedings{AlavaKC06, title = {Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria}, author = {Jonatan Alava and Tariq M. King and Peter J. Clarke}, year = {2006}, doi = {10.1109/COMPSAC.2006.32}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.32}, tags = {data validation, rule-based, Java, data-flow, coverage}, researchr = {https://researchr.org/publication/AlavaKC06}, cites = {0}, citedby = {0}, pages = {439-446}, booktitle = {30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2655-1}, } @article{DengSCHRW08, title = {CVM - A communication virtual machine}, author = {Yi Deng and Seyed Masoud Sadjadi and Peter J. Clarke and Vagelis Hristidis and Raju Rangaswami and Yingbo Wang}, year = {2008}, doi = {10.1016/j.jss.2008.02.020}, url = {http://dx.doi.org/10.1016/j.jss.2008.02.020}, researchr = {https://researchr.org/publication/DengSCHRW08}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {81}, number = {10}, pages = {1640-1662}, } @article{MoralesCDK06, title = {Testing and evaluating virus detectors for handheld devices}, author = {Jose Andre Morales and Peter J. Clarke and Yi Deng and B. M. Golam Kibria}, year = {2006}, doi = {10.1007/s11416-006-0024-y}, url = {http://dx.doi.org/10.1007/s11416-006-0024-y}, tags = {testing}, researchr = {https://researchr.org/publication/MoralesCDK06}, cites = {0}, citedby = {0}, journal = {Journal in Computer Virology}, volume = {2}, number = {2}, pages = {135-147}, } @inproceedings{MalloyCL03, title = {A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications}, author = {Brian A. Malloy and Peter J. Clarke and Errol L. Lloyd}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/issre/2003/2007/00/20070353abs.htm}, tags = {rule-based, testing, C++}, researchr = {https://researchr.org/publication/MalloyCL03}, cites = {0}, citedby = {0}, pages = {353-364}, booktitle = {14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2007-3}, } @article{ClarkeBKK08, title = {Analyzing clusters of class characteristics in OO applications}, author = {Peter J. Clarke and Djuradj Babich and Tariq M. King and B. M. Golam Kibria}, year = {2008}, doi = {10.1016/j.jss.2008.03.056}, url = {http://dx.doi.org/10.1016/j.jss.2008.03.056}, researchr = {https://researchr.org/publication/ClarkeBKK08}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {81}, number = {12}, pages = {2269-2286}, } @inproceedings{WhittakerACE06, title = {Collaboration Security for Modern Information Systems}, author = {Richard Whittaker and Gonzalo Argote-Garcia and Peter J. Clarke and Raimund K. Ege}, year = {2006}, tags = {security}, researchr = {https://researchr.org/publication/WhittakerACE06}, cites = {0}, citedby = {0}, pages = {363-370}, booktitle = {SECRYPT 2006, Proceedings of the International Conference on Security and Cryptography, Setúbal, Portugal, August 7-10, 2006, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications}, editor = {Manu Malek and Eduardo Fernández-Medina and Javier Hernando}, publisher = {INSTICC Press}, isbn = {972-8865-63-5}, } @inproceedings{ClarkeWCW07, title = {Using Communication Objects During Requirements Analysis}, author = {Peter J. Clarke and Yingbo Wang and Tuan L. Cameron and Yali Wu}, year = {2007}, tags = {meta-model, analysis, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/ClarkeWCW07}, cites = {0}, citedby = {0}, pages = {213-220}, booktitle = {International Conference on Software Engineering Theory and Practice, SETP-07, Orlando, Florida, USA, July 9-12 2007}, editor = {Dimitris A. Karras and Daming Wei and Jaroslav Zendulka}, publisher = {ISRST}, isbn = {978-0-9727412-6-2}, } @inproceedings{WhittakerACE08:0, title = {Decentralized mediation security}, author = {Richard Whittaker and Gonzalo Argote-Garcia and Peter J. Clarke and Raimund K. Ege}, year = {2008}, doi = {10.1109/IPDPS.2008.4536560}, url = {http://dx.doi.org/10.1109/IPDPS.2008.4536560}, tags = {security}, researchr = {https://researchr.org/publication/WhittakerACE08%3A0}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008}, publisher = {IEEE}, } @inproceedings{DengSCZHRP06, title = {A Communication Virtual Machine}, author = {Yi Deng and Seyed Masoud Sadjadi and Peter J. Clarke and Chi Zhang and Vagelis Hristidis and Raju Rangaswami and Nagarajan Prabakar}, year = {2006}, doi = {10.1109/COMPSAC.2006.7}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.7}, researchr = {https://researchr.org/publication/DengSCZHRP06}, cites = {0}, citedby = {0}, pages = {521-531}, booktitle = {30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2655-1}, } @inproceedings{AllenLWCT08, title = {Self-Configuring User-Centric Communication Services}, author = {Andrew A. Allen and Sean Leslie and Yali Wu and Peter J. Clarke and Ricardo Tirado}, year = {2008}, doi = {10.1109/ICONS.2008.23}, url = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.23}, researchr = {https://researchr.org/publication/AllenLWCT08}, cites = {0}, citedby = {0}, pages = {253-259}, booktitle = {The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico}, publisher = {IEEE Computer Society}, } @article{DingCXHD06, title = {A formal model-based approach for developing an interoperable mobile agent system}, author = {Junhua Ding and Peter J. Clarke and Dianxiang Xu and Xudong He and Yi Deng}, year = {2006}, url = {http://iospress.metapress.com/content/8lqf92kn3yl60th1/}, tags = {rule-based, agent based modeling, mobile, systematic-approach}, researchr = {https://researchr.org/publication/DingCXHD06}, cites = {0}, citedby = {0}, journal = {Multiagent and Grid Systems}, volume = {2}, number = {4}, pages = {401-412}, } @article{MoralesCDK08, title = {Characterization of virus replication}, author = {Jose Andre Morales and Peter J. Clarke and Yi Deng and B. M. Golam Kibria}, year = {2008}, doi = {10.1007/s11416-007-0077-6}, url = {http://dx.doi.org/10.1007/s11416-007-0077-6}, researchr = {https://researchr.org/publication/MoralesCDK08}, cites = {0}, citedby = {0}, journal = {Journal in Computer Virology}, volume = {4}, number = {3}, pages = {221-234}, } @article{ClarkeDBM06, title = {A Tool to Automatically Map Implementation-based Testing Techniques to Classes}, author = {Peter J. Clarke and Junhua Ding and Djuradj Babich and Brian A. Malloy}, year = {2006}, doi = {10.1142/S0218194006002884}, url = {http://dx.doi.org/10.1142/S0218194006002884}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/ClarkeDBM06}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {16}, number = {4}, pages = {585-614}, } @inproceedings{WhittakerACE08, title = {Optimizing Secure Collaboration Transactions for Modern Information Systems}, author = {Richard Whittaker and Gonzalo Argote-Garcia and Peter J. Clarke and Raimund K. Ege}, year = {2008}, doi = {10.1109/ICONS.2008.72}, url = {http://doi.ieeecomputersociety.org/10.1109/ICONS.2008.72}, tags = {optimization}, researchr = {https://researchr.org/publication/WhittakerACE08}, cites = {0}, citedby = {0}, pages = {62-68}, booktitle = {The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico}, publisher = {IEEE Computer Society}, } @inproceedings{ClarkeM04, title = {Using a taxonomy to analyze classes during implementation-based testing}, author = {Peter J. Clarke and Brian A. Malloy}, year = {2004}, tags = {rule-based, testing, taxonomy}, researchr = {https://researchr.org/publication/ClarkeM04}, cites = {0}, citedby = {0}, pages = {288-293}, booktitle = {Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA}, editor = {M. H. Hamza}, publisher = {IASTED/ACTA Press}, isbn = {0-88986-425-X}, } @inproceedings{ClarkeMG03, title = {Using a Taxonomy Tool to Identify Changes in OO Softwar}, author = {Peter J. Clarke and Brian A. Malloy and J. Paul Gibson}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/csmr/2003/1902/00/19020213abs.htm}, tags = {taxonomy}, researchr = {https://researchr.org/publication/ClarkeMG03}, cites = {0}, citedby = {0}, pages = {213-222}, booktitle = {7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings}, publisher = {IEEE Computer Society}, isbn = {0-7695-1902-4}, } @inproceedings{ClarkeDM05, title = {A Tool to Map Testing Techniques to Classes}, author = {Peter J. Clarke and Junhua Ding and Brian A. Malloy}, year = {2005}, doi = {10.1109/ITCC.2005.47}, url = {http://dx.doi.org/10.1109/ITCC.2005.47}, tags = {testing}, researchr = {https://researchr.org/publication/ClarkeDM05}, cites = {0}, citedby = {0}, pages = {821-822}, booktitle = {International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA}, publisher = {IEEE Computer Society}, } @inproceedings{BabichCC06, title = {TaxTOOLJ: A Tool to Catalog Java Classes}, author = {Djuradj Babich and Kayan Chiu and Peter J. Clarke}, year = {2006}, tags = {Java}, researchr = {https://researchr.org/publication/BabichCC06}, cites = {0}, citedby = {0}, pages = {375-380}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, isbn = {1-891706-18-7}, } @inproceedings{DingXDCH05, title = {Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models}, author = {Junhua Ding and Dianxiang Xu and Yi Deng and Peter J. Clarke and Xudong He}, year = {2005}, tags = {rule-based, agent based modeling, design, mobile}, researchr = {https://researchr.org/publication/DingXDCH05}, cites = {0}, citedby = {0}, pages = {560-565}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, isbn = {1-891706-16-0}, } @inproceedings{KingRCQ08, title = {A reusable object-oriented design to support self-testable autonomic software}, author = {Tariq M. King and Alain E. Ramirez and Peter J. Clarke and Barbara Quinones-Morales}, year = {2008}, doi = {10.1145/1363686.1364081}, url = {http://doi.acm.org/10.1145/1363686.1364081}, tags = {testing, reuse, design}, researchr = {https://researchr.org/publication/KingRCQ08}, cites = {0}, citedby = {0}, pages = {1664-1669}, booktitle = {Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, editor = {Roger L. Wainwright and Hisham Haddad}, publisher = {ACM}, isbn = {978-1-59593-753-7}, } @article{KingRCC07, title = {An Integrated Self-Testing Framework for Autonomic Computing Systems}, author = {Tariq M. King and Alain E. Ramirez and Rodolfo Cruz and Peter J. Clarke}, year = {2007}, url = {http://www.academypublisher.com/jcp/vol02/no09/jcp02093749.html}, tags = {testing}, researchr = {https://researchr.org/publication/KingRCC07}, cites = {0}, citedby = {0}, journal = {JCP}, volume = {2}, number = {9}, pages = {37-49}, } @article{ClarkeM05, title = {A Taxonomy of OO Classes to Support the Mapping of Testing Techniques to a Class}, author = {Peter J. Clarke and Brian A. Malloy}, year = {2005}, url = {http://www.jot.fm/issues/issue_2005_07/article2}, tags = {testing, taxonomy}, researchr = {https://researchr.org/publication/ClarkeM05}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {4}, number = {5}, pages = {95-115}, }