@article{GrozSL08, title = {Extraction de modèles paramétrés au cours du test de composants logiciels}, author = {Roland Groz and Muzammil Shahbaz and Keqin Li}, year = {2008}, url = {http://tsi.revuesonline.com/article.jsp?articleId=12368}, tags = {testing}, researchr = {https://researchr.org/publication/GrozSL08}, cites = {0}, citedby = {0}, journal = {tsi}, volume = {27}, number = {8}, pages = {977-1006}, } @inproceedings{LiGMY97, title = {An Overview of JB (Jade Bird) Component Library System JBCL}, author = {Keqin Li and Lifeng Guo and Hong Mei and Fuqing Yang}, year = {1997}, doi = {10.1109/TOOLS.1997.713545}, url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713545}, researchr = {https://researchr.org/publication/LiGMY97}, cites = {0}, citedby = {0}, pages = {206-213}, booktitle = {TOOLS}, } @inproceedings{BusnelKGL08, title = {Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes}, author = {Pierre Busnel and Paul El Khoury and Sylvain Giroux and Keqin Li}, year = {2008}, doi = {10.1109/FGCN.2008.227}, url = {http://doi.ieeecomputersociety.org/10.1109/FGCN.2008.227}, tags = {security}, researchr = {https://researchr.org/publication/BusnelKGL08}, cites = {0}, citedby = {0}, pages = {447-452}, booktitle = {fgcn}, } @inproceedings{LiGS06:2, title = {Integration Testing of Distributed Components Based on Learning Parameterized I/O Models}, author = {Keqin Li and Roland Groz and Muzammil Shahbaz}, year = {2006}, doi = {10.1007/11888116_31}, url = {http://dx.doi.org/10.1007/11888116_31}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/LiGS06%3A2}, cites = {0}, citedby = {0}, pages = {436-450}, booktitle = {forte}, } @inproceedings{ShahbazLG07, title = {Learning Parameterized State Machine Model for Integration Testing}, author = {Muzammil Shahbaz and Keqin Li and Roland Groz}, year = {2007}, doi = {10.1109/COMPSAC.2007.134}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.134}, tags = {machine learning, testing, state machines}, researchr = {https://researchr.org/publication/ShahbazLG07}, cites = {0}, citedby = {0}, pages = {755-760}, booktitle = {compsac}, } @inproceedings{1489470, title = {Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes}, author = {Busnel, Pierre and El-Khoury, Paul and Giroux, Sylvain and Keqin Li}, year = {2008}, doi = {10.1109/FGCN.2008.227}, url = {http://dx.doi.org/10.1109/FGCN.2008.227}, tags = {security}, researchr = {https://researchr.org/publication/1489470}, cites = {0}, citedby = {0}, booktitle = {FGCN '08: Proceedings of the 2008 Second International Conference on Future Generation Communication and Networking}, } @article{BusnelKLSZ09, title = {S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System}, author = {Pierre Busnel and Paul El Khoury and Keqin Li and Ayda Saïdane and Nicola Zannone}, year = {2009}, doi = {10.1016/j.entcs.2009.07.036}, url = {http://dx.doi.org/10.1016/j.entcs.2009.07.036}, tags = {deployment}, researchr = {https://researchr.org/publication/BusnelKLSZ09}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {244}, pages = {27-39}, } @inproceedings{LiMG07:0, title = {Test Generation from Security Policies Specified in Or-BAC}, author = {Keqin Li and Laurent Mounier and Roland Groz}, year = {2007}, doi = {10.1109/COMPSAC.2007.210}, url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.210}, tags = {testing, security}, researchr = {https://researchr.org/publication/LiMG07%3A0}, cites = {0}, citedby = {0}, pages = {255-260}, booktitle = {compsac}, } @inproceedings{LiGS06:1, title = {Integration Testing of Components Guided by Incremental State Machine Learning}, author = {Keqin Li and Roland Groz and Muzammil Shahbaz}, year = {2006}, doi = {10.1109/TAIC-PART.2006.15}, url = {http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.15}, tags = {machine learning, testing, state machines, incremental}, researchr = {https://researchr.org/publication/LiGS06%3A1}, cites = {0}, citedby = {0}, pages = {59-70}, booktitle = {taicpart}, } @inproceedings{ShahbazLG07:0, title = {Learning and Integration of Parameterized Components Through Testing}, author = {Muzammil Shahbaz and Keqin Li and Roland Groz}, year = {2007}, doi = {10.1007/978-3-540-73066-8_22}, url = {http://dx.doi.org/10.1007/978-3-540-73066-8_22}, tags = {testing}, researchr = {https://researchr.org/publication/ShahbazLG07%3A0}, cites = {0}, citedby = {0}, pages = {319-334}, booktitle = {pts}, } @inproceedings{LiL05a:1, title = {Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms}, author = {Keqin Li and David Lee}, year = {2005}, doi = {10.1007/11430230_18}, url = {http://dx.doi.org/10.1007/11430230_18}, tags = {testing}, researchr = {https://researchr.org/publication/LiL05a%3A1}, cites = {0}, citedby = {0}, pages = {258-274}, booktitle = {pts}, } @inproceedings{GrozLPS08, title = {Modular System Verification by Inference, Testing and Reachability Analysis}, author = {Roland Groz and Keqin Li and Alexandre Petrenko and Muzammil Shahbaz}, year = {2008}, doi = {10.1007/978-3-540-68524-1_16}, url = {http://dx.doi.org/10.1007/978-3-540-68524-1_16}, tags = {testing, analysis}, researchr = {https://researchr.org/publication/GrozLPS08}, cites = {0}, citedby = {0}, pages = {216-233}, booktitle = {pts}, } @article{DBLP:journals-entcs-BusnelKLSZ09, title = {S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System}, author = {Pierre Busnel and Paul El Khoury and Keqin Li and Ayda Saidane and Nicola Zannone}, year = {2009}, tags = {deployment}, researchr = {https://researchr.org/publication/DBLP%3Ajournals-entcs-BusnelKLSZ09}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {244}, }