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: "Technique et Science Informatiques" 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 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China" publisher: "IEEE Computer Society" isbn: "0-8186-8551-4" 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: "The Second International Conference on Future Generation Communication and Networking, FGCN 2008, Volume 2, Workshops, Hainan Island, China, December 13-15, 2008" publisher: "IEEE Computer Society" isbn: "978-0-7695-3431-2" 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: "Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006" editor: - name: "Elie Najm" link: "https://researchr.org/alias/elie-najm" - name: "Jean-François Pradat-Peyre" link: "https://researchr.org/alias/jean-fran%C3%A7ois-pradat-peyre" - name: "Véronique Donzeau-Gouge" link: "https://researchr.org/alias/v%C3%A9ronique-donzeau-gouge" volume: "4229" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-46219-8" 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: "31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China" publisher: "IEEE Computer Society" isbn: "978-0-7695-2870-0" 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" address: "Washington, DC, USA" publisher: "IEEE Computer Society" isbn: "978-0-7695-3431-2" 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: "Electronic Notes in Theoretical Computer Science" 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: "31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China" publisher: "IEEE Computer Society" isbn: "978-0-7695-2870-0" 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: "Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2006), 29-31 August 2006, Windsor, United Kingdom" editor: - name: "Phil McMinn" link: "https://researchr.org/alias/phil-mcminn" publisher: "IEEE Computer Society" isbn: "0-7695-2672-1" 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: "Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings" editor: - name: "Alexandre Petrenko" link: "https://researchr.org/alias/alexandre-petrenko" - name: "Margus Veanes" link: "https://researchr.org/alias/margus-veanes" - name: "Jan Tretmans" link: "https://researchr.org/alias/jan-tretmans" - name: "Wolfgang Grieskamp" link: "https://researchr.org/alias/wolfgang-grieskamp" volume: "4581" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73065-1" 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: "Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings" editor: - name: "Ferhat Khendek" link: "https://researchr.org/alias/ferhat-khendek" - name: "Rachida Dssouli" link: "https://researchr.org/alias/rachida-dssouli" volume: "3502" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26054-4" 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: "Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings" editor: - name: "Kenji Suzuki" link: "https://researchr.org/alias/kenji-suzuki" - name: "Teruo Higashino" link: "https://researchr.org/alias/teruo-higashino" - name: "Andreas Ulrich" link: "https://researchr.org/alias/andreas-ulrich" - name: "Toru Hasegawa" link: "https://researchr.org/alias/toru-hasegawa" volume: "5047" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-68514-2" 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: "Electronic Notes in Theoretical Computer Science" volume: "244" kind: "article" key: "DBLP:journals-entcs-BusnelKLSZ09"