Publications

Voir toutes les publications (4)2014 (1)2013 (2)2010 (1)

2014 (1)

article - A random testing approach using pushdown automata
Software Testing, Verification and Reliability (Volume 24, Issue (8), jun 2014, Pages :656 - 683)
Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Masson, Catherine
pdf | doi

2013 (2)

inproceedings - Enhancing Approximations for Regular Reachability Analysis
CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata / Halifax, NS, Canada (Publisher : Springer, Volume 7982, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 331--339)
Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{dhk13b:ip, title = {Enhancing Approximations for Regular Reachability Analysis}, author = {Dreyfus, Alo\"is and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Halifax, NS, Canada}, booktitle = {CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {331--339}, url = {https://publiweb.femto-st.fr/tntnet/entries/5971/documents/author/data}, volume = {7982}, doi = {10.1007/978-3-642-39274-0_29}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Random Grammar-Based Testing for Covering All Non-terminals
CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 210 - 215)
Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | bibtex@inproceedings{dhk13a:ip, title = {Random Grammar-Based Testing for Covering All Non-terminals}, author = {Dreyfus, Alo\"is and Heam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {210 - 215}, url = {https://publiweb.femto-st.fr/tntnet/entries/5970/documents/author/data}, publisher = {IEEE} }

2010 (1)

inproceedings - EVA4Fractal: adaptation de composants Fractal basée sur des événements
AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 245--278)
Dormoy, Julien | Dreyfus, Aloïs | Kouchnarenko, Olga
pdf | bibtex@inproceedings{ddk10:onp, title = {EVA4Fractal: adaptation de composants Fractal bas\'ee sur des \'ev\'enements}, author = {Dormoy, Julien and Dreyfus, Alo\"is and Kouchnarenko, Olga}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {245--278}, url = {https://publiweb.femto-st.fr/tntnet/entries/548/documents/author/data} }