Benoit Baudry

Proceedings of the IEEE Secure Development Conference, 2021

Duets: A Dataset of Reproducible Pairs of Java Library-Clients.

[BibT_eX]

[DOI]

Thomas Durieux

César Soto-Valero

Orestis Floros Malivitsis

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

The Behavioral Diversity of Java JSON Libraries.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

Trace-based Debloat for Java Bytecode, experiment results.

[BibT_eX]

[DOI]

Dataset, August, 2020

The Updated Maven Central Dependency Graph.

[BibT_eX]

[DOI]

Dataset, May, 2020

Browser Fingerprinting: A Survey.

[BibT_eX]

[DOI]

ACM Trans. Web, 2020

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

Java decompiler diversity and its application to meta-decompilation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

An approach and benchmark to detect behavioral changes of commits in continuous integration.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

R-Hero: A Software Repair Bot based on Continual Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Trace-based Debloat for Java Bytecode.

[BibT_eX]

[DOI]

CoRR, 2020

CROW: Code Diversification for WebAssembly.

[BibT_eX]

[DOI]

Javier Cabrera-Arteaga

Rodothea-Myrsini Tsoupidi

CoRR, 2020

Realistic Error Injection for System Calls.

[BibT_eX]

[DOI]

CoRR, 2020

Superoptimization of WebAssembly bytecode.

[BibT_eX]

[DOI]

Javier Cabrera-Arteaga

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks.

[BibT_eX]

[DOI]

Roberto Castañeda Lozano

Proceedings of the Principles and Practice of Constraint Programming, 2020

re|Traces of Search: Exploring Human-Software Entanglements Through the Search Engine.

[BibT_eX]

[DOI]

Erik Natanael Gustafsson

Nadia Campo Woytuk

Proceedings of the DIS '20: Designing Interactive Systems Conference 2020, 2020

2019

Repairnator patches programs automatically.

[BibT_eX]

[DOI]

Ubiquity, 2019

Modeling variability in the video domain: language and experience report.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Advanced and efficient execution trace management for executable domain-specific modeling languages.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

A snowballing literature study on test amplification.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

A journey among Java neutral program variants.

[BibT_eX]

[DOI]

Nicolas Harrand

Genet. Program. Evolvable Mach., 2019

A comprehensive study of pseudo-tested methods.

[BibT_eX]

[DOI]

Benjamin Danglot

Empir. Softw. Eng., 2019

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Automatic test improvement with DSpot: a study with ten mature open-source projects.

[BibT_eX]

[DOI]

Benjamin Danglot

Empir. Softw. Eng., 2019

Automatic Observability for Dockerized Java Applications.

[BibT_eX]

[DOI]

CoRR, 2019

Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis.

[BibT_eX]

[DOI]

Benjamin Danglot

CoRR, 2019

Analyzing 2.3 Million Maven Dependencies to Reveal an Essential Core in APIs.

[BibT_eX]

[DOI]

CoRR, 2019

The Strengths and Behavioral Quirks of Java Bytecode Decompilers.

[BibT_eX]

[DOI]

Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

Scalable comparison of JavaScript V8 bytecode traces.

[BibT_eX]

[DOI]

Javier Cabrera-Arteaga

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

The emergence of software diversity in maven central.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

The maven dependency graph: a temporal graph-based representation of maven central.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

Approximate loop unrolling.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

A Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Workshop on Moving Target Defense, 2019

2018

Maven central dependency graph.

[BibT_eX]

[DOI]

Dataset, November, 2018

Omniscient debugging for executable DSLs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

User interface design smell: Automatic detection and refactoring of Blob listeners.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Correctness attraction: a study of stability of software behavior under runtime perturbation.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2018

Automatic Quality Assurance and Release (Dagstuhl Seminar 18122).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2018

Automatic Quality Assurance and Release (Report from Dagstuhl Seminar 18122).

[BibT_eX]

[DOI]

CoRR, 2018

Human-competitive Patches in Automatic Program Repair with Repairnator.

[BibT_eX]

[DOI]

CoRR, 2018

Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale.

[BibT_eX]

[DOI]

Alejandro Gómez-Boix

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Code{strata} Sonifying Software Complexity.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Tangible, 2018

Detection and analysis of behavioral T-patterns in debugging activities.

[BibT_eX]

[DOI]

César Soto-Valero

Johann Bourcier

Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Exhaustive Exploration of the Failure-Oblivious Computing Search Space.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Images of code: lossy compression for native instructions.

[BibT_eX]

[DOI]

Jules White

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

A spoonful of DevOps helps the GI go down.

[BibT_eX]

[DOI]

Proceedings of the 4th International Genetic Improvement Workshop, 2018

2017

Automated extraction of product comparison matrices from informal product descriptions.

