Security Design and Validation Research Group
Forschungsziele
SERVAL conducts research on software engineering, and more specifically on modelling and design for security, as well as on validation of functional/security mechanisms for systems and software. Among the issues addressed by the group, we can mention (1) the use of Model Driven Engineering for designing secure systems, (2) model composition and aspect weaving to develop adaptive security and testable mechanisms, (3) the definition of security policies and dedicated testing techniques (mutation, evolutionary algorithms, static analysis) to ensure that functional and security mechanisms (privacy, access control, usage control, encryption) are correctly implemented and deployed. The domains of application concern Ambient Assisted Living using sensor networks, information systems, distributed systems, web-applications, SOA, mobile apps.
Research topics include:
- Model Driven Engineering
- Android Security
- Software Testing
- Access Control
- Conviviality vs Privacy
Leiter
Senior Research Scientist
Research Scientist
Forscher
Doktorand
Past Members
Laufende Forschungsprojekte
STELLAR - teSTing sELf-LeARning systems
Zeitrahmen: 1. September 2019 - 31. August 2022
Finanzierung: FNR - CORE
Teilnehmer: LE TRAON, Yves (Projektleiter), CORDY, Maxime (Forscher), PAPADAKIS, Mike (Forscher)
Beschreibung:
Self-learning software systems (SLS) are integrated into a variety of domains ranging from safety-critical applications (autonomous cars and healthcare) to business-critical applications (finance, smart factories). Engineering such systems, however, is still a new practice, often not well-understood by engineers, and thus errorprone. It is therefore essential to provide engineers with …
In Press
- A Formal Framework of Software Product Line Analyses, Castro Thiago, Teixeira Leopoldo, Alves Vander, Apel Sven, Cordy Maxime, Gheyi Rohit. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
- Killing Stubborn Mutants with Symbolic Execution, Titcheu Chekam Thierry, Papadakis Mike, Cordy Maxime, Le Traon Yves. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
- Selecting Fault Revealing Mutants, Titcheu Chekam Thierry, Papadakis Mike, Bissyande Tegawendé François D Assise, Le Traon Yves, Sen Koushik. In: Empirical Software Engineering, Springer.
- Test Selection for Deep Learning Systems, Ma Wei, Papadakis Mike, Tsakmalis Anestis, Cordy Maxime, Le Traon Yves. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
Journal Article
2021
- A critical review on the evaluation of automated program repair systems, Kui Liu, Li Li, Koyuncu Anil, Dongsun Kim, Liu Zhe, Klein Jacques, Bissyande Tegawendé François D Assise. In: Journal of Systems and Software, Elsevier.
- A First Look at Android Applications in Google Play related to Covid-19, Samhi Jordan, Allix Kevin, Bissyande Tegawendé François D Assise, Klein Jacques. In: Empirical Software Engineering, Kluwer Academic Publishers.
Journal Article
- MuDelta: Delta-Oriented Mutation Testing at Commit Time, Ma Wei, Thierry Titcheu Chekam, Papadakis Mike, Harman Mark. In: International Conference on Software Engineering (ICSE).
- RAICC: Revealing Atypical Inter-Component Communication in Android Apps, Samhi Jordan, Bartel Alexandre, Bissyande Tegawendé François D Assise, Klein Jacques, Samhi Jordan (Author), Bartel Alexandre (Author), Bissyande Tegawendé François D Assise (Author), Klein Jacques (Author). In: RAICC: Revealing Atypical Inter-Component Communication in Android Apps.
Conference Paper
- Mining App Lineages: A Security Perspective, Gao Jun, Jury: Klein Jacques (Promotor), Bissyande Tegawendé François D Assise (President), li li (President), Scandariato Riccardo (Member), Sabetta Antonino (Member).
- Taming Android App Crashes, Kong Pingfan, Jury: Klein Jacques (Promotor), Bissyande Tegawendé François D Assise (President), Li Li (President), Leonardo Mariani (Member), Ting Su (Member).
Thesis
2020
- A Case Driven Study of the Use of Time Series Classification for Flexibility in Industry 4.0, Polge Julien, Robert Jérémy, Le Traon Yves. In: Sensors, Multidisciplinary Digital Publishing Institute (MDPI).
- CDA: Characterising Deprecated Android APIs, li li, Gao Jun, Bissyande Tegawendé François D Assise, Ma Lei, Xia Xin, Klein Jacques. In: Empirical Software Engineering, Kluwer Academic Publishers.
- Enhanced Lightning Network (off-chain)-based micropayment in IoT ecosystems, Robert Jérémy, Kubler Sylvain, Ghatpande Sankalp. In: Future Generation Computer Systems, Elsevier.
- FixMiner: Mining relevant fix patterns for automated program repair, Koyuncu Anil, Liu Kui, Bissyande Tegawendé François D Assise, Kim Dongsun, Klein Jacques, Monperrus Martin, Le Traon Yves. In: Empirical Software Engineering, Kluwer Academic Publishers.
- IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications, Javed Asad, Robert Jérémy, Heljanko Keijo, Främling Kary. In: Journal of Grid Computing, Kluwer Academic Publishers.
- Permissioned Blockchain Frameworks in the Industry: A Comparison, Polge Julien, Robert Jérémy, Le Traon Yves. In: ICT Express, Elsevier.
- Selecting fault revealing mutants, Titcheu Chekam Thierry, Papadakis Mike, Bissyande Tegawendé François D Assise, Le Traon Yves, Sen Koushik. In: Empirical Software Engineering.
- Understanding the Evolution of Android App Vulnerabilities, Gao Jun, li li, Bissyande Tegawendé François D Assise, Klein Jacques. In: IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers.
Journal Article
- Automatic Testing and Improvement of Machine Translation, Sun Zeyu, Zhang Jie, Harman Mark, Papadakis Mike, Zhang Lu. In: International Conference on Software Engineering (ICSE).
- Borrowing your enemy's arrows: the case of code reuse in android via direct inter-app code invocation, Gao Jun, li li, Kong Pingfan, Bissyande Tegawendé François D Assise, Klein Jacques. In: ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Association for Computing Machinery.
- Challenges Towards Production-Ready Explainable Machine Learning, Veiber Lisa, Allix Kevin, Arslan Yusuf, Bissyande Tegawendé François D Assise, Klein Jacques, Veiber Lisa (Author), Allix Kevin (Author), Arslan Yusuf (Author), Bissyande Tegawendé François D Assise (Author), Klein Jacques (Author). In: Proceedings of the 2020 USENIX Conference on Operational Machine Learning (OpML 20), USENIX Association.
- Commit-Aware Mutation Testing, Ma Wei, Laurent Thomas, Ojdanić Miloš, Titcheu Chekam Thierry, Ventresque Anthony, Papadakis Mike. In: IEEE International Conference on Software Maintenance and Evolution (ICSME).
- Data-driven simulation and optimization for covid-19 exit strategies, Ghamizi Salah, Rwemalika Renaud, Cordy Maxime, Veiber Lisa, Bissyande Tegawendé François D Assise, Papadakis Mike, Klein Jacques, Le Traon Yves, Ghamizi Salah (Author), Rwemalika Renaud (Author), Cordy Maxime (Author), Veiber Lisa (Author), Bissyande Tegawendé François D Assise (Author), Papadakis Mike (Author), Klein Jacques (Author), Le Traon Yves (Author). In: Data-driven simulation and optimization for covid-19 exit strategies, Association for Computing Machinery.
- Evaluating Pretrained Transformer-based Models on the Task of Fine-Grained Named Entity Recognition, Lothritz Cedric, Allix Kevin, Veiber Lisa, Klein Jacques, Bissyande Tegawendé François D Assise. In: Proceedings of the 28th International Conference on Computational Linguistics.
- Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair, Tian Haoye, Liu Kui, Kaboreé Abdoul Kader, Koyuncu Anil, Li Li, Klein Jacques, Bissyandé Tegawendé F., Tian Haoye (Author). In: 35th IEEE/ACM International Conference on Automated Software Engineering, September 21-25, 2020, Melbourne, Australia.
- FeatureNET: Diversity-driven Generation of Deep Learning Models, Ghamizi Salah, Cordy Maxime, Papadakis Mike, Le Traon Yves. In: International Conference on Software Engineering (ICSE).
- Knowledgezooclient: Constructing knowledge graph for android, Li Li, Gao Jun, Kong Pingfan, Wang Haoyu, Huang Mengyu, Li Yuanfang, Bissyande Tegawendé François D Assise. In: The 3rd International Workshop on Advances in Mobile App Analysis.
- Load approximation for uncertain topologies in the low-voltage grid, Mouline Ludovic, Cordy Maxime, Le Traon Yves. In: INTERNATIONAL CONFERENCE ON SMART GRID COMMUNICATIONS, 11-13 November 2020.
- LOVBench: Ontology Ranking Benchmark, Kolbe Niklas, Vandenbussche Pierre-Yves, Kubler Sylvain, Le Traon Yves. In: Proceedings of The Web Conference 2020 (WWW '20).
- MadDroid: Characterizing and Detecting Devious Ad Contents for Android Apps, Liu Tianming, Wang Haoyu, Li Li, Luo Xiapu, Dong Feng, Guo Yao, Wang Liu, Bissyande Tegawendé François D Assise, Klein Jacques. In: Proceedings of The Web Conference 2020, Association for Computing Machinery.
- Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework, Titcheu Chekam Thierry, Papadakis Mike, Le Traon Yves. In: ACM/IEEE International Conference on Automation of Software Test (AST) 2020.
- On the Efficiency of Test Suite based Program Repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs, Liu Kui, Wang Shangwen, Koyuncu Anil, Kim Kisub, Bissyande Tegawendé François D Assise, Kim Dongsun, Wu Peng, Klein Jacques, Mao Xiaoguang, Le Traon Yves. In: 42nd ACM/IEEE International Conference on Software Engineering (ICSE).
- Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach, Antoniadis Nikolaos, Cordy Maxime, Sifaleras Angelo, Le Traon Yves. In: Communications in Computer and Information Science, Springer, Cham.
- Search-based adversarial testing and improvement of constrained credit scoring systems, Ghamizi Salah, Cordy Maxime, Gubri Martin, Papadakis Mike, Boystov Andrey, Le Traon Yves, Goujon Anne. In: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '20), November 8-13, 2020.
- Statistical Model Checking for Variability-Intensive Systems, Cordy Maxime, Papadakis Mike, Legay Axel. In: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, Dublin 22-25 April 2020.
- Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing, Basile Davide, Ter Beek Maurice, Cordy Maxime, Legay Axel. In: SOFTWARE PRODUCT LINE CONFERENCE.
Conference Paper
- A Formal Approach to Ontology Recommendation for Enhanced Interoperability in Open IoT Ecosystems, Kolbe Niklas, Jury: Le Traon Yves (Promotor), Theobald Martin (President), Barnaghi Payam (Member), Kubler Sylvain (Member), Zaslavsky Arkady (Member).
- AN NLP-BASED FRAMEWORK TO FACILITATE THE DERIVATION OF LEGAL REQUIREMENTS FROM LEGAL TEXTS, Sleimi Amin, Jury: Sabetzadeh Mehrdad (Promotor), Briand Lionel (Promotor), Klein Jacques (President), Horkoff Jennifer (Member), Breaux Travis (Member).
- Boosting Automated Program Repair for Adoption By Practitioners, Koyuncu Anil, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Bissyande Tegawendé François D Assise (Member), Barr Earl (Member), Pradel Michael (Member).
- Instruction Coverage for Android App Testing and Tuning, Pilgun Aleksandr, Jury: Mauw Sjouke (Promotor), Le Traon Yves (President), Gadyatskaya Olga (Member), Bouvry Pascal (Member), Liu Yang (Member).
Thesis
2019
- Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine Learning Techniques for Software Quality Evaluation, Arcelli Francesca, Walter Bartosz, Ampatzoglou Apostolos, Palomba Fabio, Perrouin Gilles, Acher Mathieu, Cordy Maxime, Devroey Xavier, ACM.
Book
- Mutation Testing Advances: An Analysis and Survey, Papadakis Mike, Kintis Marinos, Zhang Jie, Jia Yue, Le Traon Yves, Harman Mark. In: Advances in Computers, Elsevier.
Book Chapter
- Empirical Evaluation of Mutation-based Test Prioritization Techniques, Shin Donghwan, Yoo Shin, Papadakis Mike, Bae Doo-Hwan. In: Software Testing, Verification and Reliability, John Wiley & Sons.
- Linked Vocabulary Recommendation Tools for Internet of Things: A Survey, Kolbe Niklas, Kubler Sylvain, Robert Jérémy, Le Traon Yves, Zaslavsky Arkady. In: ACM Computing Surveys, Association for Computing Machinery (ACM).
- MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks, Bartel Alexandre, Klein Jacques, Le Traon Yves. In: IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers.
- On Identifying and Explaining Similarities in Android Apps, Li Li, Bissyande Tegawendé François D Assise, Wang Haoyu, Klein Jacques. In: Journal of Computer Science and Technology, Springer.
- Rebooting Research on Detecting Repackaged Android Apps: Literature Review and Benchmark, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques. In: IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers.
- Revisiting the impact of common libraries for android-related investigations, Li Li, Riom Timothée, Bissyande Tegawendé François D Assise, Wang Haoyu, Klein Jacques, Le Traon Yves. In: Journal of Systems and Software, Elsevier.
- Selecting fault revealing mutants, Titcheu Chekam Thierry, Papadakis Mike, Bissyande Tegawendé François D Assise, Le Traon Yves, Sen Koushik. In: Empirical Software Engineering, Springer.
- Verification and abstraction of real-time variability-intensive systems, Cordy Maxime, Legay Axel. In: International Journal on Software Tools for Technology Transfer, Springer.
- Watch out for This Commit! A Study of Influential Software Changes, Li Daoyuan, Li Li, Kim Dongsun, Bissyande Tegawendé François D Assise, Lo David, Le Traon Yves. In: Journal of Software: Evolution and Process, John Wiley and Sons.
Journal Article
- Access Time Improvement Framework for Standardized IoT Gateways, Javed Asad, Yousefnezhad Narges, Robert Jérémy, Heljanko Keijo, Främling Kary. In: Proceedings of IEEE International Conference on Pervasive Computing and Communications.
- ACMiner: Extraction and Analysis of Authorization Checks inAndroid’s Middleware, Gorski III Sigmund Albert, Andow Benjamin, Nadkarni Adwait, Manandhar Sunil, Enck William, Bodden Eric, Bartel Alexandre, ACM.
- A Decade of Featured Transition Systems, Cordy Maxime, Devroey Xavier, Legay Axel, Perrouin Gilles, Classen Andreas, Heymans Patrick, Schobbens Pierre-Yves, Raskin Jean-François. In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday.
- An Empirical Study on Vulnerability Prediction of Open-Source Software Releases, Jimenez Matthieu, Rwemalika Renaud, Papadakis Mike, Sarro Federica, Le Traon Yves, Harman Mark. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).
- An industrial study on the differences between pre-release and post-release bugs, Rwemalika Renaud, Kintis Marinos, Papadakis Mike, Le Traon Yves, Lorrach Pierre. In: Proceedings of 35th IEEE International Conference on Software Maintenance and Evolution, IEEE.
- A Replicable Comparison Study of NER Software: StanfordNLP, NLTK, OpenNLP, SpaCy, Gate, Schmitt Xavier, Kubler Sylvain, Robert Jérémy, Papadakis Mike, Le Traon Yves. In: International Conference on Social Networks Analysis, Management and Security.
- Assessing the Generalizability of code2vec Token Embeddings, Kang Hong Jin, Bissyande Tegawendé François D Assise, David Lo. In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering.
- Assessing the impact of attacks on OPC-UA applications in the Industry 4.0 era, Polge Julien, Robert Jérémy, Le Traon Yves. In: 16th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, 11-14 January 2019.
- Assessing Transition-based Test Selection Algorithms at Google, Leong Claire, Abhayendra Singh, Papadakis Mike, Le Traon Yves, Micco John. In: International Conference on Software Engineering (ICSE).
- Automated evaluation of embedded-system design alternatives, Cordy Maxime, Lazreg Sami. In: Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019.
- Automated Search for Configurations of Deep Neural Network Architectures, Ghamizi Salah, Cordy Maxime, Papadakis Mike, Le Traon Yves. In: Automated Search for Configurations of Convolutional Neural Network Architectures.
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations, Liu Kui, Koyuncu Anil, Dongsun Kim, Bissyande Tegawendé François D Assise. In: The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER-2019), IEEE.
- Handling duplicates in Dockerfiles families: Learning from experts, Oumaziz Mohamed, Falleri Jean-Rémy, Blanc Xavier, Bissyande Tegawendé François D Assise, Klein Jacques. In: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE.
- iFixR: bug report driven program repair, Koyuncu Anil, Liu Kui, Bissyande Tegawendé François D Assise, Kim Dongsun, Monperrus Martin, Klein Jacques, Le Traon Yves. In: ESEC/FSE 2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
- Learning to Spot and Refactor Inconsistent Method Names, Liu Kui, Kim Dongsun, Bissyande Tegawendé François D Assise, Kim Taeyoung, Kim Kisub, Koyuncu Anil, Kim Suntae, Le Traon Yves. In: 41st ACM/IEEE International Conference on Software Engineering (ICSE), IEEE.
- Mart: A Mutant Generation Tool for LLVM, Titcheu Chekam Thierry, Papadakis Mike, Le Traon Yves, Titcheu Chekam Thierry (Author), Papadakis Mike (Author), Le Traon Yves (Author). In: Mart: A Mutant Generation Tool for LLVM.
- Multifaceted automated analyses for variability-intensive embedded systems, Lazreg Sami, Cordy Maxime, Collet Philippe, Heymans Patrick, Mosser Sébastien. In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019.
- Negative Results on Mining Crypto-API Usage Rules in Android Apps, Gao Jun, Kong Pingfan, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques. In: Proceedings of the 16th International Conference on Mining Software Repositories.
- On the Evolution of Keyword-Driven Test Suites, Rwemalika Renaud, Kintis Marinos, Papadakis Mike, Le Traon Yves, Lorrach Pierre. In: 12th IEEE International Conference on Software Testing, Verification and Validation.
- On the Evolution of Mobile App Complexity[alt. 1], Gao Jun, Li , Bissyande Tegawendé François D Assise, Klein Jacques. In: Proceedings of 2019 24th International Conference on Engineering of Complex Computer Systems.
- Popularity-driven Ontology Ranking using Qualitative Features, Kolbe Niklas, Kubler Sylvain, Le Traon Yves. In: The Semantic Web - ISWC 2019.
- Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems, Cordy Maxime, Muller Steve, Papadakis Mike, Le Traon Yves. In: ACM SIGSOFT International Symposium on Software Testing and Analysis.
- Semantic Fuzzing with Zest, Padhye Rohan, Lemieux Caroline, Sen Koushik, Papadakis Mike, Le Traon Yves. In: ACM SIGSOFT International Symposium on Software Testing and Analysis.
- Should You Consider Adware as Malware in Your Study?, Gao Jun, Li Li, Kong Pingfan, Bissyande Tegawendé François D Assise, Klein Jacques. In: 26th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering.
- TBar: Revisiting Template-based Automated Program Repair, Liu Kui, Koyuncu Anil, Kim Dongsun, Bissyande Tegawendé François D Assise. In: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
- The Importance of Accounting for Real-World Labelling When Predicting Software Vulnerabilities, Jimenez Matthieu, Rwemalika Renaud, Papadakis Mike, Sarro Federica, Le Traon Yves, Harman Mark. In: Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).
- Towards context-aware automated writing evaluation systems, Patout Pierre-André, Cordy Maxime. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019.
- Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction, Amand Benoit, Cordy Maxime, Heymans Patrick, Acher Mathieu, Temple Paul, Jézéquel Jean-Marc. In: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019, Leuven, Belgium, February 06-08, 2019.
- Towards sampling and simulation-based analysis of featured weighted automata, Cordy Maxime, Legay Axel, Lazreg Sami, Collet Philippe. In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering.
- TRIDENT: A Three-Steps Strategy to Digitise an Industrial System for Stepping into Industry 4.0, Benedick Paul-Lou, Robert Jérémy, Le Traon Yves. In: Proceedings of 45th Annual Conference of the IEEE Industrial Electronics Society.
- Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?, Plazar Quentin, Acher Mathieu, Perrouin Gilless, Devroey Xavier, Cordy Maxime. In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019.
- You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems, Liu Kui, Koyuncu Anil, Bissyande Tegawendé François D Assise, Kim Dongsun, Klein Jacques, Le Traon Yves. In: The 12th IEEE International Conference on Software Testing, Verification and Validation (ICST-2019), IEEE.
Conference Paper
- Assessment and Improvement of the Practical Use of Mutation for Automated Software Testing, Titcheu Chekam Thierry, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Papadakis Mike (Member), Demeyer Serge (Member), Tonella Paolo (Member).
- Computational and symbolic analysis of distance-bounding protocols, Toro Pozo Jorge Luis, Jury: Mauw Sjouke (Promotor), Le Traon Yves (President), Trujillo Rasúa Rolando (Member), Boureanu Ioana (Member), Delaune Stéphanie (Member).
- Creating better ground truth to further understand Android malware: A large scale mining approach based on antivirus labels and malicious artifacts, Hurier Médéric, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Bissyande Tegawendé François D Assise (Member), Lalande Jean-François (Member), Octeau Damien (Member).
- Deep Pattern Mining for Program Repair, Liu Kui, Jury: Le Traon Yves (Promotor), Bissyande Tegawendé François D Assise (President), Kim Dongsun (Secretary), Klein Jacques (Member), Zeller Andreas (Member), Lo David (Member).
- Integrity and Confidentiality Problems of Outsourcing, Pejo Balazs, Jury: Ryan Peter (Promotor), Le Traon Yves (President), Tang Qiang (Member), Claudia Diaz (Member), Melek Onen (Member).
- MOBILITY ANALYSIS AND PROFILING FOR SMART MOBILITY SERVICES: A BIG DATA DRIVEN APPROACH. An Integration of Data Science and Travel Behaviour Analytics, Toader Bogdan, Jury: Viti Francesco (Promotor), Koenig Vincent (President), Mc Call Roderick (President), Le Traon Yves (Member), Francisco Camara Pereira (Member).
- Timing-aware Model Based Design with Application to Automotive Embedded Systems, Sundharam Sakthivel Manikandan, Jury: Navet Nicolas (Promotor), Kelsen Pierre (President), Le Traon Yves (Member), Altmeyer Sebastian (Member), Grolleau Emmanuel (Member).
- TOWARDS A MODELLING FRAMEWORK WITH TEMPORAL AND UNCERTAIN DATA FOR ADAPTIVE SYSTEMS, Mouline Ludovic, Jury: Le Traon Yves (Promotor), Barais Olivier (Promotor), Navet Nicolas (President), Wimmer Manuel (Member), Collet Philippe (Member), Bourcier Johann (Member).
Thesis
2018
- A training-resistant anomaly detection system, Muller Steve, Lancrenon Jean, Harpes Carlo, Le Traon Yves, Gombault Sylvain, Bonnin Jean-Marie. In: Computers & Security, Elsevier Ltd.
- Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search, Sirres Raphael, Bissyande Tegawendé François D Assise, Kim Dongsun, Lo David, Klein Jacques, Le Traon Yves. In: Empirical Software Engineering, Kluwer Academic Publishers.
- Automated Testing of Android Apps: A Systematic Literature Review, Kong Pingfan, Li Li, Gao Jun, Liu Kui, Bissyande Tegawendé François D Assise, Klein Jacques. In: IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers.
- Cloud Providers Viability: How to Address it from an IT and Legal Perspective?, Bartolini Cesare, El Kateb Donia, Le Traon Yves, Hagen David. In: Electron Markets, Springer.
- Comparison of metadata quality in open data portals using the Analytic Hierarchy Process, Kubler sylvain, Robert Jérémy, Neumaier Sebastian, Umbrich Jürgen, Le Traon Yves. In: Government Information Quarterly, Elsevier.
- Data Exchange Interoperability in IoT Ecosystem for Smart Parking and EV Charging, Karpenko Anastasiia, Kinnunen Tuomas, Madhikermi Manik, Robert Jérémy, Främling Kary, Dave Bhargav, Nurminen Antti. In: Sensors, Multidisciplinary Digital Publishing Institute (MDPI).
- Enabling Temporal-Aware Contexts for Adaptative Distributed Systems, Mouline Ludovic, Benelallam Amine, Hartmann Thomas, Fouquet François, Bourcier Johann, Morin Brice, Barais Olivier. In: SAC 2018: SAC 2018: Symposium on Applied Computing , April 9--13, 2018, Pau, France.
- Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants, Martinez Jabier, Ziadi Tewfik, Papadakis Mike, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: Information and Software Technology, Elsevier.
- How effective are mutation testing tools? An empirical analysis of Java mutation testing tools with manual analysis and real faults, Kintis Marinos, Papadakis Mike, Papadopoulos Andreas, Valvis Evangelos, Malevris Nicos, Le Traon Yves. In: Empirical Software Engineering, Springer Science & Business Media B.V..
- Measuring inconsistency and deriving priorities from fuzzy pairwise comparison matrices using the knowledge-based consistency index, Kubler Sylvain, Derigent William, Voisin Alexandre, Robert Jérémy, Le Traon Yves, Herrera Viedma Enrique. In: Knowledge-Based Systems, Elsevier.
- Mining Fix Patterns for FindBugs Violations, Liu Kui, Kim Dongsun, Bissyande Tegawendé François D Assise, Yoo Shin, Le Traon Yves. In: IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers.
- Model-based mutant equivalence detection using automata language equivalence and simulations, Devroey Xavier, Perrouin Gilles, Papadakis Mike, Legay Axel, Schobbens Pierre-Yves, Heymans Pattrick. In: Journal of Systems and Software, Elsevier.
- On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems, Ruan Mingkang, Titcheu Chekam Thierry, Zhai Ennan, Li Zhenhua, Liu Yao, E Jinlong, Cui Yong, Xu Hong. In: IEEE Transactions on Parallel and Distributed Systems, IEEE Xplore.
Journal Article
- A Closer Look at Real-World Patches, Liu Kui, Kim Dongsun, Koyuncu Anil, Li Li, Bissyande Tegawendé François D Assise, Le Traon Yves. In: 34th IEEE International Conference on Software Maintenance and Evolution (ICSME).
- A Hybrid Algorithm for Multi-objective Test Case Selection in Regression Testing, Delavernhe Florian, Saber Takfarinas, Papadakis Mike, Ventresque Anthony. In: IEEE CONGRESS ON EVOLUTIONARY COMPUTATION.
- A New Modelling Framework over Temporal Graphs for Collaborative Mobility Recommendation Systems, Toader Bogdan, Moawad Assaad, Fouquet François, Hartmann Thomas, Popescu Mioara, Viti Francesco. In: A New Modelling Framework over Temporal Graphs for Collaborative Mobility Recommendation Systems.
- Are mutants really natural? A study on how “naturalness” helps mutant selection, Jimenez Matthieu, Titcheu Chekam Thierry, Cordy Maxime, Papadakis Mike, Kintis Marinos, Le Traon Yves, Harman Mark. In: Proceedings of 12th International Symposium on Empirical Software Engineering and Measurement (ESEM'18).
- Are Mutation Scores Correlated with Real Fault Detection? A Large Scale Empirical study on the Relationship Between Mutants and Real Faults, Papadakis Mike, Shin Donghwan, Yoo Shin, Bae Doo-Hwan. In: 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden.
- A Temporal Model for Interactive Diagnosis of Adaptive Systems, Mouline Ludovic, Benelallam Amine, Fouquet François, Bourcier Johann, Barais Olivier, Mouline Ludovic (Author), Benelallam Amine (Author), Fouquet François (Author), Bourcier Johann (Author), Barais Olivier (Author). In: 2018 IEEE International Conference on Autonomic Computing (ICAC).
- Characterising Deprecated Android APIs, Li Li, Gao Jun, Bissyande Tegawendé François D Assise, Ma Lei, Xia Xin, Klein Jacques. In: 15th International Conference on Mining Software Repositories (MSR 2018), ACM.
- CiD: Automating the Detection of API-related Compatibility Issues in Android Apps, Li Li, Bissyande Tegawendé François D Assise, Wang Haoyu, Klein Jacques. In: International Symposium on Software Testing and Analysis (ISSTA), ACM.
- Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series, Fouquet Francois, Hartmann Thomas, Mosser Sébastien, Cordy Maxime. In: 33rd Annual ACM Symposium on Applied Computing (SAC'18).
- Enabling the Continous Analysis of Security Vulnerabilities with VulData7, Jimenez Matthieu, Le Traon Yves, Papadakis Mike. In: IEEE International Working Conference on Source Code Analysis and Manipulation.
- Extracting Statistical Graph Features for Accurate and Efficient Time Series Classification, Li Daoyuan, Lin Jessica, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: 21st International Conference on Extending Database Technology.
- FaCoY - A Code-to-Code Search Engine, Kim Kisub, Kim Dongsun, Bissyande Tegawendé François D Assise, Choi Eunjong, Li Li, Klein Jacques, Le Traon Yves. In: International Conference on Software Engineering (ICSE 2018).
- FraudDroid: Automated Ad Fraud Detection for Android Apps, Dong Feng, Wang Haoyu, Li Li, Guo Yao, Bissyande Tegawendé François D Assise, Liu Tianming, Xu Guoai, Klein Jacques. In: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018).
- LSRepair: Live Search of Fix Ingredients for Automated Program Repair, Liu Kui, Koyuncu Anil, Kim Kisub, Kim Dongsun, Bissyande Tegawendé François D Assise. In: 25th Asia-Pacific Software Engineering Conference (APSEC).
- MoonlightBox: Mining Android API Histories for Uncovering Release-time Inconsistencies, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques. In: 29th IEEE International Symposium on Software Reliability Engineering (ISSRE).
- Mutant Quality Indicators, Papadakis Mike, Titcheu Chekam Thierry, Le Traon Yves. In: 13th International Workshop on Mutation Analysis (MUTATION'18).
- O-MI/O-DF vs. MQTT: a performance analysis, Benedick Paul-Lou, Robert Jérémy, Le Traon Yves, Kubler Sylvain. In: O-MI/O-DF vs. MQTT: a performance analysis.
- Predicting the Fault Revelation Utility of Mutants, Titcheu Chekam Thierry, Papadakis Mike, Bissyande Tegawendé François D Assise, Le Traon Yves. In: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27 - 3 June 2018.
- Time to Clean Your Test Objectives, Marcozzi Michaël, Bardin Sébastien, Kosmatov Nikolai, Papadakis Mike, Prevosto Virgile, Correnson Loïc. In: 40th International Conference on Software Engineering, May 27 - 3 June 2018, Gothenburg, Sweden.
- Towards Estimating and Predicting User Perception on Software Product Variants, Martinez Jabier, Sottet Jean-Sebastien, Garcia-Frey Alfonso, Bissyande Tegawendé François D Assise, Ziadi Tewfik, Klein Jacques, Temple Paul, Mathieu Acher, Le Traon Yves. In: 17th International Conference on Software Reuse (ICSR), Springer, LNCS.
- TUNA: TUning Naturalness-based Analysis, Jimenez Matthieu, Cordy Maxime, Le Traon Yves, Papadakis Mike. In: 34th IEEE International Conference on Software Maintenance and Evolution, Madrid, Spain, 26-28 September 2018.
Conference Paper
- Engineering Smart Software Services for Intelligent Pervasive Systems, Sanchez Guinea Alejandro, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Nain Gregory (Member), Kubler Sylvain (Member), Främling Kary (Member).
- Evaluating Vulnerability Prediction Models, Jimenez Matthieu, Jury: Le Traon Yves (Promotor), Kelsen Pierre (President), Papadakis Mike (Member), Sarro Federica (Member), Blanc Xavier (Member).
- Risk Monitoring and Intrusion Detection for Industrial Control Systems, Muller Steve, Jury: Le Traon Yves (Promotor), Bonnin Jean-Marie (Promotor), Klein Jacques (President), Ludinard Romaric (Member), Viet Triem Tong Valérie (Member), Flaus Jean-Marie (Member).
- Transforming Time Series for Efficient and Accurate Classification, Li Daoyuan, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Bissyande Tegawendé François D Assise (President), Lin Jessica (Member), Geist Matthieu (Member).
Thesis
2017
- Application of Measurement-Based AHP to Product-Driven System Control, Derigent William, Voisin Alexandre, Thomas André, Kubler Sylvain, Robert Jérémy, Borangiu Theodor (Author). In: Service Orientation in Holonic and Multi-Agent Manufacturing, Springer.
Book Chapter
- Comparison of metadata quality in open data portals using the Analytic Hierarchy Process, Kubler Sylvain, Robert Jérémy, Umbrich Jürgen, Neumaier Sebastian, Le Traon Yves. In: Government Information Quarterly, Elsevier Science.
- Comprehending Malicious Android Apps By Mining Topic-Specific Data Flow Signatures, Yang Xinli, Lo David, Li Li, Xia Xin, Bissyande Tegawendé François D Assise, Klein Jacques. In: Information and Software Technology.
- Detecting Trivial Mutant Equivalences via Compiler Optimisations, Kintis Marinos, Papadakis Mike, Jia Yue, Malevris Nicos, Le Traon Yves, Harman Mark. In: IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers.
- Efficiently computing the likelihoods of cyclically interdependent risk scenarios, Muller Steve, Harpes Carlo, Le Traon Yves, Gombault Sylvain, Bonnin Jean-Marie. In: Computers & Security, An Imprint of Elsevier Science.
- On Locating Malicious Code in Piggybacked Android Apps, Li Li, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Cai Haipeng, Lo David, Le Traon Yves. In: Journal of Computer Science & Technology, Springer Science & Business Media B.V..
- Open IoT Ecosystem for Sporting Event Management, Kubler Sylvain, Robert Jérémy, Främling Kary, Hefnawy Ahmed, Cherifi Chantal, Bouras Abdelaziz. In: IEEE Access, Institute of Electrical and Electronics Engineers (IEEE).
- Static Analysis of Android Apps: A Systematic Literature Review, Li Li, Bissyande Tegawendé François D Assise, Papadakis Mike, Rasthofer Siegfried, Bartel Alexandre, Octeau Damien, Klein Jacques, Le Traon Yves. In: Information and Software Technology.
- The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling, Hartmann Thomas, Moawad Assaad, Fouquet François, Le Traon Yves. In: Software & Systems Modeling, Springer Science & Business Media B.V..
- The RIGHT model for Continuous Experimentation, Fagerholm Fabian, Sanchez Guinea Alejandro, Mäenpää Hanna, Münch Jürgen. In: Journal of Systems and Software, Elsevier Science.
- Understanding Android App Piggybacking: A Systematic Study of Malicious Code Grafting, Li Li, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves, Lo David, Cavallaro Lorenzo. In: IEEE Transactions on Information Forensics & Security.
Journal Article
- Analyzing Complex Data in Motion at Scale with Temporal Graphs, Hartmann Thomas, Fouquet François, Jimenez Matthieu, Rouvoy Romain, Le Traon Yves. In: Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering.
- An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption, Titcheu Chekam Thierry, Papadakis Mike, Le Traon Yves, Harman Mark. In: International Conference on Software Engineering (ICSE 2017).
- Assessing and Improving the Mutation Testing Practice of PIT, Laurent Thomas, Papadakis Mike, Kintis Marinos, Henard Christopher, Le Traon Yves, Ventresque Anthony. In: 10th IEEE International Conference on Software Testing, Verification and Validation.
- Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation, Devroey Xavier, Perrouin Gilles, Papadakis Mike, Legay Axel, Schobbens Pierre-Yves, Heymans Patrick. In: 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017).
- Automatically Locating Malicious Packages in Piggybacked Android Apps, Li Li, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Cai Haipeng, Lo David, Le Traon Yves. In: Abstract book of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft 2017).
- Combined Use of Lifecycle Management and IoT in Smart Cities, Hefnawy Ahmed, Elhariri Taha, Bouras Abdelaziz, Cherifi Chantal, Robert Jérémy, Kubler Sylvain, Frӓmling Kary. In: Combined Use of Lifecycle Management and IoT in Smart Cities.
- Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components, Kolbe Niklas, Zaslavsky Arkady, Kubler Sylvain, Robert Jérémy, Le Traon Yves. In: Modeling and Using Context.
- Euphony: Harmonious Unification of Cacophonous Anti-Virus Vendor Labels for Android Malware, Hurier Médéric, Suarez-Tangil Guillermo, Dash Santanu Kumar, Bissyande Tegawendé François D Assise, Le Traon Yves, Klein Jacques, Cavallaro Lorenzo. In: MSR 2017.
- Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices, Kubler Sylvain, Derigent William, Voisin Alexandre, Robert Jérémy, Le Traon Yves. In: Knowledge-based Consistency Index for Fuzzy Pairwise Comparison Matrices.
- Mining AndroZoo: A Retrospect, Li Li. In: The International Conference on Software Maintenance and Evolution (ICSME).
- POSTER: Detection of Information Leaks via Reflection in Android Apps, Gajrani Jyoti, Li Li, Laxmi Vijay, Tripathi Meenakshi, Singh Gaur Manoj, Conti Mauro. In: The 2017 ACM on Asia Conference on Computer and Communications Security (AsiaCCS 2017).
- PROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem, Kolbe Niklas, Robert Jérémy, Kubler Sylvain, Le Traon Yves. In: Proceedings of the 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
- Raising Time Awareness in Model-Driven Engineering, Benelallam Amine, Hartmann Thomas, Mouline Ludovic, Fouquet François, Bourcier Johann, Barais Olivier, Le Traon Yves. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Springer.
- Sensing by Proxy in Buildings with Agglomerative Clustering of Indoor Temperature Movements, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 32nd ACM Symposium on Applied Computing (SAC 2017).
- SimiDroid: Identifying and Explaining Similarities in Android Apps, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques. In: Abstract book of the 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
- The Top 10 Topics in Machine Learning Revisited: A Quantitative Meta-Study, Glauner Patrick, Du Manxing, Paraschiv Victor, Boytsov Andrey, Lopez Andrade Isabel, Meira Jorge Augusto, Valtchev Petko, State Radu. In: Proceedings of the 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2017).
- Towards Security-aware Mutation Testing, Loise Thomas, Devroey Xavier, Perrouin Gilles, Papadakis Mike, Heymans Patrick. In: The 12th International Workshop on Mutation Analysis (Mutation 2017).
- Towards Semantic Interoperability in an Open IoT Ecosystem for Connected Vehicle Services, Kolbe Niklas, Kubler Sylvain, Robert Jérémy, Le Traon Yves, Zaslavsky Arkady. In: 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings.
- Weaving Rules into Models@run.time for Embedded Smart Systems, Mouline Ludovic, Hartmann Thomas, Fouquet François, Le Traon Yves, Bourcier Johann, Barais Olivier, Mouline Ludovic (Author), Hartmann Thomas (Author), Fouquet François (Author), Le Traon Yves (Author), Bourcier Johann (Author), Barais Olivier (Author). In: Programming '17 Companion to the first International Conference on the Art, Science and Engineering of Programming, ACM.
Conference Paper
- A Model-Based Framework for Legal Policy Simulation and Compliance Checking, Soltana Ghanem, Jury: Briand Lionel (Promotor), Sabetzadeh Mehrdad (Promotor), Klein Jacques (President), Cabot Jordi (Member).
- AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS, Liu Bing, Jury: Briand Lionel (Promotor), Nejati Shiva (Promotor), Klein Jacques (President), Pastore Fabrizio (Member), Trapp Mario (Member), Di Penta Massimiliano (Member).
- Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach, Ben Fadhel Ameni, Jury: Briand Lionel (Promotor), Bianculli Domenico (Promotor), Klein Jacques (President), Balzarotti Davide (Member), Steimann Friedrich (Member).
Thesis
2016
- Cloud Providers Viability: How to Address it from an IT and Legal Perspective?, Bartolini Cesare, El Kateb Donia, Le Traon Yves, Hagen David, Altmann Jörn (Editor), Silaghi Gheorghe Cosmin (Editor), Rana Omer F. (Editor). In: Economics of Grids, Clouds, Systems, and Services, Springer International Publishing.
- IoT Platforms Initiative, Kubler Sylvain, Främling Kary, Zaslavsky Arkady, Vermesan Ovidiu (Editor), Friess Peter (Editor). In: Digitising the Industry Internet of Things Connecting the Physical, Digital and Virtual Worlds, River Publishers.
Book Chapter
- A state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications, Kubler Sylvain, Robert Jérémy, William Derigent, Alexandre Voisin, Le Traon Yves. In: Expert Systems with Applications, Pergamon Press - An Imprint of Elsevier Science.
- A systematic review on the engineering of software for ubiquitous systems, Sanchez Guinea Alejandro, Nain Gregory, Le Traon Yves. In: Journal of Systems and Software, Elsevier Science.
- Automatic Identifier Inconsistency Detection Using Code Dictionary, Kim Suntae, Kim Dongsun. In: Empirical Software Engineering, Springer Science & Business Media B.V..
- Data Quality Assessment of Maintenance Reporting Procedures, Madhikermi Manik, Kubler Sylvain, Robert Jérémy, Buda Andrea, Främling Kary. In: Expert Systems with Applications, Pergamon Press - An Imprint of Elsevier Science.
- Opportunities for enhanced lean construction management using Internet of Things standards, Dave Bhargav, Kubler Sylvain, Främling Kary, Koskela Lauri. In: Automation in Construction, Elsevier Science.
- Privacy Challenges in Ambient Intelligence Systems, Caire Patrice, Moawad Assaad, Efthymiou Vasileios, bikakis Antonis, Le Traon Yves. In: Journal of Ambient Intelligence and Smart Environments, IOS Press.
- ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems, Gonzalez-Herrera Inti, Bourcier Johann, Daubert Erwan, Rudametkin Walter, Barais Olivier, Fouquet François, Jézéquel Jean-Marc, Baudry Benoit. In: Journal of Systems and Software, Elsevier Science.
- Technology consumption and cognitive control: Contrasting action video game experience with media multitasking., Cardoso-Leite Pedro, Kludt Rachel, Vignola Gianluca, Ma Wei, Green C. Shawn, Bavelier Daphne. In: Attention, perception & psychophysics.
- Time Series Classification with Discrete Wavelet Transformed Data, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: International Journal of Software Engineering & Knowledge Engineering, World Scientific Publishing Company.
Journal Article
- Accessing Inaccessible Android APIs: An Empirical Study, Li Li, Bissyande Tegawendé François D Assise, Le Traon Yves, Klein Jacques. In: The 32nd International Conference on Software Maintenance and Evolution (ICSME).
- Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study, Kintis Marinos, Papadakis Mike, Papadopoulos Andreas, Valvis Evangelos, Malevris Nicos. In: International Working Conference on Source Code Analysis and Manipulation (SCAM'16).
- AndroZoo: Collecting Millions of Android Apps for the Research Community, Allix Kevin, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: Proceedings of the 13th International Workshop on Mining Software Repositories, ACM.
- An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel, Jimenez Matthieu, Papadakis Mike, Le Traon Yves. In: 2016 Asia-Pacific Software Engineering Conference (APSEC).
- An Investigation into the Use of Common Libraries in Android Apps, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016).
- Boosting Static Analysis of Android Apps through Code Instrumentation, Li Li. In: The Doctoral Symposium of 38th International Conference on Software Engineering (ICSE-DS 2016).
- Building Lifecycle Management System for Enhanced Closed Loop Collaboration, Kubler Sylvain, Buda Andrea, Robert Jérémy, Främling Kary. In: 13th IFIP International Conference on Product Lifecycle Management (PLM16), Springer.
- Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis, Octeau Damien, Jha Somesh, Dering Matthew, McDaniel Patrick, Bartel Alexandre, Li Li, Klein Jacques, Le Traon Yves. In: The 43rd Symposium on Principles of Programming Languages (POPL 2016).
- Comparing White-box and Black-box Test Prioritization, Henard Christopher, Papadakis Mike, Harman Mark, Jia Yue, Le Traon Yves. In: 38th International Conference on Software Engineering (ICSE'16).
- DroidRA: Taming Reflection to Support Whole-Program Analysis of Android Apps, Li Li, Bissyande Tegawendé François D Assise, Octeau Damien, Klein Jacques. In: The 2016 International Symposium on Software Testing and Analysis.
- DSCo: A Language Modeling Approach for Time Series Classification, Li Daoyuan, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: 12th International Conference on Machine Learning and Data Mining (MLDM 2016).
- DSCo-NG: A Practical Language Modeling Approach for Time Series Classification, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 15th International Symposium on Intelligent Data Analysis.
- Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures, Muller Steve, Harpes Carlo, Le Traon Yves, Gombault Sylvain, Bonnin Jean-Marie, Hoffmann Paul. In: International Conference on Critical Information Infrastructures Security, Springer International Publishing.
- Featured model-based mutation analysis, Devroey Xavier, Perrouin Gilles, Papadakis Mike, Legay Axel, Schobbens Pierre-Yves, Heymans Patric. In: 38th International Conference on Software Engineering (ICSE'16).
- Feature Location Benchmark for Software Families using Eclipse Community Releases, Martinez Jabier, Ziadi Tewfik, Papadakis Mike, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings.
- IoT-based Smart Parking System for Sporting Event Management, Kubler Sylvain, Robert Jérémy, Hefnawy Ahmed, Cherifi Chantal, Bouras Abdelaziz, Främling Kary. In: Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, ACM New York.
- KevoreeJS: Enabling dynamic software reconfigurations in the Browser, Tricoire Maxime, Barais Olivier, Leduc Manuel, Bourcier Johann, Fouquet François, Nain Grégory, Mouline Ludovic, Sunyé Gerson, Morin Brice. In: WICSA/CompArch 2016 Proceedings.
- Lifecycle Management in the Smart City Context: Smart Parking Use-Case, Hefnawy Ahmed, Elhariri Taha, Bouras Abdelaziz, Cherifi Chantal, Robert Jérémy, Kubler Sylvain, Främling Kary. In: 13th IFIP International Conference on Product Lifecycle Management, Columbia SC 10-13 July 2016, Springer.
- Micro-billing framework for IoT: Research & Technological foundations, Robert Jérémy, Kubler Sylvain, Le Traon Yves. In: International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria.
- Mining Families of Android Applications for Extractive SPL Adoption, Li Li, Martinez Jabier, Ziadi Tewfik, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 20th International Systems and Software Product Line Conference (SPLC 2016).
- Name Suggestions during Feature Identification: The VariClouds Approach, Martinez Jabier, Ziadi Tewfik, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings.
- Near Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time, Hartmann Thomas, Moawad Assaad, Fouquet François, Reckinger Yves, Klein Jacques, Le Traon Yves. In: 31st Annual ACM Symposium on Applied Computing (SAC'16).
- O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis, Robert Jérémy, Kubler Sylvain, Le Traon Yves, Främling Kary. In: O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis.
- On the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware, Hurier Médéric, Allix Kevin, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference, Springer.
- On the Synchronization Bottleneck of OpenStack Swift-like Cloud Storage Systems, Titcheu Chekam Thierry, Ennan Zhai, Zhenhua Li, Yong Cui, Kui Ren. In: IEEE International Conference on Computer Communications, San Francisco, CA 10-15 April 2016, IEEE Xplore®.
- Open Data Portal Quality Comparison using AHP, Kubler Sylvain, Robert Jérémy, Le Traon Yves, Umbrich Jürgen, Neumaier Sebastian. In: Proceedings of the 17th International Digital Government Research Conference on Digital Government Research, ACM.
- “Overloaded!” — A Model-based Approach to Database Stress Testing, Meira Jorge Augusto, Almeira Eduardo Cunha de, Kim Dongsun, Filho Edson Ramiro Lucas, Le Traon Yves. In: International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016.
- Parameter Values of Android APIs: A Preliminary Study on 100,000 Apps, Li Li, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016).
- PIT a Practical Mutation Testing Tool for Java, Coles Henry, Laurent Thomas, Henard Christopher, Papadakis Mike, Ventresque Anthony. In: International Symposium on Software Testing and Analysis, ISSTA 2016.
- Profiling Android Vulnerabilities, Jimenez Matthieu, Papadakis Mike, Bissyande Tegawendé François D Assise, Klein Jacques. In: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS 2016), IEEE Computer Society.
- Profiling household appliance electricity usage with n-gram language modeling, Li Daoyuan, Bissyande Tegawendé François D Assise, Kubler Sylvain, Klein Jacques, Le Traon Yves. In: The 2016 IEEE International Conference on Industrial Technology (ICIT 2016).
- Reasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste, Kolbe Niklas, Zaslavsky Arkady, Kubler Sylvain, Robert Jérémy. In: Reasoning over Knowledge-based Generation of Situations in Context Spaces to Reduce Food Waste, Springer.
- Reflection-Aware Static Analysis of Android Apps, Li Li, Bissyande Tegawendé François D Assise, Octeau Damien, Klein Jacques. In: The 31st IEEE/ACM International Conference on Automated Software (ASE).
- Squirrel: Architecture Driven Resource Management, Gonzalez-Herrera Inti, Bourcier Johan, Rudametkin Walter, Barais Olivier, Fouquet François. In: 31st Annual ACM Symposium on Applied Computing (SAC'16).
- Threats to the validity of mutation-based test assessment, Papadakis Mike, Henard Christopher, Harman Mark, Jia None, Le Traon Yves. In: International Symposium on Software Testing and Analysis, ISSTA 2016.
- Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study, Li Daoyuan, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016).
- Towards a Generic Framework for Automating Extensive Analysis of Android Applications, Li Li, Li Daoyuan, Bartel Alexandre, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016).
- UAV degradation identification for pilot notification using machine learning techniques[alt. 1], Manukyan Anush, Olivares Mendez Miguel Angel, Bissyande Tegawendé François D Assise, Voos Holger, Le Traon Yves. In: Proceedings of 21st IEEE International Conference on Emerging Technologies and Factory Automation ETFA 2016, IEEE.
- Vulnerability Prediction Models: A case study on the Linux Kernel, Jimenez Matthieu, Papadakis Mike, Le Traon Yves. In: 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016.
Conference Paper
- AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING, Arora Chetan, Jury: Briand Lionel (Promotor), Sabetzadeh Mehrdad (Promotor), Le Traon Yves (President), Gorschek Tony (Member), Sawyer Pete (Member), Nejati Shiva (Member).
- Automated Security Testing of Web-Based Systems Against SQL Injection Attacks, Appelt Dennis, Jury: Briand Lionel (Promotor), Nguyen Duy Cu (Promotor), Klein Jacques (President), Pretschner Alexander (Member), Vieira Marco (Member).
- Boosting Static Security Analysis of Android Apps through Code Instrumentation, Li Li, Jury: Le Traon Yves (Promotor), Klein Jacques (Promotor), Briand Lionel (President), Bissyande Tegawendé François D Assise (President), Zhang Xiangyu (Member), Backes Michael (Member).
- Enabling Model-Driven Live Analytics For Cyber-Physical Systems: The Case of Smart Grids, Hartmann Thomas, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Cabot Jordi (Member), Taïani François (Member), Klein Jacques (Member).
- Mining Software Artefact Variants for Product Line Migration and Analysis, Martinez Jabier, Jury: Le Traon Yves (Promotor), Ziane Mikal (Promotor), Ziadi Tewfik (Promotor), Klein Jacques (President), Poizat Pascal (Member), Jézéquel Jean-Marc (Member), Schmid Klaus (Member).
- Towards Ambient Intelligent Applications Using Models@run.time And Machine Learning For Context-Awareness, Moawad Assaad, Jury: Le Traon Yves (Promotor), Navet Nicolas (President), Fouquet François (Member), Rouvoy Romain (Member), Sahraoui Houari (Member).
Thesis
2015
- Inroads in Testing Access Control, Mouelhi Tejeddine, El Kateb Donia, Le Traon Yves. In: Advances in Computers, ELSEVIER.
Book Chapter
- An Extensive Systematic Review on the Model-Driven Development of Secure Systems, Nguyen Phu Hong, Kramer Max, Klein Jacques, Le Traon Yves. In: Information & Software Technology, Elsevier.
- An Investigation into the Use of Common Libraries in Android Apps, Li Li, Bissyandé Tegawendé F., Klein Jacques, Le Traon Yves. In: arXiv preprint arXiv:1511.06554.
- Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets, Xu Dianxiang, Kent Michael, Thomas Lijo, Mouelhi Tejeddine, Le Traon Yves. In: IEEE TRANSACTIONS ON COMPUTERS, Ieee Computer Soc.
- Conviviality-driven access control policy, El Kateb Donia, Zannone N., Moawad Assaad, Caire Patrice, Nain Grégory, Mouelhi T., Le Traon Yves. In: Requirements Engineering, Springer-Verlag London Ltd.
- Employing second-order mutation for isolating first-order equivalent mutants, Kintis Marinos, Papadakis Mike, Malevris Nicos. In: Software Testing, Verification & Reliability, John Wiley & Sons.
- Formal verification techniques for model transformations: A tridimensional classification, Amrani M., Combemale B., Lúcio L., Selim G. M. K., Dingel J., Le Traon Yves, Vangheluwe H., Cordy J. R.. In: Journal of Object Technology, Association Internationale pour les Technologies Objets.
- Metallaxis-FL: mutation-based fault localization, Papadakis Mike, Le Traon Yves. In: Software Testing : Verification & Reliability.
- Roundtable: Research Opportunities and Challenges for Emerging Software Systems, Zhang X., Zhang D., Le Traon Yves, Wang Q., Zhang L.. In: Journal of Computer Science and Technology, Springer New York LLC.
- Similarity testing for access control, Bertolino A., Daoudagh S., El Kateb Donia, Henard Christopher, Le Traon Yves, Lonetti F., Marchetti E., Mouelhi T., Papadakis Mike. In: Information and Software Technology, Elsevier.
- Towards an Autonomous Vision-Based Unmanned Aerial System against Wildlife Poachers, Olivares Mendez Miguel Angel, Fu Changhong, Ludivig Philippe, Bissyande Tegawendé François D Assise, Kannan Somasundar, Zurad Maciej, Annaiyan Arun, Voos Holger, Campoy Pascual. In: Sensors.
Journal Article
- Adaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services, Moawad Assaad, Hartmann Thomas, Fouquet François, Klein Jacques, Le Traon Yves. In: The 30th Annual ACM Symposium on Applied Computing, ACM.
- ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis, Li Li, Bartel Alexandre, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: International Conference on ICT Systems Security and Privacy Protection (SEC 2015).
- Are Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection, Allix Kevin, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, Springer International Publishing.
- Automating the Extraction of Model-based Software Product Lines from Model Variants, Martinez Jabier, Ziadi Tewfik, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves. In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015).
- Beyond Discrete Modeling: A Continuous and Efficient Model for IoT, Moawad Assaad, Hartmann Thomas, Fouquet François, Nain Grégory, Klein Jacques, Le Traon Yves, Lethbridge Timothy (Editor), Cabot Jordi (Editor), Egyed Alexander (Editor). In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Conference Publishing Consulting.
- Bottom-up adoption of software product lines: a generic and extensible approach, Martinez Jabier, Ziadi Tewfik, Bissyandé Tegawendé F., Klein Jacques, Traon Yves Le. In: Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015.
- Cloud Providers Viability: How to Address it from an IT and Legal Perspective?, Bartolini Cesare, El Kateb Donia, Le Traon Yves, Hagen David. In: Economics of Grids, Clouds, Systems, and Services, Springer.
- Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines, Henard Christopher, Papadakis Mike, Harman Mark, Le Traon Yves. In: 37th International Conference on Software Engineering (ICSE 2015).
- Data Quality Assessment of Company's Maintenance Reporting: A Case Study, Madhikermi Manik, Kubler Sylvain, Buda Andrea, Främling Kary. In: Proceedings of 4th International Conference on Data Management Technologies and Applications, SciTePress.
- Data supply chain in Industrial Internet, Buda Andrea, Kubler Sylvain, Främling Kary, Borgman Jukka, Madhikermi Manik, Mirzaeifar Saeed. In: 11th IEEE World Conference on Factory Communication Systems, IEEE.
- Estimating and Predicting Average Likability on Computer-Generated Artwork Variants, Martinez Jabier, Rossi Gabriele, Ziadi Tewfik, Bissyandé Tegawendé François D. Assise, Klein Jacques, Traon Yves Le. In: Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid Spain, July 11-15, 2015, Companion Material Proceedings, ACM.
- Flattening or not of the combinatorial interaction testing models, Henard Christopher, Papadakis Mike, Le Traon Yves. In: Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, IEEE.
- IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, Li Li, Bartel Alexandre, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves, Arzt Steven, Rasthofer Siegfried, Bodden Eric, Octeau Damien, McDaniel Patrick. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015).
- Opportunity to Leverage Information-as-an-Asset in the IoT -- The road ahead, Kubler Sylvain, Yoo Min-Jung, Cassagnes Cyril, Främling Kary, Kiritsis Dimitris, Skilton Mark. In: 3rd International Conference on Future Internet of Things and Cloud, IEEE Computer Society.
- Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development, Moawad Assaad, Hartmann Thomas, Fouquet François, Nain Grégory, Klein Jacques, Bourcier Johann, Hammoudi Slimane (Editor), Pires Luis Ferreira (Editor), Desfray Philippe (Editor), Filipe Joaquim (Editor). In: MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, SCITEPRESS.
- Potential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection, Li Li, Allix Kevin, Li Daoyuan, Bartel Alexandre, Bissyande Tegawendé François D Assise, Klein Jacques. In: The 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015).
- SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems, Nguyen Phu Hong, Yskout Koen, Heyman Thomas, Klein Jacques, Scandariato Riccardo, Le Traon Yves. In: Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems.
- Sound and Quasi-Complete Detection of Infeasible Test Requirements, Bardin Sebastien, Delahaye Mickaël, Kosmatov Nikolai, David Robin, Papadakis Mike, Le Traon Yves, Marion Jean-Yves. In: 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15).
- Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time, Hartmann Thomas, Moawad Assaad, Fouquet François, Nain Grégory, Klein Jacques, Le Traon Yves, Lethbridge Timothy (Editor), Cabot Jordi (Editor), Egyed Alexander (Editor). In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Conference Publishing Consulting.
- Suspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning, Hartmann Thomas, Moawad Assaad, Fouquet François, Reckinger Yves, Mouelhi Tejeddine, Klein Jacques, Le Traon Yves. In: 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm).
- Technological Theory of Cloud Manufacturing, Kubler Sylvain, Holmström Jan, Främling Kary, Turkama Petra, Borangiu Theodor (Editor). In: Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, Springer.
- Towards a full support of obligations in XACML, El Kateb Donia, Elrakaiby Yehia, Mouelhi T., Rubab Iram, Le Traon Yves. In: Lecture Notes in Computer Science, Springer Verlag.
- Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique, Papadakis Mike, Yue Jia, Harman Mark, Le Traon Yves. In: 37th International Conference on Software Engineering (ICSE 2015).
- Vulnerabilities of Government Websites in a Developing Country – The Case of Burkina Faso, Bissyande Tegawendé François D Assise, Ouoba Jonathan, Ahmat Daouda, Ouédraogo Fréderic, Béré Cédric, Bikienga Moustapha, Sere Abdoulaye, Dandjinou Mesmin, Sié Oumarou. In: 7th International Conference on e‐Infrastructure and e‐Services for Developing Countries.
Conference Paper
- BALANCING NON-FUNCTIONAL REQUIREMENTS IN CLOUD-BASED SOFTWARE: AN APPROACH BASED ON SECURITY-AWARE DESIGN AND MULTI-OBJECTIVE SOFTWARE DYNAMIC MANAGEMENT, El Kateb Donia, Jury: Le Traon Yves (Promotor), Bouvry Pascal (President), Baudry benoit (Member), Bertolino Antonia (Member), Mouelhi Tejeddine (Member), Fouquet François (Member).
- Challenges and Outlook in Machine Learning-based Malware Detection for Android, Allix Kevin, Jury: Le Traon Yves (Promotor), Klein Jacques (President), Bissyande Tegawendé François D Assise (Member), Cavallaro Lorenzo (Member), Rossow Christian (Member).
- Enabling Testing of Large Scale Highly Configurable Systems with Search-based Software Engineering: the Case of Model-based Software Product Lines, Henard Christopher, Jury: Le Traon Yves (Promotor), Briand Lionel (President), Papadakis Mike (Member), Cohen Myra (Member), Jézéquel Jean-Marc (Member).
- Example-Dependent Cost-Sensitive Classification with Applications in Financial Risk Modeling and Marketing Analytics, Correa Bahnsen Alejandro, Jury: Ottersten Björn (Promotor), Aouada Djamila (Promotor), Le Traon Yves (President), De Moor Bart (Member), Bontempi Gianluca (Member).
- Model-Driven Security With Modularity and Reusability For Engineering Secure Software Systems, Nguyen Phu Hong, Jury: Le Traon Yves (Promotor), Klein Jacques (Promotor), Kelsen Pierre (President), Kienzle Joerg (Member), Scandariato Riccardo (Member).
Thesis
2014
- e-Infrastructure and e-Services for Developing Countries, Bissyande Tegawendé François D Assise, van Stam Gertjan, Springer.
Book
- Advances in Model-Driven Security, Lucio Levi, Zhang Qin, Nguyen Phu Hong, Amrani Moussa, Klein Jacques, Vangheluwe Hans, Le Traon Yves, Memon Atif (Editor). In: Advances in Computers, Elsevier.
- The NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs, Olivares Mendez Miguel Angel, Bissyandé Tegawendé, Somasundar Kannan, Klein Jacques, Voos Holger, Le Traon Yves, Bissyandé Tegawendé F. (Editor), van Stam Gertjan (Editor). In: e-Infrastructure and e-Services for Developing Countries, Springer International Publishing.
Book Chapter
- Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel, Bissyande Tegawendé François D Assise, Réveillère Laurent, Lawall Julia, Muller Gilles. In: Automated Software Engineering, Springer Science & Business Media B.V..
- A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification, Amrani Moussa, Lúcio Lévi, Selim Gehan, Combemale Benoît, Dingel Jürgen, Vangheluwe Hans, Le Traon Yves, Cordy James. In: Journal of Technology.
- Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines, Henard Christopher, Papadakis Mike, Perrouin Gilles, Klein Jacques, Heymans Patrick, Le Traon Yves. In: IEEE Transactions on Software Engineering, IEEE.
- Conviviality-Driven Access Control Policy, El Kateb Donia, Zannone Nicola, Moawad Assaad, Caire Patrice, Nain Grégory, Mouelhi Tejeddine, Le Traon Yves. In: Requirements Engineering.
- Empirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios, Allix Kevin, Bissyande Tegawendé François D Assise, Jerome Quentin, Klein Jacques, State Radu, Le Traon Yves. In: Empirical Software Engineering, Springer US.
- Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies, Papadakis Mike, Delamaro Eduardo Márcio, Le Traon Yves. In: Science of Computer Programming, Elsevier Science.
- Model-based testing of global properties on large-scale distributed systems, Sunyé G., De Almeida E. C., Le Traon Yves, Baudry B., Jézéquel J.-M.. In: Information and Software Technology, Elsevier.
- Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management, Nguyen Phu Hong, Nain Grégory, Klein Jacques, Mouelhi Tejeddine, Le Traon Yves. In: Transactions on Aspect-Oriented Software Development, Springer.
- Similarity testing for access control, Bertolino Antonia, daoudagh said, El Kateb Donia, Henard Christopher, Le Traon Yves, lonetti francesca, marchetti eda, Mouelhi Tejeddine, Papadakis Mike. In: Information and Software Technology.
- Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android, Bartel Alexandre, Klein Jacques, Monperrus Martin, Le Traon Yves. In: IEEE Transactions on Software Engineering (TSE), IEEE Computer Society.
- Tools for Conviviality in Multi-Context Systems, bikakis Antonis, Caire Patrice, Le Traon Yves. In: IfCoLog Journal of Logics and Their Applications.
Journal Article
- A Flexible MDE approach to Enforce Fine- grained Security Policies, Elrakaiby Yehia, Amrani Moussa, Le Traon Yves. In: Proceedings of the International Symposium on Engineering Secure Software and Systems.
- A Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?, Allix Kevin, Jerome Quentin, Bissyande Tegawendé François D Assise, Klein Jacques, State Radu, Le Traon Yves. In: Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference, IEEE Computer Society.
- A Native Versioning Concept to Support Historized Models at Runtime, Hartmann Thomas, Fouquet François, Nain Grégory, Morin Brice, Klein Jacques, Barais Olivier, Le Traon Yves, Dingel Juergen (Editor), Schulte Wolfram (Editor), Ramos Isidro (Editor), Abrahao Silvia (Editor), Insfran Emilio (Editor). In: Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings, Springer.
- Automatically Exploiting Potential Component Leaks in Android Applications, Li Li, Bartel Alexandre, Klein Jacques, Le Traon Yves. In: The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), IEEE, Sept. 2014, Beijing, China..
- A Variability Perspective of Mutation Analysis, Devroey Xavier, Perrouin Gilles, Cordy Maxime, Papadakis Mike, Legay Axel, Schobbens Pierre-Yves. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014).
- Coverage-based Test Cases Selection for XACML Policies, Bertolino Antonia, Le Traon Yves, Lonetti Francesca, Marchetti Eda, Mouelhi Tejeddine. In: IEEE International Conference on Software Testing Verification and Validation Workshops, Ieee.
- DSLForge: Textual Modeling on the Web, Lajmi Amine, Martinez Jabier, Ziadi Tewfik. In: MODELS Demonstrations 2014.
- Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach, Papadakis Mike, Le Traon Yves. In: ACM Symposium On Applied Computing (SAC'14).
- Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing, Abgrall Erwan, Le Traon Yves, Gombault Sylvain, Monperrus Martin. In: 7th IEEE International Conference on Software Testing, Verification and Validation (ICST)- Workshop SECTEST, Ieee.
- Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines, Martinez Jabier, Ziadi Tewfik, Mazo Raul, Klein Jacques, Le Traon Yves. In: 2nd IEEE Working Conference on Software Visualization.
- Generating Realistic Smart Grid Communication Topologies Based on Real-Data, Hartmann Thomas, Fouquet François, Klein Jacques, Le Traon Yves, Pelov Alexander, Toutain Laurent, Ropitault Tanguy. In: 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).
- Identifying and Visualising Commonality and Variability in Model Variants, Martinez Jabier, Ziadi Tewfik, Klein Jacques, Le Traon Yves. In: ECMFA 2014 European Conference on Modelling Foundations and Applications.
- Intra-query Adaptivity for MapReduce Query Processing Systems, Lucas Filho Edson Ramiro, Cunha De Almeida Eduardo, Le Traon Yves. In: IDEAS 2014 : 18th International Database Engineering Applications Symposium.
- Large-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality, Allix Kevin, Bissyande Tegawendé François D Assise, Jerome Quentin, Klein Jacques, State Radu, Le Traon Yves. In: Proceedings of the 4th ACM Conference on Data and Application Security and Privacy, ACM.
- Model-Based Testing of Obligations, Rubab Iram, Ali Shaukat, Briand Lionel, Le Traon Yves. In: 14th Annual International Conference on Quality Software (QSIC), Ieee Computer Soc.
- Model-Driven Security with A System of Aspect-Oriented Security Design Patterns, Nguyen Phu Hong, Klein Jacques, Le Traon Yves. In: 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling.
- Modeling, composing, and testing of security concerns in a Model-Driven Security approach, Nguyen Phu Hong, Klein Jacques, Le Traon Yves, Joosen Wouter (Editor), Martinelli Fabio (Editor), Heyman Thomas (Editor). In: Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014).
- MutaLog: a Tool for Mutating Logic Formulas, Henard Christopher, Papadakis Mike, Le Traon Yves. In: Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014).
- Mutation-based Generation of Software Product Line Test Configurations, Henard Christopher, Papadakis Mike, Le Traon Yves. In: Symposium on Search-Based Software Engineering (SSBSE 2014), Springer.
- Reactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning, Hartmann Thomas, Fouquet François, Klein Jacques, Nain Grégory, Le Traon Yves. In: Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14).
- Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach, Hartmann Thomas, Fouquet François, Nain Grégory, Morin Brice, Klein Jacques, Le Traon Yves. In: Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute Graduate School, USA.
- Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing, Papadakis Mike, Henard Christopher, Le Traon Yves. In: 7th International Conference on Software Testing, Verification and Validation (ICST 2014).
- Security@Runtime: A flexible MDE approach to enforce fine-grained security policies, Elrakaiby Yehia, Amrani Moussa, Le Traon Yves. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
- Sensing in the Urban Technological Deserts-A Position Paper for Smart Cities in Least Developed Countries, Ouoba Jonathan, Bissyande Tegawendé François D Assise. In: International Workshop on Web Intelligence and Smart Sensing.
- Test Data Generation Techniques for Mutation Testing: A Systematic Mapping, Carlos Francisco, Papadakis Mike, Durelli Vinícius, Delamaro Eduardo Márcio. In: Workshop on Experimental Software Engineering (ESELAW'14).
- Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines, Ziadi Tewfik, Henard Christopher, Papadakis Mike, Ziane Mikal, Le Traon Yves. In: 29th Symposium on Applied Computing (SAC 2014).
- Using opcode-sequences to detect malicious Android applications, Jerome Quentin, Allix Kevin, State Radu, Engel Thomas. In: IEEE International Conference on Communications, ICC 2014, Sydney Australia, June 10-14, 2014, IEEE.
Conference Paper
- An Empirical Study of Browsers' Evolution Impact on Security and Privacy, Abgrall Erwan, Jury: Le Traon Yves (Promotor), State Radu (President).
- Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack, Bartel Alexandre, Jury: Le Traon Yves (Promotor), Briand Lionel (President), Andreas Zeller (Member), Benjamin Livshits (Member), Eric Bodden (Member), Martin Monperrus (Member).
Thesis
- Machine Learning-Based Malware Detection for Android Applications: History Matters!, Allix Kevin, Bissyande Tegawendé François D Assise, Klein Jacques, Le Traon Yves, University of Luxembourg, SnT.
Technical Report
2013
- Achieving Practical Genericity in Model Weaving through Extensibility, Kramer Max E., Klein Jacques, Steel Jim R. H., Morin Brice, Kienzle Jörg, Barais Olivier, Jézéquel Jean-Marc, Duddy Keith (Editor), Kappel Gerti (Editor). In: Theory and Practice of Model Transformations, Springer Berlin Heidelberg.
Book Chapter
- Implementing an Embedded Compiler using Program Transformation Rules, Bissyande Tegawendé François D Assise, Réveillère Laurent, Lawall Julia, Bromberg David, Muller Gilles. In: Software : Practice & Experience.
- Stress Testing of Transactional Database Systems, Meira Jorge Augusto, Almeida Eduardo Cunha de, Sunyé Gerson, Le Traon Yves, Valduriez Patrick. In: Journal of Information and Data Management.
- Under Pressure Benchmark for DDBMS Availability, Fior Alessandro Gustavo, Meira Jorge Augusto, Almeida Eduardo Cunha de, Coelho Ricardo Gonçalves, Del Fabro Marcos Didonet, Le Traon Yves. In: Journal of Information and Data Management.
- Usage and testability of AOP: An empirical study of AspectJ, Munoz F., Baudry B., Delamare R., Le Traon Yves. In: Information and Software Technology.
Journal Article
- Access Control Enforcement Testing, El Kateb Donia, ElRakaiby Yehia, Mouelhi Tejeddine, Le Traon Yves. In: Abstract book of 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST), Ieee.
- An Empirical Study of Adoption of Software Testing in Open Source Projects, Pavneet Singh Kochaar, Bissyande Tegawendé François D Assise, Lo David, Jiang Lingxiao. In: Proceedings of the 13th International Conference on Quality Software (QSIC 2013).
- A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications, Elrakaiby Yehia, Le Traon Yves. In: 2013 International Conference on Availability, Reliability and Security.
- A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments, Moawad Assaad, Bikakis Antonis, Caire Patrice, Nain Grégory, Le Traon Yves. In: Theory, Practice, and Applications of Rules on the Web, springer.
- Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing, Henard Christopher, Papadakis Mike, Perrouin Gilles, Klein Jacques, Le Traon Yves. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, IEEE.
- A Systematic Review of Model-Driven Security, Nguyen Phu Hong, Klein Jacques, Kramer Max, Le Traon Yves. In: The 20th Asia-Pacific Software Engineering Conference Proceedings.
- Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis, Octeau Damien, McDaniel Patrick, Jha Somesh, Bartel Alexandre, Bodden Eric, Klein Jacques, Le Traon Yves. In: Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis.
- Got Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub, Bissyande Tegawendé François D Assise, Lo David, Jiang Lingxiao, Reveillere Laurent, Klein Jacques, Le Traon Yves. In: Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2013).
- Information Dependencies in MCS: Conviviality-Based Model and Metrics, Caire Patrice, Bikakis Antonis, Le Traon Yves. In: 16th INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2013).
- Model-Driven Adaptive Delegation, Nguyen Phu Hong, Nain Grégory, Klein Jacques, Mouelhi Tejeddine, Le Traon Yves, Masuhara Hidehiko (Director), Chiba Sigeru (Editor), Ubayashi Naoyasu (Editor). In: Proceedings of the 12th annual international conference companion on Aspect-oriented software development, ACM.
- Multi-objective test generation for software product lines, Henard Christopher, Papadakis Mike, Perrouin Gilles, Klein Jacques, Le Traon Yves. In: 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013, ACM.
- Mutation Testing Strategies using Mutant Classification, Papadakis Mike, Le Traon Yves. In: Abstract book of 28th Symposium On Applied Computing.
- PLEDGE: a product line editor and test generation tool, Henard Christopher, Papadakis Mike, Perrouin Gilles, Klein Jacques, Le Traon Yves. In: 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26, ACM.
- Proteum/FL: A tool for localizing faults using mutation analysis., Papadakis Mike, Delamaro Eduardo Márcio, Le Traon Yves. In: International Working Conference on Source Code Analysis and Manipulation.
- R-CoRe: A Rule-based Contextual Reasoning Platform for AmI, Moawad Assaad, Bikakis Antonis, Caire Patrice, Nain Grégory, Le Traon Yves. In: Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013).
- Sustainable ICT4D in Africa: Where Do We Go From Here?, Bissyande Tegawendé François D Assise, Ahmat Daouda, Ouoba Jonathan, van Stam Gertjan, Klein Jacques, Le Traon Yves. In: EAI International Conference on e-Infrastructure and e-Services for Developing Countries.
- Testing Delegation Policy Enforcement via Mutation Analysis, Nguyen Phu Hong, Papadakis Mike, Rubab Iram. In: 7th International Workshop on Mutation Analysis, IEEE.
- Towards automated testing and fixing of re-engineered feature models, Henard Christopher, Papadakis Mike, Perrouin Gilles, Klein Jacques, Le Traon Yves. In: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press.
- Towards Securing Communications in Infrastructure-poor Areas, Ahmat Daouda, Bissyande Tegawendé François D Assise, Magoni Damien. In: Proceedings of the 5th EAI International Conference on e-Infrastructure and e-Services for Developing Countries.
Conference Paper
- Highly precise taint analysis for Android applications, Fritz Christian, Arzt Steven, Rasthofer Siegfried, Bodden Eric, Bartel Alexandre, Klein Jacques, Le Traon Yves, Octeau Damien, McDaniel Patrick.