Test synthesis from UML models of distributed software S Pickin, C Jard, T Jéron, JM Jézéquel, Y Le Traon IEEE Transactions on Software Engineering 33 (4), 252-269, 2007 | 67 | 2007 |
Formalisation of a user view of network and services for feature interaction detection. P Combes, S Pickin FIW, 120-135, 1994 | 66 | 1994 |
System test synthesis from UML models of distributed software S Pickin, C Jard, Y Le Traon, T Jéron, J Jean-Marc, A Le Guennec International Conference on Formal Techniques for Networked and Distributed …, 2002 | 52 | 2002 |
Automated requirements-based generation of test cases for product families C Nebut, S Pickin, Y Le Traon, JM Jézéquel 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 48 | 2003 |
A uml-integrated test description language for component testing S Pickin, C Jard, T Heuillard, JM Jézéquel, P Desfray Lecture Notes in Informatics (LNI), 2001 | 25 | 2001 |
One million (LOC) and counting: Static analysis for errors and vulnerabilities in the Linux kernel source code PT Breuer, S Pickin International Conference on Reliable Software Technologies, 56-70, 2006 | 24 | 2006 |
Using UML sequence diagrams as the basis for a formal test description language S Pickin, JM Jézéquel International Conference on Integrated Formal Methods, 481-500, 2004 | 23 | 2004 |
An inclusive and sustainable artificial intelligence strategy for europe based on human rights C Fernández-Aller, AF de Velasco, Á Manjarrés, D Pastor-Escuredo, ... IEEE Technology and Society Magazine 40 (1), 46-54, 2021 | 22 | 2021 |
Reusable test requirements for UML-modeled product lines C Nebut, S Pickin, Y Le Traon, JM Jézéquel Proc. of the Intl. Workshop on Requirements Engineering for Product Lines, 51-56, 2002 | 22 | 2002 |
Virtu@ l-ApS: technological support for virtual service-learning Á Manjarrés Riesco, SJ Pickin, HA Meana, N Rodríguez Fernández RIED. Revista iberoamericana de educación a distancia, 2020 | 18 | 2020 |
Symbolic approximation: an approach to verification in the large PT Breuer, S Pickin Innovations in Systems and Software Engineering 2 (3), 147-163, 2006 | 16 | 2006 |
Detecting deadlock, double-free and other abuses in a million lines of linux kernel source PT Breuer, S Pickin, ML Petrie 2006 30th Annual IEEE/NASA Software Engineering Workshop, 223-233, 2006 | 16 | 2006 |
Checking for deadlock, double-free and other abuses in the linux kernel source code PT Breuer, S Pickin Computational Science–ICCS 2006: 6th International Conference, Reading, UK …, 2006 | 12 | 2006 |
AI4Eq: for a true global village not for global pillage A Manjarrés, S Pickin, MA Artaso, E Gibbons IEEE Technology and Society Magazine 40 (1), 31-45, 2021 | 11 | 2021 |
COTE–Component Testing using the Unified Modelling Language C Jard, S Pickin ERCIM News, 49-50, 2002 | 11 | 2002 |
Knowledge model reuse: therapy decision through specialisation of a generic decision model Á Manjarrés, S Pickin, J Mira Expert Systems with Applications 23 (2), 113-135, 2002 | 10 | 2002 |
MSCs to express service requirements as properties on a SDL model: application to service interaction detection P Combes, S Pickin, B Renard, F Olsen SDL'95 with MSC in Case, 243-256, 1995 | 10 | 1995 |
Formalization of a User View of Network and Services for Feature Interaction Detection. Feature Interactions in Telecommunications Systems. Eds. L. G. Bouma and H. Velthuijsen P Combes, S Pickin IOS Press, 1994 | 9 | 1994 |
Processor rescue: Safe coding for hardware aliasing PT Breuer, JP Bowen, S Pickin Intelligent Software Methodologies, Tools and Techniques: 14th International …, 2015 | 8 | 2015 |
Abstract Interpretation meets Model Checking near the 106 LOC mark PT Breuer, S Pickin Proc 5th International Workshop on Automated Verification of Infinite-State …, 2006 | 8 | 2006 |