[BibT_eX]

[DOI]

Sana Ben Nasr

Guillaume Bécan

Mathieu Acher

Jean-Marc Davril

J. Syst. Softw., 2017

Reverse engineering language product lines from existing DSL variants.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Online Genetic Improvement on the java virtual machine with ECSELR.

[BibT_eX]

[DOI]

Kwaku Yeboah-Antwi

Genet. Program. Evolvable Mach., 2017

Test them all, is it worth it? A ground truth comparison of configuration sampling strategies.

[BibT_eX]

[DOI]

CoRR, 2017

The Emerging Field of Test Amplification: A Survey.

[BibT_eX]

[DOI]

CoRR, 2017

FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques.

[BibT_eX]

[DOI]

Vikas Mishra

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017

2016

ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems.

[BibT_eX]

[DOI]

Inti Y. Gonzalez-Herrera

J. Syst. Softw., 2016

B-Refactoring: Automatic test code refactoring to improve dynamic analysis.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Practical minimization of pairwise-covering test configurations using constraint programming.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Breathing ontological knowledge into feature model synthesis: an empirical study.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2016

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2016

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints.

[BibT_eX]

[DOI]

Walter Rudametkin

Proceedings of the IEEE Symposium on Security and Privacy, 2016

NOTICE: A Framework for Non-Functional Testing of Compilers.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

libmask: Protecting browser JIT engines from the devil in the constants.

[BibT_eX]

[DOI]

Abhinav

Mohit Mishra

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Automatic microbenchmark generation to prevent dead code elimination and constant folding.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Automatic non-functional testing of code generators families.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Automatic detection of GUI design smells: the case of Blob listener.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015

Special issue for the ICST 2013 conference.

[BibT_eX]

[DOI]

Alessandro Orso

Softw. Test. Verification Reliab., 2015

Towards an automation of the mutation analysis dedicated to model transformation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

Generating counterexamples of model-based software product lines.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Kompren: modeling and generating model slicers.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Multitier Diversification in Web-Based Software Applications.

[BibT_eX]

[DOI]

IEEE Softw., 2015

Using Slicing to Improve the Performance of Model Invariant Checking.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2015

Dynamic Analysis can be Improved with Automatic Test Suite Refactoring.

[BibT_eX]

[DOI]

CoRR, 2015

Automatic Software Diversity in the Light of Test Suites.

[BibT_eX]

[DOI]

CoRR, 2015

DSpot: Test Amplification for Automatic Assessment of Computational Diversity.

[BibT_eX]

[DOI]

CoRR, 2015

An analysis of metamodeling practices for MOF and OCL.

[BibT_eX]

[DOI]

Juan José Cadavid

Comput. Lang. Syst. Struct., 2015

Assessing product line derivation operators applied to Java source code: an empirical study.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Supporting efficient and advanced omniscient debugging for xDSMLs.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

MatrixMiner: a red pill to architect informal product descriptions in the matrix.

[BibT_eX]

[DOI]

Sana Ben Nasr

Guillaume Bécan

Mathieu Acher

Jean-Marc Davril

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Product lines can jeopardize their trade secrets.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Discovering model transformation pre-conditions using automatically generated test models.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

On model-based testing advanced GUIs.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Classifying and Qualifying GUI Defects.

[BibT_eX]

[DOI]

Valéria Lelli

Arnaud Blouin

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification.

[BibT_eX]

[DOI]

Walter Rudametkin

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

A Novelty Search Approach for Automatic Test Data Generation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Embedding Adaptivity in Software Systems using the ECSELR framework.

[BibT_eX]

[DOI]

Kwaku Yeboah-Antwi

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

A Novelty Search-based Test Data Generator for Object-oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

A Generative Approach to Define Rich Domain-Specific Trace Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth European Conference Artificial Life, 2015

2014

Engineering Trust-Awareness and Self-adaptability in Services and Systems.

[BibT_eX]

[DOI]

Francisco Moyano

M. Carmen Fernández Gago

Javier López

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Model-based testing of global properties on large-scale distributed systems.

[BibT_eX]

[DOI]

Gerson Sunyé

Eduardo Cunha de Almeida

Inf. Softw. Technol., 2014

Globalizing Modeling Languages.

[BibT_eX]

[DOI]

Computer, 2014

Slicing-Based Techniques for Visualizing Large Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

Comparing or configuring products: are we getting the right ones?

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Moving toward product line engineering in a nuclear industry consortium.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

WebFML: synthesizing feature models everywhere.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

Customization and 3D printing: a challenging playground for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

ViViD: a variability-based tool for synthesizing video sequences.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

An Approach to Derive Usage Models Variants for Model-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

