en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Traon
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(110)
tags
dblp
imported
UML
tests
metamodelling
LTS
Use-Cases
2007
2009
uml
systemtest
requirements
TGV
diagrams
black-box
model_checking
testing
_marcia
cases
product
model-based\_testing
_to_appear
model\_transformation
system
UMLAUT
2001
TDD
refactoring
Criteria
coverage
model_transformation
IOLTS
use
line
\_to\_appear
statecharts
OCL
\_pdf
synthesis
automated
contracts
activity
model-based_testing
No matching items.
A model-based approach to automated testing of access control policies.
Dianxiang Xu
,
Lijo Thomas
,
Michael Kent
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
SACMAT,
page 209-218.
ACM,
(
2012
)
Dianxiang Xu
,
Lijo Thomas
,
Michael Kent
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
SACMAT,
page 209-218.
ACM,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
Moussa Amrani
,
Levi Lucio
,
Gehan M. K. Selim
,
Benoît Combemale
,
Jürgen Dingel
,
Hans Vangheluwe
,
Yves Le Traon
, and
James R. Cordy
.
ICST,
page 921-928.
IEEE,
(
2012
)
Moussa Amrani
,
Levi Lucio
,
Gehan M. K. Selim
,
Benoît Combemale
,
Jürgen Dingel
,
Hans Vangheluwe
,
Yves Le Traon
, and
James R. Cordy
.
ICST,
page 921-928.
IEEE,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
, and
Yves Le Traon
.
CoRR
(
2012
)
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
, and
Yves Le Traon
.
CoRR
(
2012
)
7 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Automatically securing permission-based software by reducing the attack surface: an application to Android.
Alexandre Bartel
,
Jacques Klein
,
Yves Le Traon
, and
Martin Monperrus
.
ASE,
page 274-277.
ACM,
(
2012
)
Alexandre Bartel
,
Jacques Klein
,
Yves Le Traon
, and
Martin Monperrus
.
ASE,
page 274-277.
ACM,
(
2012
)
7 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard
,
Mike Papadakis
,
Gilles Perrouin
,
Jacques Klein
,
Patrick Heymans
, and
Yves Le Traon
.
CoRR
(
2012
)
Christopher Henard
,
Mike Papadakis
,
Gilles Perrouin
,
Jacques Klein
,
Patrick Heymans
, and
Yves Le Traon
.
CoRR
(
2012
)
5 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Construction de tests qualifiés de transformations de modèles.
Jean-Marie Mottu
,
Benoit Baudry
, and
Yves Le Traon
.
Technique et Science Informatiques
29(4-5):537-569
(
2010
)
Jean-Marie Mottu
,
Benoit Baudry
, and
Yves Le Traon
.
Technique et Science Informatiques
29(4-5):537-569
(
2010
)
6 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
, and
Yves Le Traon
.
CoRR
(
2012
)
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
, and
Yves Le Traon
.
CoRR
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.
Philippe Dhaussy
,
Frédéric Boniol
,
Jean-Charles Roger
,
Amine Raji
,
Yves Le Traon
, and
Benoit Baudry
.
Technique et Science Informatiques
31(6):797-826
(
2012
)
Philippe Dhaussy
,
Frédéric Boniol
,
Jean-Charles Roger
,
Amine Raji
,
Yves Le Traon
, and
Benoit Baudry
.
Technique et Science Informatiques
31(6):797-826
(
2012
)
6 months and 17 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
,
Kevin Allix
, and
Yves Le Traon
.
CoRR
(
2012
)
Alexandre Bartel
,
Jacques Klein
,
Martin Monperrus
,
Kevin Allix
, and
Yves Le Traon
.
CoRR
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Model Driven Mutation Applied to Adaptative Systems Testing
Alexandre Bartel
,
Benoit Baudry
,
Freddy Munoz
,
Jacques Klein
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
CoRR
(
2012
)
Alexandre Bartel
,
Benoit Baudry
,
Freddy Munoz
,
Jacques Klein
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
CoRR
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Model Driven Mutation Applied to Adaptative Systems Testing.
Alexandre Bartel
,
Benoit Baudry
,
Freddy Munoz
,
Jacques Klein
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ICST Workshops,
page 408-413.
IEEE Computer Society,
(
2011
)
Alexandre Bartel
,
Benoit Baudry
,
Freddy Munoz
,
Jacques Klein
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ICST Workshops,
page 408-413.
IEEE Computer Society,
(
2011
)
5 months and 12 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Pairwise testing for software product lines: comparison of two approaches.
Gilles Perrouin
,
Sebastian Oster
,
Sagar Sen
,
Jacques Klein
,
Benoit Baudry
, and
Yves Le Traon
.
Software Quality Journal
20(3-4):605-643
(
2012
)
Gilles Perrouin
,
Sebastian Oster
,
Sagar Sen
,
Jacques Klein
,
Benoit Baudry
, and
Yves Le Traon
.
Software Quality Journal
20(3-4):605-643
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Peer-to-Peer Load Testing.
Jorge A. Meira
,
Eduardo Cunha de Almeida
,
Yves Le Traon
, and
Gerson Sunyé
.
ICST,
page 642-647.
IEEE,
(
2012
)
Jorge A. Meira
,
Eduardo Cunha de Almeida
,
Yves Le Traon
, and
Gerson Sunyé
.
ICST,
page 642-647.
IEEE,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Requirements by Contracts allow Automated System Testing
Clémentine Nebut
,
Franck Fleurey
,
Yves Le Traon
, and
Jean-Marc Jézéquel
.
ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering,
page 85.
Washington, DC, USA,
IEEE Computer Society,
(
2003
)
Clémentine Nebut
,
Franck Fleurey
,
Yves Le Traon
, and
Jean-Marc Jézéquel
.
ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering,
page 85.
Washington, DC, USA,
IEEE Computer Society,
(
2003
)
2 months and 23 days ago
by
fritzsolms
3
imported
imported
URL
DOI
TeX
Selection of regression system tests for security policy evolution.
JeeHyun Hwang
,
Tao Xie
,
Donia El Kateb
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ASE,
page 266-269.
ACM,
(
2012
)
JeeHyun Hwang
,
Tao Xie
,
Donia El Kateb
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ASE,
page 266-269.
ACM,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Testing Obligation Policy Enforcement Using Mutation Analysis.
Yehia Elrakaiby
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ICST,
page 673-680.
IEEE,
(
2012
)
Yehia Elrakaiby
,
Tejeddine Mouelhi
, and
Yves Le Traon
.
ICST,
page 673-680.
IEEE,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Towards flexible evolution of Dynamically Adaptive Systems.
Gilles Perrouin
,
Brice Morin
,
Franck Chauvel
,
Franck Fleurey
,
Jacques Klein
,
Yves Le Traon
,
Olivier Barais
, and
Jean-Marc Jézéquel
.
ICSE,
page 1353-1356.
IEEE,
(
2012
)
Gilles Perrouin
,
Brice Morin
,
Franck Chauvel
,
Franck Fleurey
,
Jacques Klein
,
Yves Le Traon
,
Olivier Barais
, and
Jean-Marc Jézéquel
.
ICSE,
page 1353-1356.
IEEE,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Usage and testability of AOP: An empirical study of AspectJ.
Freddy Munoz
,
Benoit Baudry
,
Romain Delamare
, and
Yves Le Traon
.
Information & Software Technology
55(2):252-266
(
2013
)
Freddy Munoz
,
Benoit Baudry
,
Romain Delamare
, and
Yves Le Traon
.
Information & Software Technology
55(2):252-266
(
2013
)
5 months and 21 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using Mutants to Locate Ünknown" Faults.
Mike Papadakis
, and
Yves Le Traon
.
ICST,
page 691-700.
IEEE,
(
2012
)
Mike Papadakis
, and
Yves Le Traon
.
ICST,
page 691-700.
IEEE,
(
2012
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
XSS-FP: Browser Fingerprinting using HTML Parser Quirks
Erwan Abgrall
,
Yves Le Traon
,
Martin Monperrus
,
Sylvain Gombault
,
Mario Heiderich
, and
Alain Ribault
.
CoRR
(
2012
)
Erwan Abgrall
,
Yves Le Traon
,
Martin Monperrus
,
Sylvain Gombault
,
Mario Heiderich
, and
Alain Ribault
.
CoRR
(
2012
)
5 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact