PDF files of some of my older publications listed in
chronological order.
(if you are interested in articles not available here, please send me
an email).
M.
Kessis,
Y. Ledru, and G. Vandome. Experiences in Coverage Testing of
a Java Middleware.
In Fifth
Int. Workshop on Software Engineering and
Middleware (SEM 2005),
pages
39–45,
Lisbon, September 2005. ACM Press. (PDF)
The
original publication is available at http://doi.acm.org/10.1145/1108473.1108483
S. Dupuy-Chessa, L. du Bousquet, J. Bouchet
and Y. Ledru, Test of
the ICARE
platform fusion mechanism, In Proceedings of DSVIS'05 -
Int.
Workshop on Design Specification and Verification of Interactive
Systems, to appear as LNCS, Springer Verlag, Newcastle, July 2005 (PDF). The
original
publication will be available at http://www.springerlink.com.
L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet A
case
study
in JML-based software validation. In (short paper) Proceedings of 19th
Int. IEEE Conf. on Automated Sofware Engineering (ASE’04),
IEEE
Computer Society Press, Linz, Sep. 2004 (PDF)
The original publication is available at .http://www.computer.org
A. Idani, Y.
Ledru
Object Oriented Concepts Identification from Formal B Specifications.
In Proceedings
of 9th Int.Workshop on Formal Methods for Industrial Critical Systems
(FMICS’04), Linz, Sep. 2004 (PDF)
(to appear as ENTCS
volume)
Y. Ledru, S.
Dupuy,
H. Fadil Towards Computer-Aided Design of OCL Constraints. In Proceedings
of
CAISE’04 Workshops Vol. 1 - EMMSAD’04: Evaluating Modeling Methods for
Systems
Analysis and Design, Riga, June 2004 (PDF)
Y. Ledru, L. du Bousquet, O. Maury, and P. Bontron. Filtering TOBIAS
combinatorial test suites. In Proceedings
of ETAPS/FASE’04 -
Fundamental Approaches to Software Engineering, Vol. 2984
of
LNCS,
Springer-Verlag, Barcelona, 2004 (PDF)
The original publication is available at http://www.springerlink.com.
Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, and M.-L.
Potet. Test purposes: adapting the notion of specification to testing.
In Proceedings of the
16th
International Conference on Automated Software Engineering,
IEEE
Computer Society Press, San Diego, 2001 (PDF)
The original
publication is available at .http://www.computer.org
R. Sanlaville, J.-M. Favre, and Y. Ledru. Helping Various Stakeholders
to Understand a Very Large Component-Based Software. In Euromicro Workshop on
Component-Based
Software Engineering, IEEE Computer Society Press, Warsaw,
2001.
The original publication is available at .http://www.computer.org
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. An Overview of RoZ : a Tool
for Integrating UML and Z Specifications. In 12th Conference on
Advanced information Systems Engineering-CAiSE’2000, volume 1789 of
Lecture Notes in Computer Science, Springer-Verlag, Stockholm, 2000.
(PDF)
The original
publication is available at http://www.springerlink.com.
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic
model into Object-Z. In Proceedings of the International Conference of
Z Users - ZUM’98, Volume 1493 of Lecture Notes in Computer Science,
Springer-Verlag, Berlin, 1998. The original publication is available at
http://www.springerlink.com.
Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In
Proceedings of the 13th
International
Conference on Automated Software Engineering. IEEE
Computer
Society Press, Honolulu, 1998 (PDF)
The original publication is available at .http://www.computer.org
Y. Ledru. Using KIDS as a tool support for VDM. In Proceedings of the
18th International Conference on Software Engineering, pages 236–245.
IEEE Computer Society Press, Berlin, 1996. The original publication is
available at .http://www.computer.org
Y. Ledru. Complementing semi-formal specifications with Z. In
Proceedings of the 11th Knowledge-Based Software Engineering
Conference. IEEE Computer Society Press, Syracuse (NY), 1996. The
original publication is available at .http://www.computer.org
Y. Ledru. Specification and animation of a bank transfer. In
Proceedings of the 10th Knowledge-Based Software Engineering
Conference, pages 192–199. IEEE Computer Society Press, Boston, 1995.
The original publication is available at .http://www.computer.org
Y. Ledru. Hierarchical Specification of Reactive Systems : a case
study. In Proceedings of the CompEuro’90 Conference, pages
109–116. IEEE Computer Society Press, Tel-Aviv, 1990.(PDF of the
scanned article)