Scalable Armies of Model Clones through Data Sharing.

[BibT_eX]

[DOI]

Erwan Bousse

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards Scalable Multidimensional Execution Traces for xDSMLs.

[BibT_eX]

[DOI]

Erwan Bousse

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Automating the formalization of product comparison matrices.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

A variability-based testing approach for synthesizing video sequences.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Tailored source code transformations to synthesize computationally diverse program variants.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems.

[BibT_eX]

[DOI]

Marco Biazzini

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

"May the fork be with you": novel metrics to analyze collaboration on GitHub.

[BibT_eX]

[DOI]

Marco Biazzini

Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics, 2014

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

DIVERSIFY: Ecology-inspired software evolution for diversity emergence.

[BibT_eX]

[DOI]

Proceedings of the 2014 Software Evolution Week, 2014

2013

Automated measurement of models of requirements.

[BibT_eX]

[DOI]

Softw. Qual. J., 2013

Automating the maintenance of nonfunctional system properties using demonstration-based model transformation.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2013

Usage and testability of AOP: An empirical study of AspectJ.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Soa Antipatterns: an Approach for their Specification and Detection.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2013

Support for reverse engineering and maintaining feature models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Generating counterexamples of model-based software product lines: an exploratory study.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Reifying Concurrency for Executable Metamodeling.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Empirical evidence of large-scale diversity in API usage of object-oriented software.

[BibT_eX]

[DOI]

Diego Mendez

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

From comparison matrix to Variability Model: The Wikipedia case study.

[BibT_eX]

[DOI]

Mathieu Acher

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Towards Trust-Aware and Self-adaptive Systems.

[BibT_eX]

[DOI]

Francisco Moyano

Javier López

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

2012

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2012

Pairwise testing for software product lines: comparison of two approaches.

[BibT_eX]

[DOI]

Softw. Qual. J., 2012

Reusable model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Modeling modeling modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Towards Ecology-Inspired Software Engineering

[BibT_eX]

[DOI]

CoRR, 2012

An approach for semantic enrichment of software product lines.

[BibT_eX]

[DOI]

Windson Viana

Rossana M. C. Andrade

Proceedings of the 16th International Software Product Line Conference, 2012

Bridging the Chasm between Executable Metamodeling and Models of Computation.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Toward multilevel textual requirements traceability using model-driven engineering and information retrieval.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Defining and retrieving themes in nuclear regulations.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

Impact of footprinting on model quality: An experimental evaluation.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Managing Execution Environment Variability during Software Testing: An Industrial Experience.

[BibT_eX]

[DOI]

Aymeric Hervieu

Ben David Olivier-Nathanaël

Arnaud Gotlieb

Proceedings of the Testing Software and Systems, 2012

Toward a model-driven access-control enforcement mechanism for pervasive systems.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Formally Defining and Iterating Infinite Models.

[BibT_eX]

[DOI]

Xavier Thirioux

Proceedings of the Model Driven Engineering Languages and Systems, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.

[BibT_eX]

[DOI]

Pierre-Yves Schobbens

Patrick Heymans

Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Minimum Pairwise Coverage Using Constraint Programming Techniques.

[BibT_eX]

[DOI]

Arnaud Gotlieb

Aymeric Hervieu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Searching the Boundaries of a Modeling Space to Test Metamodels.

[BibT_eX]

[DOI]

Juan José Cadavid

Houari A. Sahraoui

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Specification and Detection of SOA Antipatterns.

[BibT_eX]

[DOI]

Naouel Moha

Francis Palma

Mathieu Nayrolles

Benjamin Joyen Conseil

Yann-Gaël Guéhéneuc

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

A categorical model of model merging and weaving.

[BibT_eX]

[DOI]

Jonathan Y. Marchand

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Leveraging variability modeling for multi-dimensional model-driven software product lines.

[BibT_eX]

[DOI]

Jérôme Le Noir

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2011

An approach for testing pointcut descriptors in AspectJ.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2011

Model-driven generative development of measurement software.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Guest Editorial for Special Section on Mutation Testing.

[BibT_eX]

[DOI]

Jeremy S. Bradbury

Gordon Fraser

Inf. Softw. Technol., 2011

Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering.

[BibT_eX]

[DOI]

Thuy Nguyen

Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

Empirical Evaluation of the Conjunct Use of MOF and OCL.

[BibT_eX]

[DOI]

Juan José Cadavid

Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Modeling Model Slicers.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models.

[BibT_eX]

[DOI]

Aymeric Hervieu

Arnaud Gotlieb

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Tailored Shielding and Bypass Testing of Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Model Driven Mutation Applied to Adaptative Systems Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Pairwise testing of dynamic composite services.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Estimating footprints of model operations.

[BibT_eX]

