Publications de Besnik Seljimi

Load the BibTeX file

Thèses et habilitations à diriger les recherches

1. Besnik Seljimi. Test de logiciels synchrones avec la PLC. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2009. download

Conférences internationales

1. Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Revisiting the Steam-Boiler Case Study with Lutess : Modeling for Automatic Test Generation. In 12th European Workshop on Dependable Computing, Toulouse, France, 2009.
2. Besnik Seljimi, Ioannis Parissis. Automatic generation of test data generators for synchronous programs: Lutess V2. In DOSTA '07: Workshop on Domain specific approaches to software test automation, Pages 8-12, Dubrovnik, Croatia, Septembre 2007.
3. Besnik Seljimi, Ioannis Parissis. Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs. In 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, Novembre 2006.

Communications avec actes

1. B. Seljimi, I. Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.