publications: - title: "Extraction de modèles paramétrés au cours du test de composants logiciels" author: - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" year: "2008" doi: "http://tsi.revuesonline.com/article.jsp?articleId=12368" links: doi: "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" kind: "article" key: "GrozSL08" - title: "An Overview of JB (Jade Bird) Component Library System JBCL" author: - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Lifeng Guo" link: "https://researchr.org/alias/lifeng-guo" - name: "Hong Mei" link: "https://researchr.org/alias/hong-mei" - name: "Fuqing Yang" link: "https://researchr.org/alias/fuqing-yang" year: "1997" doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713545" links: doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713545" researchr: "https://researchr.org/publication/LiGMY97" cites: 0 citedby: 0 pages: "206-213" booktitle: "TOOLS" kind: "inproceedings" key: "LiGMY97" - title: "Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes" author: - name: "Pierre Busnel" link: "https://researchr.org/alias/pierre-busnel" - name: "Paul El Khoury" link: "https://researchr.org/alias/paul-el-khoury" - name: "Sylvain Giroux" link: "https://researchr.org/alias/sylvain-giroux" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/FGCN.2008.227" links: doi: "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" kind: "inproceedings" key: "BusnelKGL08" - title: "Integration Testing of Distributed Components Based on Learning Parameterized I/O Models" author: - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" year: "2006" doi: "http://dx.doi.org/10.1007/11888116_31" links: doi: "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" kind: "inproceedings" key: "LiGS06:2" - title: "Learning Parameterized State Machine Model for Integration Testing" author: - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.134" links: doi: "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" kind: "inproceedings" key: "ShahbazLG07" - title: "Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes" author: - name: "Busnel, Pierre" link: "https://researchr.org/alias/busnel%2C-pierre" - name: "El-Khoury, Paul" link: "https://researchr.org/alias/el-khoury%2C-paul" - name: "Giroux, Sylvain" link: "https://researchr.org/alias/giroux%2C-sylvain" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" year: "2008" doi: "http://dx.doi.org/10.1109/FGCN.2008.227" links: doi: "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" kind: "inproceedings" key: "1489470" - title: "S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System" author: - name: "Pierre Busnel" link: "https://researchr.org/alias/pierre-busnel" - name: "Paul El Khoury" link: "https://researchr.org/alias/paul-el-khoury" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Ayda Saïdane" link: "https://researchr.org/alias/ayda-sa%C3%A3%C2%AFdane" - name: "Nicola Zannone" link: "https://researchr.org/alias/nicola-zannone" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.036" links: doi: "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" kind: "article" key: "BusnelKLSZ09" - title: "Test Generation from Security Policies Specified in Or-BAC" author: - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Laurent Mounier" link: "https://researchr.org/alias/laurent-mounier" - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.210" links: doi: "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" kind: "inproceedings" key: "LiMG07:0" - title: "Integration Testing of Components Guided by Incremental State Machine Learning" author: - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.15" links: doi: "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" kind: "inproceedings" key: "LiGS06:1" - title: "Learning and Integration of Parameterized Components Through Testing" author: - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73066-8_22" links: doi: "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" kind: "inproceedings" key: "ShahbazLG07:0" - title: "Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms" author: - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "David Lee" link: "https://researchr.org/alias/david-lee" year: "2005" doi: "http://dx.doi.org/10.1007/11430230_18" links: doi: "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" kind: "inproceedings" key: "LiL05a:1" - title: "Modular System Verification by Inference, Testing and Reachability Analysis" author: - name: "Roland Groz" link: "https://researchr.org/alias/roland-groz" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Alexandre Petrenko" link: "https://researchr.org/alias/alexandre-petrenko" - name: "Muzammil Shahbaz" link: "https://researchr.org/alias/muzammil-shahbaz" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-68524-1_16" links: doi: "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" kind: "inproceedings" key: "GrozLPS08" - title: "S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System" author: - name: "Pierre Busnel" link: "https://researchr.org/alias/pierre-busnel" - name: "Paul El Khoury" link: "https://researchr.org/alias/paul-el-khoury" - name: "Keqin Li" link: "http://member.acm.org/~keqinli" - name: "Ayda Saidane" link: "https://researchr.org/alias/ayda-saidane" - name: "Nicola Zannone" link: "https://researchr.org/alias/nicola-zannone" year: "2009" tags: - "deployment" researchr: "https://researchr.org/publication/DBLP%3Ajournals-entcs-BusnelKLSZ09" cites: 0 citedby: 0 journal: "ENTCS" volume: "244" kind: "article" key: "DBLP:journals-entcs-BusnelKLSZ09"