@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 = {seke}, } @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 = {cic}, } @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 = {icons}, } @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 = {sera}, } @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 = {jss}, 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 = {seke}, } @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 = {hikm}, } @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 = {compsac}, } @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 = {jss}, 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 = {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 = {issre}, } @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 = {jss}, 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}, } @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 = {setp}, } @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 = {ipps}, } @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 = {compsac}, } @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 = {icons}, } @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 = {mags}, 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 = {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 = {ijseke}, 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 = {icons}, } @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 = {iastedSEA}, } @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 = {CSMR}, } @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 = {itcc}, } @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 = {seke}, } @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 = {seke}, } @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 = {SAC}, } @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 = {jot}, volume = {4}, number = {5}, pages = {95-115}, }