[DOI]

Cédric Jeanneret

Martin Glinz

Olivier-Nathanael Ben David

Proceedings of the 33rd International Conference on Software Engineering, 2011

Requirements-Driven Runtime Reconfiguration for Security.

[BibT_eX]

[DOI]

Koen Yskout

Riccardo Scandariato

Proceedings of the Eternal Systems - First International Workshop, 2011

2010

Construction de tests qualifiés de transformations de modèles.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2010

Towards Domain-specific Model Editors with Automatic Model Completion.

[BibT_eX]

[DOI]

Hans Vangheluwe

Simul., 2010

Barriers to systematic model transformation testing.

[BibT_eX]

[DOI]

Commun. ACM, 2010

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2010

Variability Modeling and QoS Analysis of Web Services Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Question-learn-test-feedback pattern to test emerging software construction paradigms.

[BibT_eX]

[DOI]

, 2010

2009

Qualifying input test data for model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Artificial table testing dynamically adaptive systems

[BibT_eX]

[DOI]

CoRR, 2009

A Framework for Testing Model Composition Engines.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 8th International Conference, 2009

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2009

Meta-model Pruning.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Modeling Modeling.

[BibT_eX]

[DOI]

Pierre-Alain Muller

Frédéric Fondement

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Transforming and Selecting Functional Test Cases for Security Policy Testing.

[BibT_eX]

[DOI]

Tejeddine Mouelhi

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors.

[BibT_eX]

[DOI]

Romain Delamare

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Inquiring the usage of aspect-oriented programming: An empirical study.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Automatic Model Generation Strategies for Model Transformation Testing.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2009

2008

A classification of invasive patterns in AOP

[BibT_eX]

[DOI]

CoRR, 2008

Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

A Model-Based Framework for Security Policy Specification, Deployment and Testing.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Test-Driven Assessment of Access Control in Legacy Applications.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

A Generic Metamodel For Security Policies Mutation.

[BibT_eX]

[DOI]

Tejeddine Mouelhi

Franck Fleurey

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Model transformation testing: oracle issue.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Improving maintenance in AOP through an interaction specification framework.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Composing Multi-view Aspect Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

A reference process for model composition.

[BibT_eX]

[DOI]

Cédric Jeanneret

Robert B. France

Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, 2008

Regression test selection when evolving software with aspects.

[BibT_eX]

[DOI]

Romain Delamare

Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, 2008

2007

Domain-Specific Model Editors with Model Completion.

[BibT_eX]

[DOI]

Hans Vangheluwe

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

A Generic Approach for Automatic Model Composition.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Model-Driven Engineering for Software Migration in a Large Industrial Context.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Testing Security Policies: Going Beyond Functional Testing.

[BibT_eX]

[DOI]

Tejeddine Mouelhi

Proceedings of the ISSRE 2007, 2007

Providing Support for Model Composition in Metamodels.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Producing a Global Requirement Model from Multiple Requirement Specifications.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Model-Driven Engineering for Requirements Analysis.

[BibT_eX]

[DOI]

Clémentine Nebut

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006

Design by Contract to Improve Software Vigilance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Reusable MDA Components: A Testing-for-Trust Approach.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Report on the 3rd MoDeVa Workshop - Model Design and Validation.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2006

Test d'intégration d'un système à objets - planification de l'ordre d'intégration.

[BibT_eX]

Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Improving test suites for efficient fault localization.

[BibT_eX]

[DOI]

Franck Fleurey

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Mutation Analysis Testing for Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2006

2005

From genetic to bacteriological algorithms for mutation-based testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2005

Automatic Test Case Optimization: A Bacteriologic Algorithm.

[BibT_eX]

[DOI]

IEEE Softw., 2005

Measuring design testability of a UML class diagram.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2005

Report on the 2<sup>nd</sup> Workshop on Model Development and Validation - MoDeVa.

[BibT_eX]

[DOI]

Christophe Gaston

Sudipto Ghosh

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004

From Testing to Diagnosis: An Automated Approach.

[BibT_eX]

[DOI]

Franck Fleurey

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A UML-Based Concept for High Concurrency: The Real-Time Object.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

2003

Assemblage testable et validation de composants. (Testable assembly of components).

[BibT_eX]

[DOI]

PhD thesis, 2003

From diagnosis to diagnosability: axiomatization, measurement and application.

[BibT_eX]

[DOI]

J. Syst. Softw., 2003

Measuring and Improving Design Patterns Testability.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

2002

Testability Analysis of a UML Class Diagram.

[BibT_eX]

[DOI]

Gerson Sunyé

Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Robustness and Diagnosability of OO Systems Designed by Contracts.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001

Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000

Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification.

[BibT_eX]

[DOI]

Vu Le Hanh