Concepedia

Yves Ledru

YL

16

Publications

389

Citations

12

H-Index

1991

Active since

Affiliations

Laboratoire d'Informatique de Grenoble(Current)

Université Grenoble Alpes

Université Joseph Fourier

Centre National de la Recherche Scientifique

Institut polytechnique de Grenoble

Yves Ledru is an author at Laboratoire d'Informatique de Grenoble specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationFormal MethodsProgram AnalysisSoftware DesignSoftware EngineeringSystems EngineeringVerification

Publications per year

1991–2020

16

Publications

16

Prioritizing test cases with string distances

Yves Ledru, Alexandre Petrenko, Sergiy Boroday et al. · Automated Software Engineering · 2011 · 124 citations

Engineering, String-searching Algorithm, Data Mining +9

Using String Distances for Test Case Prioritisation

Yves Ledru, Alexandre Petrenko, Sergiy Boroday · 2009 · 40 citations

Engineering, Diagnosis, Software Engineering +18

Dynamic graphical UML views from formal B specifications

Akram Idani, Yves Ledru · Information and Software Technology · 2005 · 23 citations

Data Modeling, Formal Specification, Engineering +11

Test purposes: adapting the notion of specification to testing

Yves Ledru, Lydie du Bousquet, Pierre Bontron et al. · 2005 · 23 citations

Engineering, Test Purposes, Verification +19

A case study in JML-based software validation

Lydie du Bousquet, Yves Ledru, Olivier Maury et al. · 2004 · 22 citations

Software Maintenance, Data Validation, Engineering +11

Rows per page

1–5 of 16